Suchergebnisse - "Constraint Answer Set Programming (CASP)"

A CASP-Based Solution for Traffic Signal Optimisation.

Autoren: TARZARIOL, ALICE MARATEA, MARCO VALLATI, MAURO

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

Schlagwörter: TRAFFIC signal control systems, CONSTRAINT programming, CITIES & towns, AUTOMATED planning & scheduling, MATHEMATICAL optimization, TRAFFIC engineering

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

Autoren: EITER, THOMAS GEIBINGER, TOBIAS MUSLIU, NYSRET et al.

Quelle: Theory & Practice of Logic Programming; Jul2025, Vol. 25 Issue 4, p649-667, 19p

Schlagwörter: CONSTRAINT programming, CONSTRAINT satisfaction, LINEAR equations, BENCHMARK problems (Computer science), PROGRAMMING languages

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

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

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

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

A CASP-Based Solution for Traffic Signal Optimisation

Autoren: ALICE TARZARIOL MARCO MARATEA MAURO VALLATI

Quelle: Theory and Practice of Logic Programming. :1-19

Schlagwörter: FOS: Computer and information sciences, Logic in Computer Science, Logic in Computer Science (cs.LO)

Zugangs-URL: http://arxiv.org/abs/2507.19061

Enhancing Urban Air Mobility Scheduling Through Declarative Reasoning and Stakeholder Modeling.

Autoren: Kim, Jeongseok Kim, Kangjin

Quelle: Aerospace (MDPI Publishing); Jul2025, Vol. 12 Issue 7, p605, 23p

Schlagwörter: KNOWLEDGE representation (Information theory), RESOURCE allocation, SCHEDULING, AIRPORTS

CASP solutions for planning in hybrid domains.

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

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

Schlagwörter: CONSTRAINT programming, HYBRID computer programming, MATHEMATICAL domains, STANDARD language, NONLINEAR programming

PDDL+ Planning via Constraint Answer Set Programming

Autoren: Balduccini, Marcello Magazzeni, Daniele Maratea, Marco

Index Begriffe: Computer Science - Artificial Intelligence, text

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

Conflict-driven constraint answer set solving

Autoren: Drescher, Christian

Index Begriffe: 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

Unifying Framework for Optimizations in Non-Boolean Formalisms.

Autoren: LIERLER, YULIYA

Quelle: Theory & Practice of Logic Programming; Nov2023, Vol. 23 Issue 6, p1248-1280, 33p

Schlagwörter: KNOWLEDGE representation (Information theory), PROGRAMMING languages, ARTIFICIAL intelligence, LINEAR programming, INTEGER programming, SEARCH algorithms, NONMONOTONIC logic

Hybrid Automated Reasoning Tools: from Black-box to Clear-box Integration

Autoren: Balduccini, Marcello Lierler, Yulia

Index Begriffe: Computer Science - Artificial Intelligence, text

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

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

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

On the Semantics of Hybrid ASP Systems Based on Clingo.

Autoren: Cabalar, Pedro Fandinno, Jorge Schaub, Torsten et al.

Quelle: Algorithms; Apr2023, Vol. 16 Issue 4, p185, 25p

Schlagwörter: EXPRESSIVE language, SEMANTICS

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

Autoren: LIERLER, YULIYA

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

Schlagwörter: TRAVELING salesman problem, DINGO, TRAIN schedules, SYSTEMS design, INCAS

Panorama de Constraint Answer Set Programming

Autoren: Garreau, Bryan Diéguez, Martín Monfroy, Eric et al.

Weitere Verfasser: Garreau, Bryan Diéguez, Martín Monfroy, Eric et al.

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

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

Geographisches Schlagwort: Saint-Etienne, France

Verfügbarkeit: https://hal.science/hal-03765417
https://hal.science/hal-03765417v1/document
https://hal.science/hal-03765417v1/file/RJCIA22_paper9.pdf

Building Information Modeling Using Constraint Logic Programming.

Autoren: ARIAS, JOAQUÍN TÖRMÄ, SEPPO CARRO, MANUEL et al.

Quelle: Theory & Practice of Logic Programming; Sep2022, Vol. 22 Issue 5, p723-738, 16p

Schlagwörter: BUILDING information modeling, CONSTRAINT programming, LOGIC programming, BUILDING evacuation, KNOWLEDGE representation (Information theory), CIVILIAN evacuation, FIRE prevention

Geografische Kategorien: SINGAPORE

Advanced Evaluation Techniques for (Non)-Monotonic Reasoning Using Rules with Constraints

Autoren: Arias Herrero, Joaquín Carro Liñares, Manuel

Weitere Verfasser: Arias Herrero, Joaquín Carro Liñares, Manuel

Quelle: Archivo Digital UPM
Universidad Politécnica de Madrid

Schlagwörter: Informática

Dateibeschreibung: application/pdf

Zugangs-URL: http://oa.upm.es/58189/1/JOAQUIN_ARIAS_HERRERO.pdf
https://oa.upm.es/58189/

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

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

Quelle: Processes. 12:1315

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

MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks^*.

Autoren: Chen, Qian Matteo Finzi, Alberto Mancini, Toni et al.

Quelle: Fundamenta Informaticae; 2020, Vol. 174 Issue 3/4, p229-258, 30p

Schlagwörter: TELECOMMUNICATION systems, RADIO (Medium), SATISFIABILITY (Computer science), RADIO networks, ELECTROMAGNETIC interference, ARTIFICIAL intelligence

Geografische Kategorien: ROME

The External Interface for Extending WASP.

Autoren: DODARO, CARMINE RICCA, FRANCESCO

Quelle: Theory & Practice of Logic Programming; Mar2020, Vol. 20 Issue 2, p225-248, 24p

Schlagwörter: WASPS, KNOWLEDGE representation (Information theory), EXPERT systems, HEURISTIC

Modern constraint answer set solving

Autoren: Ostrowski, Max (Dr.)

Schlagwörter: ddc:001, Institut für Informatik und Computational Science

Dateibeschreibung: application/pdf

Zugangs-URL: https://nbn-resolving.org/urn:nbn:de:kobv:517-opus4-407799
https://publishup.uni-potsdam.de/files/40779/ostrowski_diss.pdf
https://publishup.uni-potsdam.de/frontdoor/index/index/docId/40779