Connections between default reasoning and partial constraint satisfaction

DOI10.1016/S0020-0255(99)00006-7zbMath0943.68160WikidataQ58198164 ScholiaQ58198164MaRDI QIDQ1961815

Yanyan Li

Publication date: 30 January 2000

Published in: Information Sciences (Search for Journal in Brave)

zbMATH Keywords

default reasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37) Logic in computer science (03B70) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A logical framework for default reasoning
• A logic for default reasoning
• The logic of constraint satisfaction
• Consistency in networks of relations
• Alternative approaches to default logic
• Propositional semantics for disjunctive logic programs

This page was built for publication: Connections between default reasoning and partial constraint satisfaction