Fixed point semantics for stream reasoning
From MaRDI portal
Publication:2046012
DOI10.1016/j.artint.2020.103370zbMath1504.68207arXiv2005.08384OpenAlexW3060530182MaRDI QIDQ2046012
Publication date: 16 August 2021
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2005.08384
Logic in artificial intelligence (68T27) Semantics in the theory of computing (68Q55) Logic programming (68N17)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Semantics and complexity of recursive aggregates in answer set programming
- Ultimate approximation and its application in nonmonotonic knowledge representation systems
- Answer set programming based on propositional satisfiability
- Grounded fixpoints and their applications in knowledge representation
- Answer set programming and plan generation
- Extending and implementing the stable model semantics
- Fixpoint semantics for logic programming a survey
- LARS: a logic-based framework for analytic reasoning over streams
- Conflict-driven answer set solving: from theory to practice
- Uniform semantic treatment of default and autoepistemic logics
- Combining answer set programming with description logics for the semantic web
- FLP answer set semantics without circular justifications for general logic programs
- Strong and uniform equivalence of nonmonotonic theories -- an algebraic approach
- Hex Semantics via Approximation Fixpoint Theory
- Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs
- Answer Set Programming: A Primer
- The Semantics of Predicate Logic as a Programming Language
- The well-founded semantics for general logic programs
- Knowledge Representation, Reasoning and Declarative Problem Solving
- The DLV system for knowledge representation and reasoning
- Logics in Artificial Intelligence