Výsledky vyhledávání - "Answer set programming"

ASP-FZN: A Translation-Based Constraint Answer Set Solver

Autoři: Eiter, Thomas Geibinger, Tobias Musliu, Nysret a další

Zdroj: Theory and Practice of Logic Programming.

Témata: answer set programming, constraint programming, integer programming

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-69784
https://doi.org/10.1017/S1471068425100264

Comparing Non-Minimal Semantics for Disjunction in Answer Set Programming

Autoři: FELICIDAD AGUADO PEDRO CABALAR BRAIS MUÑIZ a další

Zdroj: Theory and Practice of Logic Programming. :1-15

Témata: FOS: Computer and information sciences, Artificial Intelligence (cs.AI), Forks, Artificial Intelligence, Answer set programming, Equilibrium logic, Disjunctive logic programming

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2507.18198
https://hdl.handle.net/2183/45933

Visual Graph Question Answering with ASP and LLMs for Language Parsing

Autoři: Bauer, J. J. Eiter, T. Ruiz, N. H. a další

Zdroj: Proceedings 40th International Conference on Logic Programming Electronic Proceedings in Theoretical Computer Science, EPTCS. :15-28

Témata: Graph neural networks, Problem oriented languages, Subways, Visual languages, Answer set programming, Interpretability, Language model, Language processing, Modulars, Multimodal inputs, Natural languages, Optical, Question Answering, Visual Graph, Natural language processing systems

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-67416
https://doi.org/10.4204/EPTCS.416.2

Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling

Autoři: Eiter, Thomas Geibinger, Tobias Musli, Nysret a další

Zdroj: Theory and Practice of Logic Programming. 23(6):1281-1306

Témata: answer-set programming, parallel machine scheduling, lexicographical optimisation

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-63645
https://doi.org/10.1017/s1471068423000017

Pearce's Characterisation in an Epistemic Domain

Autoři: Su, Ezgi Iraz

Zdroj: Electronic Proceedings in Theoretical Computer Science. 416:201-214

Témata: Programming problem, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Literals, Computer Science - Programming Languages, Computer Science - Artificial Intelligence, Problem-solving, Answer set programming, Monotonics, Equilibrium logic, Answer set, Program debugging, Specification languages, Logic in Computer Science (cs.LO), Artificial Intelligence (cs.AI), Logic programs, Non-monotonic reasoning, Declarative logic, Inductive logic programming (ILP), Majority logic, Programming Languages (cs.PL)

Přístupová URL adresa: http://arxiv.org/abs/2502.09221
https://hdl.handle.net/11486/4356
https://doi.org/10.4204/EPTCS.416.18

Seed Inference in Interacting Microbial Communities Using Combinatorial Optimization

Autoři: Ghassemi Nedjad, Chabname Mendoza, Sebastián Nelson Frioux, Clémence a další

Přispěvatelé: Ghassemi Nedjad, Chabname Mendoza, Sebastián Nelson Frioux, Clémence a další

Zdroj: Lecture Notes in Computer Science ISBN: 9783032014351

