Suchergebnisse - constraint answer set programming

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

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

Quelle: Theory and Practice of Logic Programming.

Schlagwörter: answer set programming, constraint programming, integer programming

Dateibeschreibung: print

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

Towards value-awareness in administrative processes: an approach based on constraint answer set programming

Autoren: Joaquín Arias Mar Moreno-Rebato Jose Antonio Rodriguez-Garcia et al.

Quelle: Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing. :770-778

Aeros(CASP): Advancing Certification and Safety Through Commonsense Reasoning-Based Constraint Answer Set Programming

Autoren: William Doan

Quelle: 2025 Regional Student Conferences.

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

Panorama de Constraint Answer Set Programming

Autoren: Garreau, Bryan Diéguez, Martín Monfroy, Eric et al.

Weitere Verfasser: Garreau, Bryan Diéguez, Martín Monfroy, Eric et al.

Schlagwörter: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], Answer Set Programming, Knowlege Representation, NonMonotonic Reasoning, Constraint Answer Set Programming, Constraint Programming

Dateibeschreibung: application/pdf

Zugangs-URL: https://hal.science/hal-03765417v1

Optimal Scheduling for Automated Wetetch Stations with One Robot in Semiconductor Manufacturing via Constraint Answer Set Programming

Autoren: Carmen L. García-Mata Larysa Burtseva Frank Werner

Answer Set Searching with Weighted MaxSAT.

Autoren: Nowakowski, Arkadiusz Wieczorek, Wojciech Strąk, Łukasz

Quelle: Procedia Computer Science. 2025, Vol. 270, p2301-2309. 9p.

Schlagwörter: NP-hard problems, Logic programming, Combinatorial optimization, Knowledge representation (Information theory), Mathematical programming, Algorithms, Constraint satisfaction

Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming

Autoren: Joaquín Arias Zhuo Chen Manuel Carro et al.

Quelle: Lecture Notes in Computer Science ISBN: 9783030452599
Logic-Based Program Synthesis and Transformation | LOPSTR 2019: Logic-Based Program Synthesis and Transformation | 8-10 Oct 2019 | Porto, Portugal
Archivo Digital UPM
instname
Universidad Politécnica de Madrid

Schlagwörter: Informática, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence, Goal-directed, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Logic in Computer Science (cs.LO), ASP, Artificial Intelligence (cs.AI), Event Calculus, Constraints, 0202 electrical engineering, electronic engineering, information engineering

Dateibeschreibung: application/pdf

Zugangs-URL: http://oa.upm.es/63685/1/INVE_MEM_2019_319643.pdf
http://arxiv.org/abs/2106.14566
https://oa.upm.es/63685/
http://oa.upm.es/63685/
https://arxiv.org/pdf/2106.14566
http://oa.upm.es/63685/
https://link.springer.com/chapter/10.1007%2F978-3-030-45260-5_9
https://dblp.uni-trier.de/db/journals/corr/corr2106.html#abs-2106-14566
https://arxiv.org/abs/2106.14566
https://www.arxiv-vanity.com/papers/2106.14566/
https://www.cambridge.org/core/services/aop-cambridge-core/content/view/S1471068421000156

Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches

Autoren: YULIYA LIERLER

Quelle: Theory and Practice of Logic Programming. 23:195-225

Schlagwörter: FOS: Computer and information sciences, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 16. Peace & justice

Zugangs-URL: http://arxiv.org/pdf/2107.08252
http://arxiv.org/abs/2107.08252
https://dblp.uni-trier.de/db/journals/corr/corr2107.html#abs-2107-08252

On the Relation of Constraint Answer Set Programming Languages and Algorithms

Autoren: Yuliya Lierler

Quelle: Proceedings of the AAAI Conference on Artificial Intelligence. 26:521-527

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Justifications for Goal-Directed Constraint Answer Set Programming

Autoren: Gopal Gupta Manuel Carro Zhuo Chen et al.

Quelle: Electronic Proceedings in Theoretical Computer Science. 325:59-72

