Suchergebnisse - "answer set programming"

Comparing Non-Minimal Semantics for Disjunction in Answer Set Programming

Autoren: FELICIDAD AGUADO PEDRO CABALAR BRAIS MUÑIZ et al.

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

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

Dateibeschreibung: application/pdf

Zugangs-URL: http://arxiv.org/abs/2507.18198
https://hdl.handle.net/2183/45933

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

Autoren: Eiter, Thomas Geibinger, Tobias Musli, Nysret et al.

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

Schlagwörter: answer-set programming, parallel machine scheduling, lexicographical optimisation

Dateibeschreibung: print

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-63645
https://doi.org/10.1017/s1471068423000017

Solving Decision Theory Problems with Probabilistic Answer Set Programming

Autoren: Azzolini D. Bellodi E. Kiesel R. et al.

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

Schlagwörter: 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)

Dateibeschreibung: application/pdf

Zugangs-URL: 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

Autoren: Eiter, T. Geibinger, T. Higuera Ruiz, N. et al.

Quelle: Artificial Intelligence. 337

Schlagwörter: 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

Dateibeschreibung: print

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-66309
https://doi.org/10.1016/j.artint.2024.104230

Fine-Grained Timing Analysis of Digital Integrated Circuits in Answer Set Programming

Autoren: ALESSANDRO BERTAGNON MARCELLO DALPASSO MICHELE FAVALLI et al.

Quelle: Theory and Practice of Logic Programming. :1-18

Schlagwörter: FOS: Computer and information sciences, Artificial Intelligence (cs.AI), Artificial Intelligence, Logic in Computer Science, Logic in Computer Science (cs.LO)

Dateibeschreibung: application/pdf

Zugangs-URL: http://arxiv.org/abs/2507.11150

Towards Constraint Temporal Answer Set Programming

Autoren: PEDRO CABALAR MARTÍN DIÉGUEZ FRANÇOIS OLIVIER et al.

Quelle: Theory and Practice of Logic Programming. :1-16

Schlagwörter: FOS: Computer and information sciences, Artificial Intelligence (cs.AI), Temporal logic programming, Knowledge representation, Artificial Intelligence, Logic in Computer Science, Nonmonotonic reasoning, Constraint programming, Logic in Computer Science (cs.LO)

Dateibeschreibung: application/pdf

Zugangs-URL: http://arxiv.org/abs/2507.13958
https://hdl.handle.net/2183/45943

Declarative Modelling of Fair Hierarchical Task Allocation Using Answer Set Programming

Autoren: null Emmanuel Mgbeahuruike null Babatunde Akinkunmi null Adedoyin Adebanjo et al.

Quelle: International Journal of Scientific Research in Computer Science, Engineering and Information Technology. 11:302-309

Probabilistic Answer Set Programming with Discrete and Continuous Random Variables

Autoren: Azzolini D. Riguzzi F.

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

Zugangs-URL: 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

ANTHEM 2.0: Automated Reasoning for Answer Set Programming

Autoren: JORGE FANDINNO ZACHARY HANSEN YULIYA LIERLER et al.

Quelle: Theory and Practice of Logic Programming. :1-17

Schlagwörter: FOS: Computer and information sciences, I.2.3, Logic in Computer Science, Logic in Computer Science (cs.LO)

Zugangs-URL: http://arxiv.org/abs/2507.11704

Simplified Extensibility in the Universal Variability Language using Answer Set Programming

Autoren: Ferdinand Auerswald Dmytro Pukhkaiev Uwe Aßmann

Quelle: Proceedings of the 29th ACM International Systems and Software Product Line Conference - Volume A. :39-44

EzASP – Making Learning Answer Set Programming Easier: Thesis Report

Autoren: Henriques, Ramiro Miguel Ribeiro Knorr, Matthias Gonçalves, Ricardo et al.

Weitere Verfasser: Henriques, Ramiro Miguel Ribeiro Knorr, Matthias Gonçalves, Ricardo et al.

Schlagwörter: Answer Set Programming, Methodology, Structure, Learnability, Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática

