Výsledky vyhledávání - constraint answer set programming (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

Towards Constraint Temporal Answer Set Programming

Autoři: PEDRO CABALAR MARTÍN DIÉGUEZ FRANÇOIS OLIVIER a další

Zdroj: Theory and Practice of Logic Programming. :1-16

Témata: FOS: Computer and information sciences, Artificial Intelligence (cs.AI), Temporal logic programming, Knowledge representation, Artificial Intelligence, Logic in Computer Science, Nonmonotonic reasoning, Constraint programming, Logic in Computer Science (cs.LO)

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2507.13958
https://hdl.handle.net/2183/45943

Integrating MiniZinc with ASP Chef: Browser-Based Constraint Programming for Education and Prototyping

Autoři: Alviano M. Rodriguez Reiners L. A.

Zdroj: Lecture Notes in Computer Science ISBN: 9783031742088

Témata: system description, Answer Set Programming, Constraint Programming

Přístupová URL adresa: https://hdl.handle.net/20.500.11770/376938
https://doi.org/10.1007/978-3-031-74209-5_14

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

Heuristic Search and Knowledge-Based Verification for Electrification Route Planning : A* Pathfinding, Epistemic Constraints, and Answer Set Programming

Autoři: Berglund, William

Témata: A, Heuristic, Knowlegde-Based, Electrification Route Planning, ASP, Computer Sciences, Datavetenskap (datalogi), Student thesis, info:eu-repo/semantics/bachelorThesis, text

URL: http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-240036
UMNAD ; 1552

Geometric reasoning on the Traveling Salesperson Problem: comparing Answer Set Programming and Constraint Logic Programming Approaches

Autoři: Bertagnon A. Gavanelli M.

Témata: Answer Set Programming, CLP(FD), Euclidean Traveling Salesperson Problem, Experimental Comparison of ASP

Popis souboru: application/pdf

Přístupová URL adresa: https://ceur-ws.org/Vol-3437/paper1ASPOCP.pdf
https://hdl.handle.net/11392/2520030

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

Autoři: Joaquín Arias Zhuo Chen Manuel Carro a další

Zdroj: Lecture Notes in Computer Science ISBN: 9783030452599
Logic-Based Program Synthesis and Transformation | LOPSTR 2019: Logic-Based Program Synthesis and Transformation | 8-10 Oct 2019 | Porto, Portugal
Archivo Digital UPM
instname
Universidad Politécnica de Madrid

Témata: Informática, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence, Goal-directed, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Logic in Computer Science (cs.LO), ASP, Artificial Intelligence (cs.AI), Event Calculus, Constraints, 0202 electrical engineering, electronic engineering, information engineering

Popis souboru: application/pdf

Přístupová URL adresa: http://oa.upm.es/63685/1/INVE_MEM_2019_319643.pdf
http://arxiv.org/abs/2106.14566
https://oa.upm.es/63685/
http://oa.upm.es/63685/
https://arxiv.org/pdf/2106.14566
http://oa.upm.es/63685/
https://link.springer.com/chapter/10.1007%2F978-3-030-45260-5_9
https://dblp.uni-trier.de/db/journals/corr/corr2106.html#abs-2106-14566
https://arxiv.org/abs/2106.14566
https://www.arxiv-vanity.com/papers/2106.14566/
https://www.cambridge.org/core/services/aop-cambridge-core/content/view/S1471068421000156

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

Declarative Modelling of Fair Hierarchical Task Allocation Using Answer Set Programming

Autoři: null Emmanuel Mgbeahuruike null Babatunde Akinkunmi null Adedoyin Adebanjo a další

Zdroj: International Journal of Scientific Research in Computer Science, Engineering and Information Technology. 11:302-309

Towards Constraint Temporal Answer Set Programming.

Autoři: CABALAR, PEDRO DIÉGUEZ, MARTÍN OLIVIER, FRANÇOIS a další

Zdroj: Theory & Practice of Logic Programming; Jul2025, Vol. 25 Issue 4, p579-594, 16p

Témata: NONMONOTONIC logic, CONSTRAINT satisfaction, DYNAMICAL systems

Compiling Metric Temporal Answer Set Programming

Autoři: Becker, Arvid Cabalar, Pedro Diéguez Lodeiro, Martín a další

Témata: Answer set programming, Computational approach, Difference constraints, Fine grained, Linear constraints, Timing constraints, conference output

URL: http://hdl.handle.net/2183/42064
https://doi.org/10.1007/978-3-031-74209-5_2
Lecture Notes in Computer Science (LNCS), including its subseries Lecture Notes in Artificial Intelligence (LNAI) and Lecture Notes in Bioinformatics (LNBI)
https://doi.org/10.1007/978-3-031-74209-5_2
info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/PID2020-116201GB-I00/ES/RAZONAMIENTO AUTOMATICO Y APRENDIZAJE CON INDUCCION DE CONOCIMIENTO

Considering Constraint Monotonicity and Foundedness in Answer Set Programming

Autoři: Yi-Dong Shen Thomas Eiter

Zdroj: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence. :2741-2747

Témata: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

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

Hybrid Answer Set Programming: Foundations and Applications

Autoři: Rühling, Nicolas

Zdroj: Electronic Proceedings in Theoretical Computer Science. 416:374-380

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, Logic in Computer Science (cs.LO)

Přístupová URL adresa: http://arxiv.org/abs/2502.09235

On the Relation of Constraint Answer Set Programming Languages and Algorithms

Autoři: Yuliya Lierler

Zdroj: Proceedings of the AAAI Conference on Artificial Intelligence. 26:521-527

Témata: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Computational methods for Dynamic Answer Set Programming

Autoři: Hahn, Susana

Témata: Computer Science - Artificial Intelligence, Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science, I.2.4, I.2.8, text

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

Justifications for Goal-Directed Constraint Answer Set Programming

Autoři: Gopal Gupta Manuel Carro Zhuo Chen a další

Zdroj: Electronic Proceedings in Theoretical Computer Science. 325:59-72

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences, Logic in Computer Science (cs.LO), Programming Languages (cs.PL)

Přístupová URL adresa: https://arxiv.org/pdf/2009.10238
http://arxiv.org/abs/2009.10238
http://ui.adsabs.harvard.edu/abs/2020arXiv200910238A/abstract
http://arxiv.org/pdf/2009.10238.pdf
https://arxiv.org/abs/2009.10238v1

OpenAPI Interface Definition for the Communication of Study Regulations between SemaLogic and Answer Set Programming (ASP)

Autoři: Goebel, Matthias von der Heyde, Markus

Témata: ASP, 4. Education, SemaLogic, JSON, OpenAPI, 3. Good health, Semantics

Repairing SHACL constraint violations using answer set programming

Autoři: Ahmetaj, Shqiponja David, Robert Polleres, Axel a další

Témata: Database repairs, RDF Graphs, Semantic Web, SHACL, Shapes Constraint Language, Computer Sciences, Datavetenskap (datalogi), Conference paper, info:eu-repo/semantics/conferenceObject, text

URL: http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-201239
Lecture Notes in Computer Science, 0302-9743 ; 13489
The Semantic Web –ISWC 2022 : 21st International Semantic Web Conference, Virtual Event, October 23–27, 2022 : Proceedings, p. 375-391

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