Reasoning with power defaults

DOI10.1016/J.TCS.2004.04.008zbMath1082.68109OpenAlexW2062057119MaRDI QIDQ1882904

Yanyan Li

Publication date: 1 October 2004

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2004.04.008

zbMATH Keywords

ComplexityNonmonotonic reasoningDefault logicDomain theoryPowerdomains

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Related Items (1)

Clausal logic and logic programming in algebraic domains

Cites Work

• A logic for default reasoning
• Nonmonotonic reasoning, preferential models and cumulative logics
• Domain theory in logical form
• A theory of nonmonotonic rule systems I
• Clausal logic and logic programming in algebraic domains
• The complexity of default reasoning under the stationary fixed point semantics
• The Boolean Hierarchy I: Structural Properties
• Complexity Results for Nonmonotonic Logics
• Information Flow
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Reasoning with power defaults