SearchSkip to Search Results
- 6Logic programming
- 2Prolog (Computer program language)
- 1Autoepistemic logic
- 1Computer programming
- 1Concurrent Prolog (Computer program language)
- 1Constraint programming (Computer science)
Technical report TR93-17. We study the expressive power of first order autoepistemic logic. We argue that full introspection of rational agents should be carried out by minimizing positive introspection and maximizing negative introspection. Based on full introspection, we propose the...
Answer set programming (ASP), namely logic programming under the answer set semantics, provides a promising constraint programming paradigm, due to its simple syntax, high expressiveness, and effective computational properties. This programming paradigm can be viewed as a variant of SAT. A main...