Expressing preferences in default logic

DOI10.1016/S0004-3702(00)00049-7zbMath0952.68134MaRDI QIDQ1589465

James P. Delgrande, Torsten Schaub

Publication date: 12 December 2000

Published in: Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

knowledge representationdefault logicnonmonotonic reasoningpreference handling

Mathematics Subject Classification ID

Knowledge representation (68T30)

Related Items (9)

Nonmonotonic reasoning, expectations orderings, and conceptual spaces ⋮ Only knowing with degrees of confidence ⋮ Algorithms for Solving Satisfiability Problems with Qualitative Preferences ⋮ Preferences in artificial intelligence ⋮ Defaults with priorities ⋮ Weakest link in formal argumentation: lookahead and principle-based analysis ⋮ A Non-monotonic Goal Specification Language for Planning with Preferences ⋮ Reasoning credulously and skeptically within a single extension ⋮ Expressing preferences in default logic

Uses Software

• Smodels

Cites Work

• Conditional entailment: bridging two approaches to default reasoning.
• Closed-world databases and circumscription
• A logical framework for default reasoning
• A logic for default reasoning
• Impediments to universal preference-based default theories
• Preferred answer sets for extended logic programs
• Default theories that always have extensions
• Expressing preferences in default logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Expressing preferences in default logic