Výsledky vyhľadávania - Constraint Answer Set Programming (CASP)*

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

Autori: Eiter, Thomas Geibinger, Tobias Musliu, Nysret a ďalší

Zdroj: Theory and Practice of Logic Programming.

Predmety: answer set programming, constraint programming, integer programming

Popis súboru: print

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

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

Panorama de Constraint Answer Set Programming

Autori: Garreau, Bryan Diéguez, Martín Monfroy, Eric a ďalší

Prispievatelia: Garreau, Bryan Diéguez, Martín Monfroy, Eric a ďalší

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

Popis súboru: application/pdf

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

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

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

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

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

A CASP-Based Solution for Traffic Signal Optimisation.

Autori: TARZARIOL, ALICE MARATEA, MARCO VALLATI, MAURO

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

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

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

Zdroj: Processes. 12:1315

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

PDDL+ Planning via Constraint Answer Set Programming

Autori: Balduccini, Marcello Magazzeni, Daniele Maratea, Marco

Témy: Computer Science - Artificial Intelligence, text

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

Heuristic Constraint Answer Set Programming for Manufacturing Problems

Autori: Gerhard Friedrich Erich Christian Teppan

Zdroj: Smart Innovation, Systems and Technologies ISBN: 9783319667898

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

Autori: Balduccini M. Magazzeni D. Maratea M.

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

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

Heuristic Constraint Answer Set Programming

Autori: Gerhard Friedrich Erich Christian Teppan

Conflict-driven constraint answer set solving

Autori: Drescher, Christian

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

Autori: Balduccini, Marcello Lierler, Yuliya

Zdroj: Computer Science Faculty Publications

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

Popis súboru: 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

Dostupnosť: 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

Autori: M. Balduccini D. Magazzeni M. Maratea a ďalší

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

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

Prístupová URL adresa: 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.

Autori: BALDUCCINI, MARCELLO MAGAZZENI, DANIELE MARATEA, MARCO a ďalší

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

Predmety: CONSTRAINT programming, HYBRID computer programming, MATHEMATICAL domains, STANDARD language, NONLINEAR programming

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

Autori: LIERLER, YULIYA

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

Predmety: TRAVELING salesman problem, DINGO, TRAIN schedules, SYSTEMS design, INCAS

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

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

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

Popis súboru: 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

Dostupnosť: 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.

Autori: ARIAS, JOAQUÍN CARRO, MANUEL CHEN, ZHUO a ďalší

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

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

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

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

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

Popis súboru: application/pdf

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

Dostupnosť: 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.

Autori: ARIAS, JOAQUIN CARRO, MANUEL SALAZAR, ELMER a ďalší

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

Predmety: LOGIC programming, QUESTION answering systems, COMPUTER software, COMPUTER simulation, HYPERLINKS

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

Autori: LIERLER, YULIYA SUSMAN, BENJAMIN

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

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