Genes and Ants for Default Logic

13 years 7 months ago
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.
Pascal Nicolas, Frédéric Saubion, Ig
Added 28 Jul 2010
Updated 28 Jul 2010
Type Conference
Year 2001
Where ASP
Authors Pascal Nicolas, Frédéric Saubion, Igor Stéphan
Comments (0)