An Ontological Formulation and an OPM Profile for Causality in Planning Applications

1. Fikes, R., Nilsson, N.: STRIPS: a new approach to the application of theorem proving to problem solving. Artificial Intelligence 2, 189–208 (1971)

   Article  MATH  Google Scholar 

2. Gerevini, A., Long, D.: Plan Constraints and Preferences in PDDL3. Technical report, R.T. 2005-08-47, Dipartimento di Elettronica per l’Automazione, Universitá degli Studi di Brescia (2005)

   Google Scholar 

3. Moreau, L., Clifford, B., Freire, J., Futrelle, J., Gil, Y., Groth, P., Kwasnikowska, N., Miles, S., Missier, P., Myers, J., Plale, B., Simmhan, Y., Stephan, E., den Bussche, J.V.: The Open Provenance Model core specification (v1.1). Future Generation Computer Systems (2010)

   Google Scholar 

4. Zhao, J.: Open Provenance Model Vocabulary Specification (2010), http://purl.org/net/opmv/ns

5. Hitzler, P., Kroetzsch, M., Parsia, B., Patel-Schneider, P.F., Rudolph, S.: OWL 2 Web Ontology Language Primer. W3C Recommendation (October 27, 2009), http://www.w3.org/TR/owl2-primer/

6. Russel, S., Norvig, P.: Artificial Intelligence: A Modern Approach. Pearson Education Inc. (2003)

   Google Scholar 

7. Cesta, A., Fratini, S.: The timeline representation framework as a planning and scheduling software development environment. In: 27th Workshop of the UK Planning and Scheduling SIG (2008)

   Google Scholar 

8. Cesta, A., Cortellessa, G., Fratini, S., Oddi, A.: Developing an end-to-end planning application from a timeline representation framework. In: 21st Applications of Artificial Intelligence Conference (2009)

   Google Scholar 

9. Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832–843 (1983)

   Article  MATH  Google Scholar 

10. Harris, S., Seaborne, A.: SPARQL 1.1 Query Language. W3C Working Draft (2011), http://www.w3.org/TR/sparql11-query/

11. Knublauch, H.: SPIN Modeling Vocabulary (October 20, 2009), http://spinrdf.org/spin.html

12. Mccluskey, T.L., Porteous, J.: Engineering and Compiling Planning Domain Models to Promote Validity and Efficiency. Artificial Intelligence 95, 1–65 (2000)

    Article  Google Scholar 

13. Aldrich, C.: Simulations and the Future of Learning: An Innovative (and Perhaps Revolutionary) Approach to e-Learning. Pfeiffer (2003)

    Google Scholar 

14. Bernardi, G., Cesta, A., Coraci, L., Cortellessa, G., De Benedictis, R., Mohier, F., Polutnik, J., Vuk, M.: Only Hope remains in the PANDORA’s.jar – Pervasive use of planning in a training environment. In: 21st International Conference on Automated Planning and Scheduling, System Demonstrations and Exhibits, Best Demo Award (2011)

    Google Scholar 

15. Celino, I., Dell’Aglio, D.: A Linked Knowledge Base for Simulation Learning. In: Proceedings of the 1st International Workshop on eLearning Approaches for the Linked Data Age (Linked Learning 2011), co-located with the 8th Extended Semantic Web Conference, ESWC 2011 (2011)

    Google Scholar 

16. Mizoguchi, R., Vanwelkenhuysen, J., Ikeda, M.: Task Ontology for Reuse of Problem Solving Knowledge. In: Towards Very Large Knowledge Bases, pp. 46–57. IOS Press (1995)

    Google Scholar 

17. Gil, Y., Blythe, J.: Planet: A sharable and reusable ontology for representing plans. In: The AAAI - Workshop on Representational Issues for Real-World Planning Systems, pp. 28–33 (2000)

    Google Scholar 

18. Rajpathak, D., Motta, E.: An ontological formalization of the planning task. In: International Conference on Formal Ontology in Information Systems (FOIS 2004), pp. 305–316 (2004)

    Google Scholar 

19. Olivares, J.F., Onaindia, E. (eds.): Workshop on the Role of Ontologies in Planning and Scheduling, co-located with the 15th International Conference on Automated Planning and Scheduling, ICAPS 2005 (2005)

    Google Scholar 

20. Celino, I., Dell’Aglio, D., De Benedictis, R., Grilli, S., Cesta, A.: Ontologies, rules and linked data to support crisis managers training. IEEE Learning Technology Newsletter, Special Issue Semantic Web Technologies for Technology Enhanced Learning 13(1) (2011)

    Google Scholar 

21. Thiebaux, S., Hoffmann, J., Nebel, B.: In Defense of PDDL Axioms. In: Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence (IJCAI 2003), pp. 961–968 (2003)

    Google Scholar 

22. Della Valle, E., Ceri, S., van Harmelen, F., Fensel, D.: It’s a Streaming World! Reasoning upon Rapidly Changing Information. IEEE Intelligent Systems 24(6), 83–89 (2009)

    Article  Google Scholar 

23. Miles, S., Wong, S.C., Feng, W., Groth, P., Zauner, K.P., Moreau, L.: Provenance-based validation of e-science experiments. Journal of Web Semantics 5(1), 28–38 (2007)

    Article  Google Scholar 

Download references