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

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

Autoři: Joaquín Arias Mar Moreno-Rebato Jose Antonio Rodriguez-Garcia a další

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

Autoři: William Doan

Zdroj: 2025 Regional Student Conferences.

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

Autoři: Carmen L. García-Mata Larysa Burtseva Frank Werner

Panorama de Constraint Answer Set Programming

Autoři: Garreau, Bryan Diéguez, Martín Monfroy, Eric a další

Přispěvatelé: Garreau, Bryan Diéguez, Martín Monfroy, Eric a další

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

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.science/hal-03765417v1

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

Autoři: YULIYA LIERLER

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

Témata: 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

Přístupová URL adresa: 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

Autoři: Yuliya Lierler

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

Témata: 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

Autoři: Joaquín Arias Zhuo Chen Manuel Carro a další

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

Témata: 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

Popis souboru: application/pdf

Přístupová URL adresa: 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)

Autoři: Joaquín Arias Manuel Carro Zhuo Chen a další

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

Témata: 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

Autoři: Gopal Gupta Manuel Carro Zhuo Chen a další

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

Témata: 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)

Přístupová URL adresa: 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

Autoři: Carmen L. García-Mata Larysa Burtseva Frank Werner

Zdroj: Processes. 12:1315

Témata: 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

Autoři: Lierler, Yuliya

Témata: Computer Science - Artificial Intelligence, text

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

Constraint Answer Set Programming without Grounding

Autoři: Joaquín Arias Kyle Marple Manuel Carro a další

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

Témata: 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)

Přístupová URL adresa: 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

On relation between constraint answer set programming and satisfiability modulo theories

Autoři: Benjamin Susman Yuliya Lierler

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

Témata: 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)

Přístupová URL adresa: 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

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

Autoři: Arias, Joaquín Carro, Manuel Chen, Zhuo a další

Témata: Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science, text

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

Constraint answer set programming as a tool to improve legislative drafting

Autoři: MORRIS, Jason

Zdroj: Centre for Computational Law (2022-2025)

Témata: Legal knowledge representation and reasoning, constraint answer set programming, rules as code, Artificial Intelligence and Robotics, Law

Popis souboru: 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

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

Constraint Answer Set Programming without grounding and its applications

Autoři: Arias Herrero, Joaquín Carro Liñares, Manuel Chen, Zhuo a další

Zdroj: 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)
Archivo Digital UPM
instname
Universidad Politécnica de Madrid

Témata: Informática

Popis souboru: application/pdf

Přístupová URL adresa: https://oa.upm.es/63686/
http://oa.upm.es/63686/

Relating constraint answer set programming languages and algorithms

Autoři: Yuliya Lierler

Zdroj: Artificial Intelligence. 207:1-22

Témata: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Přístupová URL adresa: https://www.sciencedirect.com/science/article/pii/S0004370213001094
https://works.bepress.com/yuliya_lierler/36/download/
https://www.sciencedirect.com/science/article/abs/pii/S0004370213001094
https://digitalcommons.unomaha.edu/cgi/viewcontent.cgi?article=1011&context=compscifacpub
https://digitalcommons.unomaha.edu/compscifacpub/11/
https://dblp.uni-trier.de/db/journals/ai/ai207.html#Lierler14

Justifications for Goal-Directed Constraint Answer Set Programming

Autoři: Arias, Joaquín Carro, Manuel Chen, Zhuo a další

Témata: Computer Science - Logic in Computer Science, Computer Science - Programming Languages, text

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

Heuristic Constraint Answer Set Programming for Manufacturing Problems

Autoři: Gerhard Friedrich Erich Christian Teppan

Zdroj: Smart Innovation, Systems and Technologies ISBN: 9783319667898

Přístupová URL adresa: https://link.springer.com/chapter/10.1007%2F978-3-319-66790-4_7
https://rd.springer.com/chapter/10.1007/978-3-319-66790-4_7
https://campus.aau.at/cris/publication/0f4de0c960dee6ca0160e590ce150dd8

PDDL+ Planning via Constraint Answer Set Programming

Autoři: Balduccini M. Magazzeni D. Maratea M.

Témata: FOS: Computer and information sciences, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Přístupová URL adresa: http://arxiv.org/abs/1609.00030
https://hdl.handle.net/20.500.11770/356537