Suchergebnisse - constraint answer set programming (((casp OR cas) OR asp))~

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

Autoren: Eiter, Thomas Geibinger, Tobias Musliu, Nysret et al.

Quelle: Theory and Practice of Logic Programming.

Schlagwörter: answer set programming, constraint programming, integer programming

Dateibeschreibung: print

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-69784
https://doi.org/10.1017/S1471068425100264

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

Answer Set Searching with Weighted MaxSAT.

Autoren: Nowakowski, Arkadiusz Wieczorek, Wojciech Strąk, Łukasz

Quelle: Procedia Computer Science. 2025, Vol. 270, p2301-2309. 9p.

Schlagwörter: NP-hard problems, Logic programming, Combinatorial optimization, Knowledge representation (Information theory), Mathematical programming, Algorithms, Constraint satisfaction

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

Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling

Autoren: Eiter, Thomas Geibinger, Tobias Musli, Nysret et al.

Quelle: Theory and Practice of Logic Programming. 23(6):1281-1306

Schlagwörter: answer-set programming, parallel machine scheduling, lexicographical optimisation

Dateibeschreibung: print

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-63645
https://doi.org/10.1017/s1471068423000017

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.

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

Dateibeschreibung: application/pdf

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

Adaptive large-neighbourhood search for optimisation in answer-set programming

Autoren: Eiter, T. Geibinger, T. Higuera Ruiz, N. et al.

Quelle: Artificial Intelligence. 337

Schlagwörter: Integer programming, Railroad transportation, Adaptive large neighborhood searches, Answer set programming, Automatically generated, Declarative problem solving, Encodings, Large neighbourhood searches, Metaheuristic, Neighbourhood, Optimisations, Optimization problems, Benchmarking

Dateibeschreibung: print

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-66309
https://doi.org/10.1016/j.artint.2024.104230

Logic Programming for Orthogonal Graph Drawing on Restricted Grids.

Autoren: Strąk, Łukasz Wieczorek, Wojciech Nowakowski, Arkadiusz

Quelle: Procedia Computer Science. 2025, Vol. 270, p2318-2325. 8p.

Schlagwörter: Logic programming, Constraint satisfaction, Graph theory, Grids (Cartography), Planar graphs

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

Integrated Use of System Z for Preferred Answer Set Programming

Autoren: Marco Wilhelm Andre Thevapalan Gabriele Kern-Isberner

Quelle: Proceedings of the International Florida Artificial Intelligence Research Society Conference, Vol 38, Iss 1 (2025)

Schlagwörter: preferred answer set programming, conditional reasoning, System Z, Technology, Electronic computers. Computer science, QA75.5-76.95

Dateibeschreibung: electronic resource

Relation: https://journals.flvc.org/FLAIRS/article/view/138664; https://doaj.org/toc/2334-0754; https://doaj.org/toc/2334-0762

Zugangs-URL: https://doaj.org/article/0ff72037db0543abb401ef5aa652eb0f

Geometric reasoning on the euclidean traveling salesperson problem in answer set programming¹.

Autoren: Bertagnon, Alessandro Gavanelli, Marco

Quelle: Intelligenza Artificiale. 2024, Vol. 18 Issue 1, p139-152. 14p.

Schlagwörter: *COST functions, *CONSTRAINT programming, *LOGIC programming, *EUCLIDEAN distance, *COMPUTER science

Solving an Industrial-Scale Warehouse Delivery Problem with Answer Set Programming Modulo Difference Constraints

Autoren: David Rajaratnam Torsten Schaub Philipp Wanko et al.

Quelle: Algorithms, Vol 16, Iss 4, p 216 (2023)

Schlagwörter: answer set programming, answer set programming modulo theories, hybrid reasoning, multi-agent path finding, multi-agent planning, Industrial engineering. Management engineering, T55.4-60.8, Electronic computers. Computer science, QA75.5-76.95

Dateibeschreibung: electronic resource

Relation: https://www.mdpi.com/1999-4893/16/4/216; https://doaj.org/toc/1999-4893

Zugangs-URL: https://doaj.org/article/10303c3302ae4edd8d3fd3ecb5a361d1

Algorithms and efficient encodings for argumentation frameworks and arithmetic problems

Autoren: Guitart Bravo, Francesc

Weitere Verfasser: University/Department: Universitat de Lleida. Departament d'Informàtica i Enginyeria Industrial

Thesis Advisors: Alsinet, Teresa, Béjar Torres, Ramón

Quelle: TDX (Tesis Doctorals en Xarxa)

Schlagwörter: Raonament, Semàntiques Recursives, Conflicte col·lectiu, Razonamiento, Semánticas recursivas, Conflicto colectivo, Defeasible Reasoning, Recursive semantics, Collective conflict, Ciència de la Computació i Inteligència Artificial

Dateibeschreibung: application/pdf

Zugangs-URL: http://hdl.handle.net/10803/284474

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

Heuristic Constraint Answer Set Programming for Manufacturing Problems

Autoren: Gerhard Friedrich Erich Christian Teppan

Quelle: Smart Innovation, Systems and Technologies ISBN: 9783319667898

Zugangs-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

Heuristic Constraint Answer Set Programming

Autoren: Gerhard Friedrich Erich Christian Teppan

Teaching logic programming: a review

Autoren: Serhiy O. Semerikov Iryna S. Mintii Natalia V. Moiseienko

Quelle: CTE Workshop Proceedings, Vol 12 (2025)

Schlagwörter: logic programming, computer science education, Prolog, Answer Set Programming, Datalog, constraint logic programming, Technology, Education

Dateibeschreibung: electronic resource

Relation: https://acnsci.org/journal/index.php/cte/article/view/838; https://doaj.org/toc/2833-5473

Zugangs-URL: https://doaj.org/article/fe0f681845f34cf5b6ef56e34a666a8d

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

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

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