Forgetting actions in domain descriptions

Proceedings of the National Conference on Artificial Intelligence

Volumn 1, Issue , 2007, Pages 409-414

  Erdem, Esra ^a   Ferraris, Paolo ^b  

^a SABANCI UNIVERSITY   (Turkey)

^b University of Texas at Austin   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; LOGIC PROGRAMMING; PROBLEM SOLVING;

DOMAIN DESCRIPTIONS; QUERY ANSWERING;

QUERY PROCESSING;

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

References (19)

1. Agarwal, V.; Chafle, G.; Dasgupta, K.; Karnik, N,; Kumar, A.; Mittal, S.; and Srivastava, B. 2005. Synthy: A system for end to end composition of web services. Journal of Web Semantics 3(4).
2. Büttner, M., and Rintanen, J. 2005. Improving parallel planning with constraints on the number of operators. In Proc. of ICAPS, 292-299,
3. Eiter, T., and Wang, K. 2006. Forgetting and conflict resolving in disjunctive logic programming, In Proc. of AAAI.
4. Eiter, T.; Erdem, E.; Fink, M.; and Senko, J. 2005. Updating action domain descriptions. In Proc. of IJCAI.
5. Erdoǧan, S., and Lifschitz, V. 2006. Actions as special cases. In Proc. of KR.
6. Ferraris, P., and Giunchiglia, E. 2000. Planning as satisfiability in nondeterministic domains. In Proc. of AAAI.
7. Gelfond, M., and Lifschitz, V. 1998. Action languages. Electronic Transactions on AI 3:195-210.
8. Giunchiglia, E., and Lifschitz, V. 1998. An action language based on causal explanation: Preliminary report. In Proc. of AAAI, 623-630.
9. Giunchiglia, E.; Lee, J.; Lifschitz, V.; McCain, N.; and Turner, H. 2004. Nonmonotonic causal theories. AIJ 153:49-104.
10. Hanks, S., and McDermott, D. 1987. Nonmonotonic logic and temporal projection. AIJ 33(3):379-412.
11. Lang, J., and Marquis, P. 2002. Resolving inconsistensies by variable forgetting. In Proc. of KR, 239-250.
12. Lang, J.; Liberatore, P.; and Marquis, P. 2003. Propositional independence: Formula-variable independence and forgetting. JAlR 18:391-443.
13. Lifschitz, V., and Ren, W. 2004, Irrelevant actions in plan generation (extended abstract). In Proc. of the Ninth Ibero-American Workshops on Al, 71-78.
14. Lifschitz, V., and Turner, H. 1999. Representing transition systems by logic programs. In Proc. of LPNMR, 92-106.
15. Lin, F., and Reiter, R. 1994. Forget it! In Working Notes of the AAAI Fall Symposium on Relevance.
16. McIlraith, S., and Fadel, R. 2002. Planning with complex actions. In Proc. of NMR, 356-364.
17. Nebel, B.; Dimopoulos, Y.; and Koehler, J. 1997. Ignoring irrelevant facts and operators in plan generation. In Proc. of ECP, 338-350.
18. Turner, H. 2004. Strong equivalence for causal theories. In Proc. of LPNMR, 289-301.
19. Wang, K.; Sattar, A.; and Su, K. 2005. A theory of forgetting in logic programming. In Proc. of AAAI, 682-687.