Induction of the effects of actions by monotonic methods

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

Volumn 2835, Issue , 2003, Pages 299-310

  Otero, Ramon P ^a  

^a UNIVERSITY OF A CORUÑA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; LARGE SCALE SYSTEMS; LEARNING SYSTEMS; MATHEMATICAL OPERATORS; PROBLEM SOLVING; SET THEORY; COMPUTER CIRCUITS; DYNAMICAL SYSTEMS; RECONFIGURABLE HARDWARE;

INDUCTIVE LOGIC PROGRAMMING; LITERALS; MONOTONIC INDUCTION METHOD; ACTION DESCRIPTIONS; FRAME PROBLEMS; INDUCTION METHOD; MONOTONIC METHODS; NONMONOTONIC;

LOGIC PROGRAMMING; INDUCTIVE LOGIC PROGRAMMING (ILP);

EID: 9444295410     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-39917-9_20     Document Type: Conference Paper

References (7)

1. Otero, R.: Induction of stable models. In: Proc. of the 11th Int. Conference on Inductive Logic Programming, ILP 01, LNAI 2157. (2001) 193-205
2. Muggleton, S., Feng, C.: Efficient induction of logic programs. Inductive Logic Programming (1992)
3. 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
4. Moyle, S., Muggleton, S.: Learning programs in the event calculus. In: Proc. of the 7th Int. Workshop on Inductive Logic Programming, ILP 97, LNAI 1297. (1997) 205-212
5. Moyle, S.: Using theory completion to learn a robot navigation control program. In: Proc. of the 12th Int. Conf. on Inductive Logic Programming, ILP 02, LNAI 2583. (2003) 182-197
6. Sakama, C.: Inverse entailment in nonmonotonic logic programs. In: Proc. of the 10th Int. Conf. on Inductive Logic Programming, ILP 00, LNAI 1866. (2000) 209-224
7. Lorenzo, D., Otero, R.: Learning to reason about actions. In: Proc. of the 14th European Conference on Artificial Intelligence, ECAI 00. (2000) 316-320