Induction of the indirect effects of actions by monotonic methods

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

Volumn 3625, Issue , 2005, Pages 279-294

  Otero, Ramon P ^a  

^a UNIVERSITY OF A CORUÑA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER PROGRAMMING; COMPUTER SCIENCE; FORMAL LOGIC;

CAUSAL RAMIFICATION; MONOTONIC METHODS;

PROBLEM SOLVING;

EID: 26944451659     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11536314_17     Document Type: Conference Paper

References (8)

1. Otero, R.: Induction of the effects of actions by monotonic methods. In: Proc. of the 13th Int. Conference on Inductive Logic Programming, ILP 03, LNAI 2835. (2003) 299-310
2. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In Kowalski, R., Bowen, K., eds.: Logic Programming: Proc. of the Fifth Int'l Conf. and Symp. (1988) 1070-1080
3. Lifschitz, V.: Action languages, answers sets and planning. Artificial Intelligence 13 (1995) 245-286
4. Lin, F.: Embracing causality in specifying the indirect effects of actions. In: Proc. of the 14th International Joint Conference on Artificial Intelligence, IJCAI'95. (1995) 1985-1991
5. Otero, R.P.: Pertinence logic for reasoning about actions and change. Technical Report TR-AI-97-03, AILab, University of Corunna, Galicia, Spain (1997)
6. Otero, R.: Induction of stable models. In: Proc. of the 11th Int. Conference on Inductive Logic Programming, ILP 01, LNAI 2157. (2001) 193-205
7. Muggleton, S., Feng, C.: Efficient induction of logic programs. Inductive Logic Programming (1992)
8. Kietz, J.: Some lower bounds on the computational complexity of inductive logic programming. In: Proc. of the 6th European Conference on Machine Learning, ECML 93, LNAI 667. (1993) 115-123