Proceedings:
Answer Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning
Volume
Issue:
Papers from the 2001 AAAI Spring Symposium
Track:
Contents
Downloads:
Abstract:
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.
Spring
Papers from the 2001 AAAI Spring Symposium