Switch to: References

Add citations

You must login to add citations.
  1. Embedding justification theory in approximation fixpoint theory.Simon Marynissen, Bart Bogaerts & Marc Denecker - 2024 - Artificial Intelligence 331 (C):104112.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming.Jesse Heyninck, Ofer Arieli & Bart Bogaerts - 2024 - Artificial Intelligence 331 (C):104110.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory.Hannes Strass & Johannes Peter Wallner - 2015 - Artificial Intelligence 226 (C):34-74.
  • Approximating operators and semantics for abstract dialectical frameworks.Hannes Strass - 2013 - Artificial Intelligence 205 (C):39-70.
  • The Place of Logic in Reasoning.Daniel Kayser - 2010 - Logica Universalis 4 (2):225-239.
    Reasoning is a goal-oriented activity. The logical steps are at best the median part of a full reasoning: before them, a language has to be defined, and a model of the goal in this language has to be developed; after them, their result has to be checked in the real world with respect to the goal. Both the prior and the subsequent steps can be conducted rationally; none of them has a logical counterpart. Furthermore, Logic aims at prescribing what a (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Introduction: Progress in formal commonsense reasoning.Ernest Davis & Leora Morgenstern - 2004 - Artificial Intelligence 153 (1-2):1-12.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Safe inductions and their applications in knowledge representation.Bart Bogaerts, Joost Vennekens & Marc Denecker - 2018 - Artificial Intelligence 259 (C):167-185.
  • Fixpoint semantics for active integrity constraints.Bart Bogaerts & Luís Cruz-Filipe - 2018 - Artificial Intelligence 255 (C):43-70.
  • Grounded fixpoints and their applications in knowledge representation.Bart Bogaerts, Joost Vennekens & Marc Denecker - 2015 - Artificial Intelligence 224 (C):51-71.
  • Fixed point semantics for stream reasoning.Christian Antić - 2020 - Artificial Intelligence 288 (C):103370.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation