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

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

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

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

Geografické téma: Saint-Etienne, France

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

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

SMT-Based Constraint Answer Set Solver EZSMT (System Description)

Autoři: Susman, Benjamin Lierler, Yuliya Benjamin Susman and Yuliya Lierler

Přispěvatelé: Susman, Benjamin Lierler, Yuliya Benjamin Susman and Yuliya Lierler

Témata: constraint answer set programming, constraint satisfaction processing, satisfiability modulo theories

Popis souboru: application/pdf

Relation: Is Part Of OASIcs, Volume 52, Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016); https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2016.1

Dostupnost: https://doi.org/10.4230/OASIcs.ICLP.2016.1
https://nbn-resolving.org/urn:nbn:de:0030-drops-67321
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2016.1

Answer Set Solving with Lazy Nogood Generation

Autoři: Drescher, Christian Walsh, Toby Christian Drescher and Toby Walsh

Přispěvatelé: Drescher, Christian Walsh, Toby Christian Drescher and Toby Walsh

Témata: Conflict-Driven Nogood Learning, Constraint Answer Set Programming, Constraint Propagation, Lazy Nogood Generation

Popis souboru: application/pdf

Relation: Is Part Of LIPIcs, Volume 17, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12) (2012); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.188

Dostupnost: https://doi.org/10.4230/LIPIcs.ICLP.2012.188
https://nbn-resolving.org/urn:nbn:de:0030-drops-36216
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.188

On Relation between Constraint Answer Set Programming and Satisfiability Modulo Theories

Autoři: Lierler, Yuliya Susman, Benjamin

Zdroj: Computer Science Faculty Publications

Témata: constraint answer set programming, constraint satisfaction processing, satisfiability modulo theories, Artificial Intelligence and Robotics, Computer Sciences

Relation: https://digitalcommons.unomaha.edu/compscifacpub/60; https://works.bepress.com/yuliya_lierler/65/download/

Dostupnost: https://digitalcommons.unomaha.edu/compscifacpub/60
https://works.bepress.com/yuliya_lierler/65/download/

Relating Constraint Answer Set Programming Languages and Algorithms

Autoři: Lierler, Yuliya

Zdroj: Computer Science Faculty Publications

Témata: (Constraint) answer set programming, constraint satisfaction processing, satisfiability modulo theories, Computer Sciences

Popis souboru: application/pdf

Relation: https://digitalcommons.unomaha.edu/compscifacpub/11; https://digitalcommons.unomaha.edu/context/compscifacpub/article/1011/viewcontent/Relating_Constraint_Answer_Set_Programming.pdf

Dostupnost: https://digitalcommons.unomaha.edu/compscifacpub/11
https://digitalcommons.unomaha.edu/context/compscifacpub/article/1011/viewcontent/Relating_Constraint_Answer_Set_Programming.pdf

T.: Answer set solving with lazy nogood generation

Autoři: Christian Drescher Toby Walsh The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Christian Drescher Toby Walsh The Pennsylvania State University CiteSeerX Archives

Zdroj: http://drops.dagstuhl.de/opus/volltexte/2012/3621/pdf/19.pdf.

Témata: Constraint Answer Set Programming, Constraint Propagation, Lazy Nogood Generation Digital Object Identifier 10.4230/LIPIcs.ICLP.2012.188

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.403.1912; http://drops.dagstuhl.de/opus/volltexte/2012/3621/pdf/19.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.403.1912
http://drops.dagstuhl.de/opus/volltexte/2012/3621/pdf/19.pdf