Logic programs with functions and default values

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 3229, Issue , 2004, Pages 294-306

  Cabalar, Pedro ^a   Lorenzo, David ^a  

^a UNIVERSITY OF A CORUÑA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN ALGEBRA; FUNCTIONS; KNOWLEDGE ENGINEERING; MATHEMATICAL MODELS; MATHEMATICAL OPERATORS; SET THEORY; ARTIFICIAL INTELLIGENCE; FUNCTIONAL PROGRAMMING; KNOWLEDGE REPRESENTATION; SEMANTICS;

DEFAULT VALUES; FUNCTIONAL LOGIC PROGRAMMING; LOGIC PROGRAMS; NONMONOTONIC REASONING;

LOGIC PROGRAMMING;

AXIOMATIZATION; COMPACT REPRESENTATION; DEFAULT VALUES; FUNCTIONAL DEPENDENCE; FUNCTIONAL LOGIC PROGRAMMING; LOGIC PROGRAMS; NON-MONOTONIC REASONING; WELL FOUNDED SEMANTICS;

EID: 22944434582     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-30227-8_26     Document Type: Conference Paper

References (11)

1. K. L. Clark. Negation as failure. In H. Gallaire and J. Minker, editors, Logic and Databases, pages 241-327. Plenum, 1978.
2. H. Geffner. Functional STRIPS: a more flexible language for planning and problem solving. In Logic-Based Artificial Intelligence. Kluwer, 2000.
3. M. Gelfond and V. Lifschitz. The stable models semantics for logic programming. In Proc. of the 5th Intl. Conf. on Logic Programming, pages 1070-1080, 1988.
4. E. Giunchiglia, J. Lee, V. Lifschitz, N. McCain, and H. Turner. Nonmonotonic causal theories. Artificial Intelligence Journal, 153:49-104, 2004.
5. M. Hanus. The integration of functions into logic programming: from theory to practice. Journal of Logic Programming, 19, 20:583-628, 1994.
6. N. McCain and H. Turner. Causal theories of action and change. In Proc. of the AAAI-97, pages 460-465, 1997.
7. J. J. Moreno-Navarro. Extending constructive negation for partial functions in lazy functional-logic languages. In Extensions of Logic Programming, pages 213-227, 1996.
8. L. M. Pereira and J. J. Alferes. Well founded semantics for logic programs with explicit negation. In Proceedings of ECAI'92, pages 102-106, Montreal, Canada, 1992. John Wiley & Sons.
9. J. R. Slagle. Automated theorem-proving for theories with simplifiers, commutativity and associativity. Journal of the ACM, 21(4):622-642, 1974.
10. M. H. van Emden and R. A. Kowalski. The semantics of predicate logic as a programming language. Journal of the ACM, 23:733-742, 1976.
11. A. van Gelder, K. A. Ross, and J. S. Schlipf. The well-founded semantics for general logic programs. Journal of the ACM, 38(3):620-650, 1991.