Default Negation as Explicit Negation plus Update

DOI10.21146/2074-1472-2021-27-1-64-81OpenAlexW3197254143MaRDI QIDQ5059691

Reinhard Kahle

Publication date: 16 January 2023

Published in: Logical Investigations (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.21146/2074-1472-2021-27-1-64-81

zbMATH Keywords

explicit negationdefault negationlogic programming update

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Equilibrium logic
• A logic for default reasoning
• General logical databases and programs: Default logic semantics and stratification
• Determining inference semantics for disjunctive logic programs
• The rise and fall of semantic rule updates based onSE-models
• On Semantic Update Operators for Answer-Set Programs
• Negation as failure in the head
• The well-founded semantics for general logic programs
• Update by means of inference rules
• On properties of update sequences based on causal rejection
• Dynamic updates of non-monotonic knowledge bases
• Strong equivalence made easy: nested expressions and weight constraints
• Logic Programming and Nonmonotonic Reasoning
• Strongly equivalent logic programs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Default Negation as Explicit Negation plus Update