Search Results - (("constraint answer set programming") OR ("constraint answer siet programming"))

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

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

Source: Theory and Practice of Logic Programming. 25(4):649-667

Subject Terms: answer set programming, constraint programming, integer programming

File Description: print

Access 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

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

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

Authors: William Doan

Source: 2025 Regional Student Conferences.

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

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

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

Authors: YULIYA LIERLER

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

Subject Terms: 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

Access 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

Panorama de Constraint Answer Set Programming

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

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

Source: 20èmes Rencontres des Jeunes Chercheurs en Intelligence Artificielle
https://hal.science/hal-03765417
20èmes Rencontres des Jeunes Chercheurs en Intelligence Artificielle, Jun 2022, Saint-Etienne, France
https://ci.mines-stetienne.fr/pfia2022/conferences/rjcia/

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

Subject Geographic: Saint-Etienne, France

Availability: https://hal.science/hal-03765417
https://hal.science/hal-03765417v1/document
https://hal.science/hal-03765417v1/file/RJCIA22_paper9.pdf

On the Relation of Constraint Answer Set Programming Languages and Algorithms

Authors: Yuliya Lierler

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

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

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

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

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

Subject Terms: 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

File Description: application/pdf

Access 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

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

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

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

Subject Terms: 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

Authors: Gopal Gupta Manuel Carro Zhuo Chen et al.

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

Subject Terms: 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)

Access 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

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

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

Source: Processes; Jul2024, Vol. 12 Issue 7, p1315, 21p

Subject Terms: SEMICONDUCTOR manufacturing, INDUSTRIAL robots, MANUFACTURING processes, KNOWLEDGE representation (Information theory), SEMICONDUCTOR industry, CONSTRAINT programming

Constraint answer set programming as a tool to improve legislative drafting

Authors: MORRIS, Jason

Source: Centre for Computational Law (2022-2025)

Subject Terms: Legal knowledge representation and reasoning, constraint answer set programming, rules as code, Artificial Intelligence and Robotics, Law

File Description: application/pdf

Relation: https://ink.library.smu.edu.sg/cclaw/7; https://ink.library.smu.edu.sg/context/cclaw/article/1006/viewcontent/Constraint_answer_set_programming_as_a_tool_to_improve_legislative_drafting.pdf

Availability: https://ink.library.smu.edu.sg/cclaw/7
https://doi.org/10.1145/3462757.3466084
https://ink.library.smu.edu.sg/context/cclaw/article/1006/viewcontent/Constraint_answer_set_programming_as_a_tool_to_improve_legislative_drafting.pdf

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

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

Source: Processes. 12:1315

Subject Terms: 02 engineering and technology, 0210 nano-technology, 01 natural sciences, 0105 earth and related environmental sciences

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

Authors: Lierler, Yuliya

Index Terms: Computer Science - Artificial Intelligence, text

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

Constraint Answer Set Programming without Grounding

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

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

Subject Terms: 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)

Access 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

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

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

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

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

On relation between constraint answer set programming and satisfiability modulo theories

Authors: Benjamin Susman Yuliya Lierler

Source: Theory and Practice of Logic Programming. 17:559-590

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, D.1.6, D.3.2, 0202 electrical engineering, electronic engineering, information engineering, F.4.1, 02 engineering and technology, Logic in Computer Science (cs.LO)

Access URL: http://arxiv.org/pdf/1702.07461
http://arxiv.org/abs/1702.07461
https://www.cambridge.org/core/product/identifier/S1471068417000114/type/journal_article
https://doi.org/10.1017/S1471068417000114
https://works.bepress.com/yuliya_lierler/65/
https://dblp.uni-trier.de/db/journals/tplp/tplp17.html#LierlerS17
http://dblp.uni-trier.de/db/journals/tplp/tplp17.html#LierlerS17

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

Authors: LIERLER, YULIYA

Source: Theory & Practice of Logic Programming; Jan2023, Vol. 23 Issue 1, p195-225, 31p

Subject Terms: TRAVELING salesman problem, DINGO, TRAIN schedules, SYSTEMS design, INCAS

Constraint Answer Set Programming without grounding and its applications

Authors: Arias Herrero, Joaquín Carro Liñares, Manuel Chen, Zhuo et al.

Source: Datalog 2.0 2019: 3rd International Workshop on the Resurgence of Datalog in Academia and Industry | 3rd International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog 2.0 2019) | 4-5 Jun 2019 | Philadelphia (USA)

Subject Terms: Informática

File Description: application/pdf

Relation: http://ceur-ws.org/Vol-2368/paper2.pdf; info:eu-repo/grantAgreement/CAM//S2018%2FTCS-4339; info:eu-repo/grantAgreement/MINECO//TIN2015-67522-C3-1-R; https://oa.upm.es/63686/

Availability: https://oa.upm.es/63686/

Modeling and reasoning in Event Calculus using goal-directed Constraint Answer Set Programming

Authors: Arias Herrero, Joaquín Chen, Zhuo Carro Liñares, Manuel et al.

Source: Logic-Based Program Synthesis and Transformation | LOPSTR 2019: Logic-Based Program Synthesis and Transformation | 8-10 Oct 2019 | Porto, Portugal

Subject Terms: Informática

File Description: application/pdf

Relation: https://link.springer.com/chapter/10.1007/978-3-030-45260-5_9; info:eu-repo/grantAgreement/MINECO//TIN2015-67522-C3-1-R; info:eu-repo/grantAgreement/CAM//S2018%2FTCS-4339; https://oa.upm.es/63685/

Availability: https://oa.upm.es/63685/