Výsledky vyhledávání - "Logic programming and answer set programming"

An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems

Autoři: DOVIER, Agostino FORMISANO A. PONTELLI E.

Zdroj: Journal of Experimental & Theoretical Artificial Intelligence. 21:79-121

Témata: Combinatorial problems, Constraint solving, Logic programming, Declarative programming, Constraint logic programming, Answer set programming, Solvers, Benchmarking, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Popis souboru: application/pdf

Přístupová URL adresa: http://www.dimi.uniud.it/dovier/PAPERS/JETAI07.pdf
https://dblp.uni-trier.de/db/journals/jetai/jetai21.html#DovierFP09
http://www.dimi.uniud.it/dovier/PAPERS/JETAI07.pdf
https://www.tandfonline.com/doi/abs/10.1080/09528130701538174
https://doi.org/10.1080/09528130701538174
http://www.dmi.unipg.it/formis/papers/JETAI07.pdf
https://www.tandfonline.com/doi/ref/10.1080/09528130701538174
https://hdl.handle.net/11391/119370
https://doi.org/10.1080/09528130701538174

Cyclic Nurse Scheduling with ASP: Two Case Studies from Cosenza Hospitals

Autoři: Dodaro Carmine Maratea Marco Ramacciati Nicola

Témata: Logic Programming, Healthcare, Answer Set Programming, Nurse Scheduling Problem

Přístupová URL adresa: https://ceur-ws.org/Vol-4003/paper15.pdf
https://hdl.handle.net/20.500.11770/387859

Inductive Logic Programming in Answer Set Programming

Autoři: Alessandra Russo Emil Lupu Domenico Corapi

Zdroj: Lecture Notes in Computer Science ISBN: 9783642319501

Témata: 4. Education

Přístupová URL adresa: http://ilp11.doc.ic.ac.uk/short_papers/ilp2011_submission_20.pdf
https://link.springer.com/chapter/10.1007/978-3-642-31951-8_12
https://core.ac.uk/display/109443166
https://dblp.uni-trier.de/db/conf/ilp/ilp2011.html#CorapiRL12
https://doi.org/10.1007/978-3-642-31951-8_12
http://ilp11.doc.ic.ac.uk/short_papers/ilp2011_submission_20.pdf
https://rd.springer.com/chapter/10.1007/978-3-642-31951-8_12

An Experimental Comparison of Constraint Logic Programming and Answer Set Programming

Autoři: DOVIER, Agostino FORMISANO, ANDREA PONTELLI ,ENRICO

Témata: Declarative programming, Constraint logic programming, Answer set programming, Solvers, Benchmarking

Přístupová URL adresa: https://hdl.handle.net/11390/882882
https://hdl.handle.net/11391/161079

From Logic Programming to Answer Set Programming / 論理プログラミングから解集合プログラミングへ

Autoři: Chiaki SAKAMA Katsumi INOUE 井上 克巳 a další

Zdroj: コンピュータ ソフトウェア / Computer Software. 2008, 25(3):3-20

Efficient Enumeration of Fixed Points in Complex Boolean Networks Using Answer Set Programming

Autoři: Trinh, Van-Giang Benhamou, Belaid Soliman, Sylvain a další

Přispěvatelé: Trinh, Van-Giang Benhamou, Belaid Soliman, Sylvain a další

Témata: Computational biology, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Logic programming and answer set programming, Computational systems biology, Boolean network, Answer set programming, Fixed point, ddc:004, Systems biology, [INFO.INFO-BI] Computer Science [cs]/Bioinformatics [q-bio.QM]

Popis souboru: application/pdf

Přístupová URL adresa: https://amu.hal.science/hal-04209296v1
https://amu.hal.science/hal-04209296v1/document
https://doi.org/10.4230/lipics.cp.2023.35
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CP.2023.35

Under consideration for publication in Theory and Practice of Logic Programming 1 Answer Set Programming as a Modeling Language for Course Timetabling

Autoři: Mutsunori Banbara Takehide Soh Naoyuki Tamura a další

Přispěvatelé: Mutsunori Banbara Takehide Soh Naoyuki Tamura a další

Zdroj: http://www.cs.uni-potsdam.de/wv/pdfformat/basotainsc13a.pdf.

Témata: answer set programming, educational timetabling, course timetabling

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.589.5667
http://www.cs.uni-potsdam.de/wv/pdfformat/basotainsc13a.pdf

An Experimental Comparison of Constraint Logic Programming and Answer Set Programming

Autoři: Dovier A. Pontelli E. FORMISANO, Andrea a další

Přispěvatelé: Dovier A. Pontelli E. FORMISANO, Andrea a další

Témata: Declarative programming, Constraint logic programming, Answer set programming, Solver, Benchmarking

Popis souboru: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/isbn/9781577353232; info:eu-repo/semantics/altIdentifier/isbn/1577353234; ispartofseries:AAAI Proceedings; ispartofbook:Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence; AAAI-07; volume:2; firstpage:1622; lastpage:1625; numberofpages:4; serie:PROCEEDINGS OF THE . AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE; http://hdl.handle.net/11391/161079

