Learning Action Descriptions with A-Prolog: Action Language C
暂无分享,去创建一个
[1] Ramón P. Otero,et al. Induction of Stable Models , 2001, ILP.
[2] Enrico Giunchiglia,et al. An Action Language Based on Causal Explanation: Preliminary Report , 1998, AAAI/IAAI.
[3] Antonis C. Kakas,et al. Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski, Part I , 2002 .
[4] Ramón P. Otero,et al. Induction of the Indirect Effects of Actions by Monotonic Methods , 2005, ILP.
[5] I. Niemelä,et al. Extending the Smodels system with cardinality and weight constraints , 2001 .
[6] Michael Gelfond,et al. Classical negation in logic programs and disjunctive databases , 1991, New Generation Computing.
[7] Michael Gelfond,et al. Logic Programs with Consistency-Restoring Rules , 2003 .
[8] Michael Gelfond,et al. Diagnostic reasoning with A-Prolog , 2003, Theory Pract. Log. Program..
[9] Michael Gelfond,et al. Representing Knowledge in A-Prolog , 2002, Computational Logic: Logic Programming and Beyond.
[10] Ramón P. Otero,et al. Induction of the Effects of Actions by Monotonic Methods , 2003, ILP.
[11] Vladimir Lifschitz,et al. Representing Transition Systems by Logic Programs , 1999, LPNMR.
[12] Chiaki Sakama,et al. Nonmonotonic Inductive Logic Programming , 2001, LPNMR.
[13] Yuliya Lierler,et al. Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs , 2004, LPNMR.
[14] Chiaki Sakama,et al. Induction from answer sets in nonmonotonic logic programs , 2005, TOCL.