Actions and Programs over Description Logic Ontologies
暂无分享,去创建一个
[1] Hector J. Levesque,et al. GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..
[2] Hector J. Levesque,et al. Foundations of a Functional Approach to Knowledge Representation , 1984, Artif. Intell..
[3] Frank S. de Boer,et al. Prototyping 3APL in the Maude Term Rewriting Language , 2006, CLIMA.
[4] Mikhail Soutchanski,et al. Decidable Reasoning in a Modified Situation Calculus , 2007, IJCAI.
[5] Diego Calvanese,et al. DL-Lite: Tractable Description Logics for Ontologies , 2005, AAAI.
[6] Diego Calvanese,et al. EQL-Lite: Effective First-Order Query Processing in Description Logics , 2007, IJCAI.
[7] Fahiem Bacchus,et al. Extending the Knowledge-Based Approach to Planning with Incomplete Information and Sensing , 2004, ICAPS.
[8] Alin Deutsch,et al. Verification of communicating data-driven web services , 2006, PODS '06.
[9] Alex M. Andrew,et al. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2002 .
[10] Raymond Reiter. What Should a Database Know? , 1992, J. Log. Program..
[11] John McCarthy,et al. SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .
[12] Hirofumi Katsuno,et al. On the Difference between Updating a Knowledge Base and Revising It , 1991, KR.
[13] John McCarthy,et al. Towards a Mathematical Science of Computation , 1962, IFIP Congress.
[14] Carsten Lutz,et al. Reasoning About Actions Using Description Logics with General TBoxes , 2006, JELIA.
[15] Gerhard Lakemeyer,et al. The logic of knowledge bases , 2000 .
[16] Giuseppe De Giacomo,et al. Minimal Knowledge Approach to Reasoning about Actions and Sensing , 1999, Electron. Trans. Artif. Intell..
[17] Amir Pnueli,et al. Model checking and abstraction to the aid of parameterized systems (a survey) , 2004, Comput. Lang. Syst. Struct..
[18] Deborah L. McGuinness,et al. Bringing Semantics to Web Services: The OWL-S Approach , 2004, SWSWPC.
[19] Hector J. Levesque,et al. On the Semantics of Deliberation in IndiGolog — from Theory to Implementation , 2002, Annals of Mathematics and Artificial Intelligence.
[20] Marianne Winslett,et al. Updating logical databases , 1990, Cambridge tracts in theoretical computer science.
[21] Marianne Winslett,et al. Reasoning about Action Using a Possible Models Approach , 1988, AAAI.
[22] Hector J. Levesque,et al. On the Limits of Planning over Belief States under Strict Uncertainty , 2006, KR.
[23] Diego Calvanese,et al. Data Complexity of Query Answering in Description Logics , 2006, Description Logics.
[24] Giuseppe De Giacomo,et al. Moving a Robot: The KR&R Approach at Work , 1996, KR.
[25] Maurizio Lenzerini,et al. On the Update of Description Logic Ontologies at the Instance Level , 2006, AAAI.
[26] Franz Baader,et al. Integrating Description Logics and Action Formalisms: First Results , 2005, Description Logics.
[27] Diego Calvanese,et al. Automatic Composition of Transition-based Semantic Web Services with Messaging , 2005, VLDB.
[28] Ian Horrocks,et al. From SHIQ and RDF to OWL: the making of a Web Ontology Language , 2003, J. Web Semant..
[29] Maurizio Lenzerini,et al. On the Approximation of Instance Level Update and Erasure in Description Logics , 2007, AAAI.
[30] Hector J. Levesque,et al. ConGolog, a concurrent programming language based on the situation calculus , 2000, Artif. Intell..
[31] Carsten Lutz,et al. Updating Description Logic ABoxes , 2006, KR.
[32] Gordon D. Plotkin,et al. A structural approach to operational semantics , 2004, J. Log. Algebraic Methods Program..
[33] Diego Calvanese,et al. The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.
[34] Giuseppe De Giacomo,et al. Execution Monitoring of High-Level Robot Programs , 1998, KR.