Search Results - "Constraint Answer Set Programming"

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

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

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

Authors: Susman, Benjamin Lierler, Yuliya Benjamin Susman and Yuliya Lierler

Contributors: Susman, Benjamin Lierler, Yuliya Benjamin Susman and Yuliya Lierler

Subject Terms: constraint answer set programming, constraint satisfaction processing, satisfiability modulo theories

File Description: 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

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

Authors: Drescher, Christian Walsh, Toby Christian Drescher and Toby Walsh

Contributors: Drescher, Christian Walsh, Toby Christian Drescher and Toby Walsh

Subject Terms: Conflict-Driven Nogood Learning, Constraint Answer Set Programming, Constraint Propagation, Lazy Nogood Generation

File Description: 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

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

Authors: Lierler, Yuliya Susman, Benjamin

Source: Computer Science Faculty Publications

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

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

Relating Constraint Answer Set Programming Languages and Algorithms

Authors: Lierler, Yuliya

Source: Computer Science Faculty Publications

Subject Terms: (Constraint) answer set programming, constraint satisfaction processing, satisfiability modulo theories, Computer Sciences

File Description: application/pdf

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

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

Authors: Christian Drescher Toby Walsh The Pennsylvania State University CiteSeerX Archives

Contributors: Christian Drescher Toby Walsh The Pennsylvania State University CiteSeerX Archives

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

Subject Terms: Constraint Answer Set Programming, Constraint Propagation, Lazy Nogood Generation Digital Object Identifier 10.4230/LIPIcs.ICLP.2012.188

File Description: 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

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