Logic Programs with Functions and Default Values-Reference-Cited by-同舟云学术

Logic Programs with Functions and Default Values

Published:2004 Issue: Volume: Page:294-306
ISSN:0302-9743
Container-title:Logics in Artificial Intelligence
language:
Short-container-title:

Author:

Cabalar Pedro,Lorenzo David

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-30227-8_26.pdf

Reference11 articles.

1. Clark, K.L.: Negation as failure. In: Gallaire, H., Minker, J. (eds.) Logic and Databases, pp. 241–327. Plenum, New York (1978)

2. Geffner, H.: Functional STRIPS: a more flexible language for planning and problem solving. In: Logic-Based Artificial Intelligence, Kluwer, Dordrecht (2000)

3. Gelfond, M., Lifschitz, V.: The stable models semantics for logic programming. In: Proc. of the 5th Intl. Conf. on Logic Programming, pp. 1070–1080 (1988)

4. Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artificial Intelligence Journal 153, 49–104 (2004)

5. Hanus, M.: The integration of functions into logic programming: from theory to practice. Journal of Logic Programming 19(20), 583–628 (1994)

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Free Logic for Stable Models with Partial Intensional Functions;Logics in Artificial Intelligence;2014

2. Functional answer set programming;Theory and Practice of Logic Programming;2011-02-04

3. Formalising the Fisherman's Folly puzzle;Artificial Intelligence;2011-01

4. Weight constraint programs with evaluable functions;Annals of Mathematics and Artificial Intelligence;2010-12

5. Partial Functions and Equality in Answer Set Programming;Logic Programming;2008