Search Results - "Logic programming and answer set programming"

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

Authors: Dodaro Carmine Maratea Marco Ramacciati Nicola

Subject Terms: Logic Programming, Healthcare, Answer Set Programming, Nurse Scheduling Problem

Access URL: https://ceur-ws.org/Vol-4003/paper15.pdf
https://hdl.handle.net/20.500.11770/387859

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

Authors: Trinh, Van-Giang Benhamou, Belaid Soliman, Sylvain et al.

Contributors: Trinh, Van-Giang Benhamou, Belaid Soliman, Sylvain et al.

Subject Terms: 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]

File Description: application/pdf

Access URL: 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

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

Authors: Hunter, Anthony Kern-Isberner, Gabriele Meyer, Thomas et al.

Contributors: Hunter, Anthony Kern-Isberner, Gabriele Meyer, Thomas et al.

Subject Terms: 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

File Description: 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

Availability: 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

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

Authors: Heyninck, Jesse Arieli, Ofer Bienvenu, Meghyn et al.

Contributors: Heyninck, Jesse Arieli, Ofer Bienvenu, Meghyn et al.

Subject Terms: Logic programming and answer set programming

File Description: text

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

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

Ontology-based classification of molecules: A logic programming approach

Authors: Despoina Magka The Pennsylvania State University CiteSeerX Archives

Contributors: Despoina Magka The Pennsylvania State University CiteSeerX Archives

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

Subject Terms: Knowledge representation and reasoning, Logic programming and answer set programming

File Description: application/pdf

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

Availability: 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

Authors: Magka, Despoina Krötzsch, Markus Horrocks, Ian

Subject Terms: Semantic technologies, Knowledge representation and reasoning, Logic programming and answer set programming, Datalog extensions, Cheminformatics

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

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

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

Authors: Anthony Hunter and Gabriele Kern-Isberner and Thomas Meyer and Renata Wassermann Hunter, Anthony Kern-Isberner, Gabriele et al.

Index Terms: 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, Data processing Computer science, InProceedings, publishedVersion

A rule-based ontological framework for the classification of molecules.

Authors: Magka D Krötzsch M Horrocks I

Source: Journal of biomedical semantics [J Biomed Semantics] 2014 Apr 15; Vol. 5, pp. 17. Date of Electronic Publication: 2014 Apr 15 (Print Publication: 2014).

Publication Type: Journal Article

Journal Info: Publisher: Biomed Central Country of Publication: England NLM ID: 101531992 Publication Model: eCollection Cited Medium: Print ISSN: 2041-1480 (Print) NLM ISO Abbreviation: J Biomed Semantics Subsets: PubMed not MEDLINE