Fixed point semantics for stream reasoning

DOI10.1016/j.artint.2020.103370zbMath1504.68207arXiv2005.08384OpenAlexW3060530182MaRDI QIDQ2046012

Christian Antić

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

zbMATH Keywords

answer set programmingdynamic datastream reasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Semantics in the theory of computing (68Q55) Logic programming (68N17)

Uses Software

• LARS

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