Disjunctive logic and semantics of disjunctive logic programs

DOI10.1007/BF02916589zbMath0888.68033MaRDI QIDQ1368240

Yi-Dong Shen

Publication date: 11 June 1998

Published in: Science in China. Series E (Search for Journal in Brave)

zbMATH Keywords

knowledge basescommon sense reasoning

Mathematics Subject Classification ID

Database theory (68P15) Logic programming (68N17)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A logic for default reasoning
• Three-valued nonmonotonic formalisms and semantics of logic programs
• Nonmonotonicity and the scope of reasoning
• Generalized disjunctive well-founded semantics for logic programs.
• Efficient top-down computation of queries under the well-founded semantics
• The well-founded semantics for general logic programs
• Logic programming and knowledge representation

This page was built for publication: Disjunctive logic and semantics of disjunctive logic programs