Témata: [SDV.BIBS] Life Sciences [q-bio]/Quantitative Methods [q-bio.QM], Answer Set Programming, Flux Balance Analysis, Microbial communities, Solving heuristics, Metabolic networks, [INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation, [SDV.EE.IEO] Life Sciences [q-bio]/Ecology, environment/Symbiosis

Popis souboru: application/pdf

Přístupová URL adresa: https://inria.hal.science/hal-05230510v1
https://inria.hal.science/hal-05230510v1/document
https://doi.org/10.1007/978-3-032-01436-8_20

Teaching logic programming: a review

Autoři: Serhiy O. Semerikov Iryna S. Mintii Natalia V. Moiseienko

Zdroj: CTE Workshop Proceedings, Vol 12 (2025)

Témata: logic programming, Datalog, constraint logic programming, Technology, Answer Set Programming, Prolog, computer science education, Education

Přístupová URL adresa: https://doaj.org/article/fe0f681845f34cf5b6ef56e34a666a8d

A Theoretical Bound Which Improves the Performance of Compilation-Based Multi-Agent Path Finding

Autoři: Rodrigo López Roberto Asín-Achá Jorge A. Baier

Zdroj: IEEE Access, Vol 13, Pp 86133-86143 (2025)

Témata: Parallel algorithms, multi-agent systems, Electrical engineering. Electronics. Nuclear engineering, path planning, answer set programming, TK1-9971

Přístupová URL adresa: https://doaj.org/article/39e5163aa1924105a4eb8db1b9ff52ed

Solving Decision Theory Problems with Probabilistic Answer Set Programming

Autoři: Azzolini D. Bellodi E. Kiesel R. a další

Zdroj: Theory and Practice of Logic Programming. 25:33-63

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, probabilistic answer set programming, decision theory, statistical relational artificial intelligence, credal semantics, algebraic model counting, Logic in Computer Science (cs.LO)

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2408.11371
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/solving-decision-theory-problems-with-probabilistic-answer-set-programming/4B8399D1D02582100A6C6E9C8A0EF50D
https://doi.org/10.1017/S1471068424000474
https://hdl.handle.net/11392/2578950

Adaptive large-neighbourhood search for optimisation in answer-set programming

Autoři: Eiter, T. Geibinger, T. Higuera Ruiz, N. a další

Zdroj: Artificial Intelligence. 337

Témata: Integer programming, Railroad transportation, Adaptive large neighborhood searches, Answer set programming, Automatically generated, Declarative problem solving, Encodings, Large neighbourhood searches, Metaheuristic, Neighbourhood, Optimisations, Optimization problems, Benchmarking

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-66309
https://doi.org/10.1016/j.artint.2024.104230

Towards Effective ASP-based Stream Reasoning: Facilitate the Reasoning over Patterns of Events

Autoři: Luca Laboccetta Elena Mastria Francesco Calimeri a další

Zdroj: Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming. :1-12

Témata: Answer Set Programming, Stream Reasoning, Knowledge Representation and Reasoning

Přístupová URL adresa: https://hdl.handle.net/20.500.11770/378670
https://doi.org/10.1145/3678232.3678248

Probabilistic Answer Set Programming with Discrete and Continuous Random Variables

Autoři: Azzolini D. Riguzzi F.

Zdroj: Theory and Practice of Logic Programming. 25:1-32

Témata: algebraic model counting, credal semantics, exact and approximate inference, hybrid probabilistic answer set programming, statistical relational artificial intelligence, FOS: Computer and information sciences, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2409.20274
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/probabilistic-answer-set-programming-with-discrete-and-continuous-random-variables/2BE5A5EAEFFA47D29CA57C2969FF1B9E
https://doi.org/10.1017/S1471068424000437
https://hdl.handle.net/11392/2571110

Explainable Zero-Shot Visual Question Answering via Logic-Based Reasoning: Extended Abstract

Autoři: Eiter, T. Hadl, J. Higuera, N. a další

Zdroj: CEUR Workshop Proceedings.

Témata: Graph theory, Graphic methods, Knowledge graph, Logic programming, Question answering, Answer set programming, Based reasonings, Extended abstracts, Knowledge graphs, Language model, Neuro-symbolic system, Real-world image, Scene-graphs, Vision model, Computer circuits

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-70101
https://ceur-ws.org/Vol-4064/kgnesy-paper2.pdf

Complexity and scalability of defeasible reasoning in many-valued weighted knowledge bases with typicality

Autoři: Mario Alviano Laura Giordano Daniele Theseider Dupré a další

Přispěvatelé: Mario Alviano Laura Giordano Daniele Theseider Dupré a další

Zdroj: Journal of Logic and Computation. 34:1469-1499

Témata: FOS: Computer and information sciences, typicality, I.2.4, Computer Science - Artificial Intelligence, many-valued logic, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, 68T27, Preferential logic, Artificial Intelligence (cs.AI), 0202 electrical engineering, electronic engineering, information engineering, answer set programming

Přístupová URL adresa: http://arxiv.org/abs/2303.04534

Weighted knowledge bases with typicality and defeasible reasoning in a gradual argumentation semantics

Autoři: Alviano M. Giordano L. Dupre D. T. a další

Přispěvatelé: Alviano M. Giordano L. Dupre D. T. a další

Zdroj: Intelligenza Artificiale. 18:153-174

Témata: Preferential semantics, 0202 electrical engineering, electronic engineering, information engineering, description logic, many-valued logic, gradual argumentation, 0102 computer and information sciences, 02 engineering and technology, Preferential semantic, 01 natural sciences, answer set programming

Operating room scheduling via answer set programming: Improved encoding and test on real data

Autoři: Dodaro, C Galatà, G Gebser, M a další

Zdroj: Journal of Logic and Computation. 34:1556-1579

Témata: Answer Set Programming, 0211 other engineering and technologies, 0202 electrical engineering, electronic engineering, information engineering, healthcare, scheduling, 02 engineering and technology, 3. Good health

Přístupová URL adresa: https://hdl.handle.net/20.500.11770/382283
https://doi.org/10.1093/logcom/exae041

Symbolic Parameter Learning in Probabilistic Answer Set Programming

Autoři: Azzolini D Gentili E Riguzzi F

Zdroj: Theory and Practice of Logic Programming. 24:698-715

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, probabilistic answer set programming, statistical relational artificial intelligence, parameter learning, optimization, Logic in Computer Science (cs.LO)

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2408.08732

Fast Inference for Probabilistic Answer Set Programs Via the Residual Program

Autoři: Azzolini D. Riguzzi F.

Zdroj: Theory and Practice of Logic Programming. 24:682-697

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Artificial Intelligence (cs.AI), probabilistic answer set programming, statistical relational artificial intelligence, inference, tabling, Computer Science - Artificial Intelligence, 4. Education, Logic in Computer Science (cs.LO)

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2408.07524
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/fast-inference-for-probabilistic-answer-set-programs-via-the-residual-program/B2685639B4C80C381196E93D8C1EDC07
https://doi.org/10.1017/S1471068424000279
https://hdl.handle.net/11392/2579290

Forming We-intentions under breakdown situations in human-robot interactions

Autoři: Guerrero, Esteban Tewari, Maitreyee Kalmi, Panu a další

Zdroj: Computer Methods and Programs in Biomedicine. 242

Témata: We-intentions, Breakdown situations, Conflict of intentions, Repairing conflicts, Human-robot interaction, Answer set programming, Logic programming, Shared intentions, Social robots, Healthcare scenarios, human-computer interaction, människa-datorinteraktion

Popis souboru: electronic

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-214338
https://doi.org/10.1016/j.cmpb.2023.107817

Learning answer set programs with aggregates via sampling and genetic programming

Autoři: Azzolini D.

Zdroj: Machine Learning. 114

Témata: Answer set programming, Genetic programming, Inductive logic programming

Přístupová URL adresa: https://link.springer.com/article/10.1007/s10994-025-06780-7
https://doi.org/10.1007/s10994-025-06780-7
https://hdl.handle.net/11392/2590650