Schlagwörter: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences, Logic in Computer Science (cs.LO), Programming Languages (cs.PL)

Zugangs-URL: https://arxiv.org/pdf/2009.10238
http://arxiv.org/abs/2009.10238
http://ui.adsabs.harvard.edu/abs/2020arXiv200910238A/abstract
http://arxiv.org/pdf/2009.10238.pdf
https://arxiv.org/abs/2009.10238v1

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

Proceedings 38th International Conference on Logic Programming: Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming (Extended Abstract)

Autoren: Joaquín Arias Manuel Carro Zhuo Chen et al.

Quelle: Electronic Proceedings in Theoretical Computer Science. 364:166-168

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Solving an Industrial-Scale Warehouse Delivery Problem with Answer Set Programming Modulo Difference Constraints

Autoren: David Rajaratnam Torsten Schaub Philipp Wanko et al.

Quelle: Algorithms, Vol 16, Iss 4, p 216 (2023)

Schlagwörter: answer set programming, answer set programming modulo theories, hybrid reasoning, multi-agent path finding, multi-agent planning, Industrial engineering. Management engineering, T55.4-60.8, Electronic computers. Computer science, QA75.5-76.95

Dateibeschreibung: electronic resource

Relation: https://www.mdpi.com/1999-4893/16/4/216; https://doaj.org/toc/1999-4893

Zugangs-URL: https://doaj.org/article/10303c3302ae4edd8d3fd3ecb5a361d1

Scheduling of Automated Wet-Etch Stations with One Robot in Semiconductor Manufacturing via Constraint Answer Set Programming

Autoren: Carmen L. García-Mata Larysa Burtseva Frank Werner

Quelle: Processes. 12:1315

Schlagwörter: 02 engineering and technology, 0210 nano-technology, 01 natural sciences, 0105 earth and related environmental sciences

Constraint Answer Set Programming without Grounding

Autoren: Joaquín Arias Kyle Marple Manuel Carro et al.

Quelle: Theory and Practice of Logic Programming. 18:337-354

Schlagwörter: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Programming Languages (cs.PL), Logic in Computer Science (cs.LO)

Zugangs-URL: https://www.cambridge.org/core/services/aop-cambridge-core/content/view/55A678C618EF54487777F021D89B3FE7/S1471068418000285a.pdf/div-class-title-constraint-answer-set-programming-without-grounding-div.pdf
http://arxiv.org/abs/1804.11162
https://ui.adsabs.harvard.edu/abs/2018arXiv180411162A/abstract
https://dblp.uni-trier.de/db/journals/corr/corr1804.html#abs-1804-11162
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/constraint-answer-set-programming-without-grounding/55A678C618EF54487777F021D89B3FE7
https://www.cambridge.org/core/services/aop-cambridge-core/content/view/55A678C618EF54487777F021D89B3FE7/S1471068418000285a.pdf/div-class-title-constraint-answer-set-programming-without-grounding-div.pdf

Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches

Autoren: Lierler, Yuliya

Index Begriffe: Computer Science - Artificial Intelligence, text

URL: http://arxiv.org/abs/2107.08252

Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming

Autoren: Arias, Joaquín Carro, Manuel Chen, Zhuo et al.

Index Begriffe: Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science, text

URL: http://arxiv.org/abs/2106.14566

Logic Programming for Orthogonal Graph Drawing on Restricted Grids.

Autoren: Strąk, Łukasz Wieczorek, Wojciech Nowakowski, Arkadiusz

Quelle: Procedia Computer Science. 2025, Vol. 270, p2318-2325. 8p.

Schlagwörter: Logic programming, Constraint satisfaction, Graph theory, Grids (Cartography), Planar graphs

Database repairs with answer set programming

Autoren: Alves, Ricardo Jorge de Aragão Vaz Leite, João RUN

Weitere Verfasser: Alves, Ricardo Jorge de Aragão Vaz Leite, João RUN

Schlagwörter: answer set programming, Relational databases, Integrity constraints, Inconsistency, Repairs, Minimality

Dateibeschreibung: application/pdf

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