Dostupnost: http://hdl.handle.net/11391/161079

The Role of Non-monotonic Reasoning in Future Development of Artificial Intelligence (Dagstuhl Perspectives Workshop 19072)

Autoři: Hunter, Anthony Kern-Isberner, Gabriele Meyer, Thomas a další

Přispěvatelé: Hunter, Anthony Kern-Isberner, Gabriele Meyer, Thomas a další

Témata: Artificial intelligence, Knowledge representation and reasoning, Nonmonotonic, default reasoning and belief revision, Probabilistic reasoning, Logic programming and answer set programming, Ontology engineering, Cognitive science, Machine learning

Popis souboru: application/pdf

Relation: Is Part Of Dagstuhl Reports, Volume 9, Issue 2 (2019); https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.2.73

Dostupnost: https://doi.org/10.4230/DagRep.9.2.73
https://nbn-resolving.org/urn:nbn:de:0030-drops-108601
https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.2.73

An Experimental Comparison of Constraint Logic Programming and Answer Set Programming

Autoři: Agostino Dovier Andrea Formisano Enrico Pontelli a další

Přispěvatelé: Agostino Dovier Andrea Formisano Enrico Pontelli a další

Zdroj: https://www.aaai.org/Papers/AAAI/2007/AAAI07-259.pdf.

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.331.5155

An Empirical Study of Constraint Logic Programming and Answer Set Programming Solutions of Combinatorial Problems

Autoři: Agostino Dovier Andrea Formisano Enrico Pontelli a další

Přispěvatelé: Agostino Dovier Andrea Formisano Enrico Pontelli a další

Zdroj: http://www.dimi.uniud.it/dovier/PAPERS/JETAI07.pdf.

Témata: Constraint Logic Programming, Answer Set Programming, Solvers, Benchmarking

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.115.3436; http://www.dimi.uniud.it/dovier/PAPERS/JETAI07.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.115.3436
http://www.dimi.uniud.it/dovier/PAPERS/JETAI07.pdf

Approximation Fixpoint Theory for Non-Deterministic Operators and Its Application in Disjunctive Logic Programming

Autoři: Heyninck, Jesse Arieli, Ofer Bienvenu, Meghyn a další

Přispěvatelé: Heyninck, Jesse Arieli, Ofer Bienvenu, Meghyn a další

Témata: Logic programming and answer set programming

Popis souboru: text

Relation: https://pubs.cs.uct.ac.za/id/eprint/1509/

Dostupnost: https://pubs.cs.uct.ac.za/id/eprint/1509/1/kr2021-0032-heyninck-et-al.pdf

Inductive Logic Programming in Answer Set Programming.

Autoři: Corapi, Domenico Russo, Alessandra Lupu, Emil

Zdroj: Inductive Logic Programming (9783642319501); 2012, p91-97, 7p

Ontology-based classification of molecules: A logic programming approach

Autoři: Despoina Magka The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Despoina Magka The Pennsylvania State University CiteSeerX Archives

Zdroj: http://ceur-ws.org/Vol-952/paper_3.pdf.

Témata: Knowledge representation and reasoning, Logic programming and answer set programming

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.416.9085
http://ceur-ws.org/Vol-952/paper_3.pdf

A rule-based ontological framework for the classification of molecules

Autoři: Magka, Despoina Krötzsch, Markus Horrocks, Ian

Témata: Semantic technologies, Knowledge representation and reasoning, Logic programming and answer set programming, Datalog extensions, Cheminformatics

Relation: http://www.jbiomedsem.com/content/5/1/17

Dostupnost: http://www.jbiomedsem.com/content/5/1/17

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

Automated legal reasoning with discretion to act using s(LAW).

Autoři: Arias, Joaquín Moreno-Rebato, Mar Rodriguez-García, Jose A. a další

Zdroj: Artificial Intelligence & Law; Dec2024, Vol. 32 Issue 4, p1141-1164, 24p

Témata: COMPUTER programming, ADMINISTRATIVE discretion (Law), LEGAL opinions, LOGIC programming, AMBIGUITY

A General Framework for Stable Roommates Problems using Answer Set Programming.

Autoři: ERDEM, ESRA FIDAN, MÜGE MANLOVE, DAVID a další

Zdroj: Theory & Practice of Logic Programming; Nov2020, Vol. 20 Issue 6, p911-925, 15p

Témata: ROOMMATES, LOGIC programming, STRONTIUM

Clingo2DSR - A clingo-based software system for declarative spatial reasoning.

Autoři: Li, Beidi Schultz, Carl

Zdroj: Spatial Cognition & Computation; 2025, Vol. 25 Issue 1, p69-119, 51p

Témata: BUILDING information modeling, ARCHITECTURAL design, NONMONOTONIC logic, SPATIAL systems, DATABASES

Proving semantic properties as first-order satisfiability

Autoři: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació Generalitat Valenciana Agencia Estatal de Investigación a další

Témata: Automated reasoning, First-Order Logic, Logical models, LENGUAJES Y SISTEMAS INFORMATICOS, info:eu-repo/semantics/article

URL: http://hdl.handle.net/10251/139771