Genes and Ants for Default Logic

Default Logic and Logic Programming with stable model semantics are recognized as powerful frameworks for incomplete information representation. Their expressive power are suitable for non monotonic reasoning, but the counterpart is their very high level of theoretical complexity. The purpose of this paper is to show how heuristics issued from combinatorial optimization and operation research can be used to built non monotonic reasonning systems.

• Type: Conference
• Year: 2001
• Where: ASP
• Authors: Pascal Nicolas, Frédéric Saubion, Igor Stéphan
• Keywords: ASP 2001, Automated Reasoning, Incomplete Information Representation, Non Monotonic Reasoning, Stable Model Semantics