Learning action descriptions with A-Prolog: Action language C

AAAI Spring Symposium - Technical Report

Volumn SS-07-05, Issue , 2007, Pages 13-18

  Balduccini, Marcello ^a  

^a Texas Tech University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; KNOWLEDGE ACQUISITION; KNOWLEDGE BASED SYSTEMS; LEARNING SYSTEMS;

KNOWLEDGE BASES; NON-MONOTONIC INDUCTIVE LEARNING;

COMPUTER PROGRAMMING LANGUAGES;

EID: 37349080465     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. Balduccini, M., and Gelfond, M. 2003a. Diagnostic reasoning with A-Prolog. Journal of Theory and Practice of Logic Programming (TPLP) 3(4-5):425-461.
2. Balduccini, M., and Gelfond, M. 2003b. Logic Programs with Consistency-Restoring Rules. In Doherty, P.; Mc
3. Carthy, J.; and Williams, M.-A., eds., International Symposium on Logical Formalization of Commonsense Reasoning, AAAI 2003 Spring Symposium Series, 9-18.
4. Gelfond, M., and Lifschitz, V. 1988. The stable model semantics for logic programming. In Proceedings of ICLP-88, 1070-1080.
5. Gelfond, M., and Lifschitz, V. 1991. Classical negation in logic programs and disjunctive databases. New Generation Computing 365-385.
6. Gelfond, M. 2002. Representing Knowledge in A-Prolog. In Kakas, A. C., and Sadri, F., eds., Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II, volume 2408, 413-451. Springer Verlag, Berlin.
7. Giunchiglia, E., and Lifschitz, V. 1998. An Action Language Based on Causal Explanation: Preliminary Report. In Proceedings of the 15th National Conference of Artificial Intelligence (AAAI'98).
8. Lierler, Y., and Maratea, M. 2004. Cmodels-2: SAT-based Answer Sets Solver Enhanced to Non-tight Programs. In Proceedings of LPNMR-7.
9. Lifschitz, V., and Turner, H. 1999. Representing transition systems by logic programs. In Proceedings of the 5th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR-99), number 1730 in Lecture Notes in Artificial Intelligence (LNCS), 92-106. Springer Verlag, Berlin.
10. Niemela, I., and Simons, P. 2000. Extending the Smodels System with Cardinality and Weight Constraints. Logic-Based Artificial Intelligence. Kluwer Academic Publishers. 491-521.
11. Otero, R., and Varela, M. 2006. Iaction, a System for Learning Action Descriptions for Planning. In Proceedings of the I6th International Conference on Inductive Logic Programming, ILP 06.
12. Otero, R. 2001. Induction of Stable Models. In Proceedings of 11th Int. Conference on Inductive Logic Programming, ILP-01, number 2157 in Lecture Notes in Artificial Intelligence (LNCS), 193-205.
13. Otero, R. 2003. Induction of the effects of actions by monotonie methods. In Proceedings of the 13th International Conference on Inductive Logic Programming, ILP 03, number 2835 in Lecture Notes in Artificial Intelligence (LNCS), 299-310.
14. Otero, R. 2005. Induction of the indirect effects of actions by monotonie methods. In Proceedings of the 15th International Conference on Inductive Logic Programming, ILP 05, number 3625 in Lecture Notes in Artificial Intelligence (LNCS), 279-294.
15. Sakama, C. 2001. Nonmonotonic inductive logic programming. In Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning, 62-80.
16. Sakama, C. 2005. Induction from answer sets in non-monotonic logic programs. ACM Transactions on Computational Logic 6(2):203-231.