Výsledky vyhľadávania - "Answer-Set Programming"

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

Autori: Eiter, Thomas Geibinger, Tobias Musliu, Nysret a ďalší

Zdroj: Theory and Practice of Logic Programming.

Predmety: answer set programming, constraint programming, integer programming

Popis súboru: print

Prí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

Autori: FELICIDAD AGUADO PEDRO CABALAR BRAIS MUÑIZ a ďalší

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

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

Popis súboru: application/pdf

Prí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

Autori: Bauer, J. J. Eiter, T. Ruiz, N. H. a ďalší

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

Predmety: 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 súboru: print

Prí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

Autori: Eiter, Thomas Geibinger, Tobias Musli, Nysret a ďalší

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

Predmety: answer-set programming, parallel machine scheduling, lexicographical optimisation

Popis súboru: print

Prí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

Autori: Su, Ezgi Iraz

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

Predmety: 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)

Prí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

Autori: Ghassemi Nedjad, Chabname Mendoza, Sebastián Nelson Frioux, Clémence a ďalší

Prispievatelia: Ghassemi Nedjad, Chabname Mendoza, Sebastián Nelson Frioux, Clémence a ďalší

Zdroj: Lecture Notes in Computer Science ISBN: 9783032014351

Predmety: [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 súboru: application/pdf

Prí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

Autori: Serhiy O. Semerikov Iryna S. Mintii Natalia V. Moiseienko

Zdroj: CTE Workshop Proceedings, Vol 12 (2025)

Predmety: logic programming, Datalog, constraint logic programming, Technology, Answer Set Programming, Prolog, computer science education, Education

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

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

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

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

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

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

Solving Decision Theory Problems with Probabilistic Answer Set Programming

Autori: Azzolini D. Bellodi E. Kiesel R. a ďalší

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

Predmety: 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 súboru: application/pdf

Prí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

Autori: Eiter, T. Geibinger, T. Higuera Ruiz, N. a ďalší

Zdroj: Artificial Intelligence. 337

Predmety: 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 súboru: print

Prí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

Autori: Luca Laboccetta Elena Mastria Francesco Calimeri a ďalší

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

Predmety: Answer Set Programming, Stream Reasoning, Knowledge Representation and Reasoning

Prí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

Autori: Azzolini D. Riguzzi F.

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

Predmety: 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 súboru: application/pdf

Prí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

Autori: Eiter, T. Hadl, J. Higuera, N. a ďalší

Zdroj: CEUR Workshop Proceedings.

Predmety: 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 súboru: print

Prí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

Autori: Mario Alviano Laura Giordano Daniele Theseider Dupré a ďalší

Prispievatelia: Mario Alviano Laura Giordano Daniele Theseider Dupré a ďalší

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

Predmety: 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

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

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

Autori: Alviano M. Giordano L. Dupre D. T. a ďalší

Prispievatelia: Alviano M. Giordano L. Dupre D. T. a ďalší

Zdroj: Intelligenza Artificiale. 18:153-174

Predmety: 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

Autori: Dodaro, C Galatà, G Gebser, M a ďalší

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

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

Prí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

Autori: Azzolini D Gentili E Riguzzi F

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

Predmety: 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 súboru: application/pdf

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

Fast Inference for Probabilistic Answer Set Programs Via the Residual Program

Autori: Azzolini D. Riguzzi F.

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

Predmety: 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 súboru: application/pdf

Prí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

Autori: Guerrero, Esteban Tewari, Maitreyee Kalmi, Panu a ďalší

Zdroj: Computer Methods and Programs in Biomedicine. 242

Predmety: 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 súboru: electronic

Prí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

Autori: Azzolini D.

Zdroj: Machine Learning. 114

Predmety: Answer set programming, Genetic programming, Inductive logic programming

Prí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