Tractable reasoning using logic programs with intensional concepts
From MaRDI portal
Publication:2055806
DOI10.1007/978-3-030-75775-5_22OpenAlexW3161041531MaRDI QIDQ2055806
Matthias Knorr, João Leite, Jesse Heyninck, Ricardo Gonçalves
Publication date: 1 December 2021
Full work available at URL: https://doi.org/10.1007/978-3-030-75775-5_22
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Temporal logic programming
- Local closed world reasoning with description logics under the well-founded semantics
- MOLOG: A system that extends PROLOG with modal logic
- LARS: a logic-based framework for analytic reasoning over streams
- Reactive multi-context systems: heterogeneous reasoning in dynamic environments
- On the equivalence between logic programming semantics and argumentation semantics
- Neighborhood semantics for modal logic
- Normative Systems Represented as Hybrid Knowledge Bases
- Reconciling description logics and rules
- C-SPARQL: A CONTINUOUS QUERY LANGUAGE FOR RDF DATA STREAMS
- Towards a unified theory of intensional logic programming
- The well-founded semantics for general logic programs
- Querying Log Data with Metric Temporal Logic
- Non-monotonic spatial reasoning with answer set programming modulo theories
- dl2asp: Implementing Default Logic via Answer Set Programming
- Towards Metric Temporal Answer Set Programming
- Structured argumentation with prioritized conditional obligations and permissions
- Answer Set Programming for Qualitative Spatio-temporal Reasoning: Methods and Experiments
- The Description Logic Handbook
This page was built for publication: Tractable reasoning using logic programs with intensional concepts
