scientific article; zbMATH DE number 7453127

MaRDI QIDQ5020574zbMATH OpenFDO

Authors José Luis Vilchis Medina, Pierre Siegel, Vincent Risch, Andrei Doncescu

Publication date 6 January 2022

Full work available at URL https://arxiv.org/abs/1907.13305, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICLP2019.37

Mathematics Subject Classification ID

Logic programming (68N17)

Cites work

• A logic for default reasoning
• Circumscription - a form of non-monotonic reasoning
• Declarative Logic Programming: Theory, Systems, and Applications
• Expressing Default Logic Variants in Default Logic
• On the relation between default and autoepistemic logic
• On the relation between Reiter's default logic and its (major) variants
• Reasoning under incomplete information in artificial intelligence: A comparison of formalisms using a single example

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5020574)