Search Results - Constraint Answer Set Programming (CASP)

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.

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

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

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.

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

File Description: application/pdf

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

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

A CASP-Based Solution for Traffic Signal Optimisation.

Authors: TARZARIOL, ALICE MARATEA, MARCO VALLATI, MAURO

Source: Theory & Practice of Logic Programming; Jul2025, Vol. 25 Issue 4, p794-812, 19p

Subject Terms: TRAFFIC signal control systems, CONSTRAINT programming, CITIES & towns, AUTOMATED planning & scheduling, MATHEMATICAL optimization, TRAFFIC engineering

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

PDDL+ Planning via Constraint Answer Set Programming

Authors: Balduccini, Marcello Magazzeni, Daniele Maratea, Marco

Index Terms: Computer Science - Artificial Intelligence, text

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

Heuristic Constraint Answer Set Programming for Manufacturing Problems

Authors: Gerhard Friedrich Erich Christian Teppan

Source: Smart Innovation, Systems and Technologies ISBN: 9783319667898

Access URL: 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

Authors: Balduccini M. Magazzeni D. Maratea M.

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

Access URL: http://arxiv.org/abs/1609.00030
https://hdl.handle.net/20.500.11770/356537

Heuristic Constraint Answer Set Programming

Authors: Gerhard Friedrich Erich Christian Teppan

Conflict-driven constraint answer set solving

Authors: Drescher, Christian

Index Terms: Answer Set Programming, Artificial Intelligence, Declarative Problem Solving, Logic Programming, All-Different, Grammar, Reachability, Unfounded Sets, Well-founded Justification, Well-founded Domination, Support Flowgraph, Conflict-driven Nogood Learning, Lazy Nogood Generation, Constraint Answer Set Solving, ASP, CSP, CP, CASP, Constraint Programming, doctoral thesis, http://purl.org/coar/resource_type/c_db06

URL: http://hdl.handle.net/1959.4/54397
https://unsworks.unsw.edu.au/bitstreams/a4f69a06-a080-4ddd-8fbc-4b5e1f43d4ba/download
https://doi.org/10.26190/unsworks/18170

Integration Schemas for Constraint Answer Set Programming: a Case Study

Authors: Balduccini, Marcello Lierler, Yuliya

Source: Computer Science Faculty Publications

Subject Terms: contraint answer set programming, CASP, knowledge representation, propositional satisfiability, SAT, Computer Sciences

File Description: application/pdf

Relation: https://digitalcommons.unomaha.edu/compscifacpub/6; https://digitalcommons.unomaha.edu/context/compscifacpub/article/1006/viewcontent/Integration_Schemas_for_Constraint_Answer_Set.pdf

Availability: https://digitalcommons.unomaha.edu/compscifacpub/6
https://digitalcommons.unomaha.edu/context/compscifacpub/article/1006/viewcontent/Integration_Schemas_for_Constraint_Answer_Set.pdf

CASP solutions for planning in hybrid domains

Authors: M. Balduccini D. Magazzeni M. Maratea et al.

Source: Theory and Practice of Logic Programming. 17:591-633

Subject Terms: FOS: Computer and information sciences, 0209 industrial biotechnology, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, Answer set programming, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, planning, hybrid domains

Access URL: http://arxiv.org/pdf/1704.03574
http://arxiv.org/abs/1704.03574
https://www.cambridge.org/core/services/aop-cambridge-core/content/view/S1471068417000187
https://dblp.uni-trier.de/db/journals/corr/corr1704.html#BalducciniMML17
https://arxiv.org/abs/1704.03574
http://dblp.uni-trier.de/db/journals/tplp/tplp17.html#BalducciniMML17
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/casp-solutions-for-planning-in-hybrid-domains/B844996758BF068BFCD433CE8B8256AB
https://iris.unige.it/handle/11567/885891

CASP solutions for planning in hybrid domains.

Authors: BALDUCCINI, MARCELLO MAGAZZENI, DANIELE MARATEA, MARCO et al.

Source: Theory & Practice of Logic Programming; Jul2017, Vol. 17 Issue 4, p591-633, 43p

Subject Terms: CONSTRAINT programming, HYBRID computer programming, MATHEMATICAL domains, STANDARD language, NONLINEAR programming

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

Integrating constraint programming into answer set programming ; Integrating Constraint Programming into Answer Set Programming

Authors: Stashuk, Oleksandr Eiter, Thomas TU Wien, Österreich

Contributors: Stashuk, Oleksandr Eiter, Thomas TU Wien, Österreich

File Description: X, 71 S.

Relation: https://doi.org/10.34726/hss.2013.22001; http://hdl.handle.net/20.500.12708/6878; AC11082339; urn:nbn:at:at-ubtuw:1-74079

Availability: https://doi.org/10.34726/hss.2013.22001
https://hdl.handle.net/20.500.12708/6878

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

Authors: ARIAS, JOAQUÍN CARRO, MANUEL CHEN, ZHUO et al.

Source: Theory & Practice of Logic Programming; Jan2022, Vol. 22 Issue 1, p51-80, 30p

Subject Terms: CALCULUS, CONSTRAINT programming, PHYSICAL constants, NEGATION (Logic)

Under consideration for publication in Theory and Practice of Logic Programming 1 Integration Schemas for Constraint Answer Set Programming: a Case Study

Authors: Marcello Balduccini Yuliya Lierler The Pennsylvania State University CiteSeerX Archives

Contributors: Marcello Balduccini Yuliya Lierler The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.utexas.edu/users/tag/papers-ailab2/box.pdf.

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.383.5592

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.383.5592
http://www.cs.utexas.edu/users/tag/papers-ailab2/box.pdf

Constraint Answer Set Programming without Grounding.

Authors: ARIAS, JOAQUIN CARRO, MANUEL SALAZAR, ELMER et al.

Source: Theory & Practice of Logic Programming; May2018, Vol. 18 Issue 3/4, p337-354, 18p

Subject Terms: LOGIC programming, QUESTION answering systems, COMPUTER software, COMPUTER simulation, HYPERLINKS

On relation between constraint answer set programming and satisfiability modulo theories.

Authors: LIERLER, YULIYA SUSMAN, BENJAMIN

Source: Theory & Practice of Logic Programming; Jul2017, Vol. 17 Issue 4, p559-590, 32p

Subject Terms: CONSTRAINT programming, SATISFIABILITY (Computer science), PROBLEM solving, INTEGERS, LINEAR programming