Dateibeschreibung: application/pdf

Verfügbarkeit: http://hdl.handle.net/10362/178438

Multi-Objective Combinatorial Reconfiguration Considering Cost and Length by Answer Set Programming: Algorithms, Encodings, and Empirical Analysis

Autoren: Takada, Kazuki Banbara, Mutsunori Ito, Takehiro et al.

Quelle: ECAI 2025. 413

Hybrid Reasoning About Relative Position and Orientation of Objects and Navigating Agents Using Answer Set Programming

Autoren: Yusuf Izmirlioglu

Quelle: Proceedings of the AAAI Conference on Artificial Intelligence. 39:14997-15004

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

Autoren: Dodaro, C Galatà, G Gebser, M et al.

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

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

Zugangs-URL: https://hdl.handle.net/20.500.11770/382283
https://doi.org/10.1093/logcom/exae041

Symbolic Parameter Learning in Probabilistic Answer Set Programming

Autoren: Azzolini D Gentili E Riguzzi F

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

Schlagwörter: 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)

Dateibeschreibung: application/pdf

Zugangs-URL: http://arxiv.org/abs/2408.08732

Integrated Use of System Z for Preferred Answer Set Programming

Autoren: Marco Wilhelm Andre Thevapalan Gabriele Kern-Isberner

Quelle: Proceedings of the International Florida Artificial Intelligence Research Society Conference, Vol 38, Iss 1 (2025)

Schlagwörter: preferred answer set programming, Technology, conditional reasoning, Electronic computers. Computer science, System Z, QA75.5-76.95

Zugangs-URL: https://doaj.org/article/0ff72037db0543abb401ef5aa652eb0f

Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence

Autoren: Fandinno, Jorge Hansen, Zachary

Quelle: Proceedings of the AAAI Conference on Artificial Intelligence. 39:14893-14901

Schlagwörter: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, Logic in Computer Science (cs.LO)

Zugangs-URL: http://arxiv.org/abs/2412.10975

Scalable Enumeration of Trap Spaces in Boolean Networks via Answer Set Programming

Autoren: Trinh, Giang Benhamou, Belaid Pastva, Samuel et al.

Weitere Verfasser: Trinh, Giang Benhamou, Belaid Pastva, Samuel et al.

Quelle: Proceedings of the AAAI Conference on Artificial Intelligence

Schlagwörter: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-SY] Computer Science [cs]/Systems and Control [cs.SY], Trap Space, Boolean Network, Answer Set Programming, [INFO.INFO-BI] Computer Science [cs]/Bioinformatics [q-bio.QM]

Dateibeschreibung: application/pdf

Zugangs-URL: https://amu.hal.science/hal-04523118v1
https://doi.org/10.1609/aaai.v38i9.28943
https://amu.hal.science/hal-04523118v1/document

Elements for Weighted Answer-Set Programming

Autoren: Coelho, Francisco Dinis, Bruno Seipel, Dietmar et al.

Weitere Verfasser: Coelho, Francisco Dinis, Bruno Seipel, Dietmar et al.

Schlagwörter: ddc:004, Stable Models, Probabilistic Logic Programming, Answer-Set Programming

Dateibeschreibung: application/pdf

Zugangs-URL: https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2025.3

Multi-Shot Answer Set Programming for Flexible Payroll Management

Autoren: Callewaert, Benjamin Vennekens, Joost

Quelle: Theory and Practice of Logic Programming. 24:453-481

Schlagwörter: 4613 Theory of computation, Technology, Science & Technology, Logic, 4602 Artificial intelligence, payroll management, 0803 Computer Software, decision modelling, 0102 computer and information sciences, 02 engineering and technology, Computer Science, Software Engineering, 01 natural sciences, CALCULUS, Computation Theory & Mathematics, Computer Science, Theory & Methods, Computer Science, 0801 Artificial Intelligence and Image Processing, 0202 electrical engineering, electronic engineering, information engineering, Science & Technology - Other Topics, answer set programming, SYSTEM, 0802 Computation Theory and Mathematics