Výsledky vyhledávání - constraint answer set programming ((casp OR asp))

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

Autoři: Eiter, Thomas Geibinger, Tobias Musliu, Nysret a další

Zdroj: Theory and Practice of Logic Programming.

Témata: answer set programming, constraint programming, integer programming

Popis souboru: print

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

Autoři: TARZARIOL, ALICE MARATEA, MARCO VALLATI, MAURO

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

Témata: TRAFFIC signal control systems, CONSTRAINT programming, CITIES & towns, AUTOMATED planning & scheduling, MATHEMATICAL optimization, TRAFFIC engineering

Answer Set Searching with Weighted MaxSAT.

Autoři: Nowakowski, Arkadiusz Wieczorek, Wojciech Strąk, Łukasz

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

Témata: 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.

Autoři: García-Mata, Carmen L. Burtseva, Larysa Werner, Frank

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

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

Panorama de Constraint Answer Set Programming

Autoři: Garreau, Bryan Diéguez, Martín Monfroy, Eric a další

Přispěvatelé: Garreau, Bryan Diéguez, Martín Monfroy, Eric a další

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

Popis souboru: application/pdf

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

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

Autoři: Eiter, Thomas Geibinger, Tobias Musli, Nysret a další

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

Témata: answer-set programming, parallel machine scheduling, lexicographical optimisation

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-63645
https://doi.org/10.1017/s1471068423000017

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

Autoři: Eiter, T. Geibinger, T. Higuera Ruiz, N. a další

Zdroj: Artificial Intelligence. 337

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

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-66309
https://doi.org/10.1016/j.artint.2024.104230

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

Autoři: Carmen L. García-Mata Larysa Burtseva Frank Werner

Logic Programming for Orthogonal Graph Drawing on Restricted Grids.

Autoři: Strąk, Łukasz Wieczorek, Wojciech Nowakowski, Arkadiusz

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

Témata: Logic programming, Constraint satisfaction, Graph theory, Grids (Cartography), Planar graphs

PDDL+ Planning via Constraint Answer Set Programming

Autoři: Balduccini, Marcello Magazzeni, Daniele Maratea, Marco

Témata: Computer Science - Artificial Intelligence, text

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

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

Autoři: Bertagnon, Alessandro Gavanelli, Marco

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

Témata: *COST functions, *CONSTRAINT programming, *LOGIC programming, *EUCLIDEAN distance, *COMPUTER science

Heuristic Constraint Answer Set Programming for Manufacturing Problems

Autoři: Gerhard Friedrich Erich Christian Teppan

Zdroj: Smart Innovation, Systems and Technologies ISBN: 9783319667898

Pří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

Integrated Use of System Z for Preferred Answer Set Programming

Autoři: Marco Wilhelm Andre Thevapalan Gabriele Kern-Isberner

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

Témata: preferred answer set programming, conditional reasoning, System Z, Technology, Electronic computers. Computer science, QA75.5-76.95

Popis souboru: electronic resource

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

Přístupová URL adresa: https://doaj.org/article/0ff72037db0543abb401ef5aa652eb0f

Heuristic Constraint Answer Set Programming

Autoři: Gerhard Friedrich Erich Christian Teppan

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

Autoři: David Rajaratnam Torsten Schaub Philipp Wanko a další

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

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

Popis souboru: electronic resource

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

Přístupová URL adresa: https://doaj.org/article/10303c3302ae4edd8d3fd3ecb5a361d1

Conflict-driven constraint answer set solving

Autoři: Drescher, Christian

Témata: Declarative Problem Solving, Grammar, Answer Set Programming, Logic Programming, Constraint Answer Set Solving, Well-founded Domination, Reachability, Support Flowgraph, Constraint Programming, Well-founded Justification, ASP, CSP, CP, Artificial Intelligence, All-Different, Unfounded Sets, CASP, Conflict-driven Nogood Learning, Lazy Nogood Generation

Popis souboru: application/pdf

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

Autoři: Carmen L. García-Mata Larysa Burtseva Frank Werner

Zdroj: Processes. 12:1315

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

PDDL+ Planning via Constraint Answer Set Programming

Autoři: Balduccini M. Magazzeni D. Maratea M.

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

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

Teaching logic programming: a review

Autoři: Serhiy O. Semerikov Iryna S. Mintii Natalia V. Moiseienko

Zdroj: CTE Workshop Proceedings, Vol 12 (2025)

Témata: logic programming, computer science education, Prolog, Answer Set Programming, Datalog, constraint logic programming, Technology, Education

Popis souboru: electronic resource

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

Přístupová URL adresa: https://doaj.org/article/fe0f681845f34cf5b6ef56e34a666a8d

Qualitative Reasoning about 2D Cardinal Directions using Answer Set Programming.

Autoři: Izmirlioglu, Yusuf Erdem, Esra

Zdroj: Journal of Artificial Intelligence Research. 2023, Vol. 77, p1371-1453. 83p.

Témata: Benchmarking (Management), Discretization methods, Computational complexity, Disjunction (Logic), Constraint algorithms