Updating Description Logic ABoxes
暂无分享,去创建一个
Carsten Lutz | Frank Wolter | Maja Milicic Brandt | Hongkai Liu | C. Lutz | F. Wolter | M. M. Brandt | Hongkai Liu
[1] M. de Rijke,et al. From Description to Hybrid Logics, and Back , 2000, Advances in Modal Logic.
[2] Diego Calvanese,et al. The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.
[3] Kenneth D. Forbus. Introducing Actions into Qualitative Simulation , 1989, IJCAI.
[4] Ulrike Sattler,et al. Modal Logic and the Two-Variable Fragment , 2001, CSL.
[5] Fangzhen Lin,et al. Embracing Causality in Specifying the Indeterminate Effects of Actions , 1996, AAAI/IAAI, Vol. 1.
[6] M. de Rijke,et al. Expressiveness of Concept Expressions in First-Order Description Logics , 1999, Artif. Intell..
[7] Leszek Pacholski,et al. Complexity Results for First-Order Two-Variable Logic with Counting , 2000, SIAM J. Comput..
[8] Tonya Lewis,et al. Knowledge in Action , 1977 .
[9] Ian Pratt-Hartmann. Complexity of the Two-Variable Fragment with Counting Quantifiers , 2005, J. Log. Lang. Inf..
[10] Michael Thielscher,et al. Nondeterministic Actions in the Fluent Calculus: Disjunctive State Update Axioms , 2000, Intellectics and Computational Logic.
[11] M. Shanahan. Solving the frame problem , 1997 .
[12] Alex Borgiday. On the Relative Expressiveness of Description Logics and Predicate Logics , 1996 .
[13] Maarten Marx,et al. Handling Boolean ABoxes , 2003 .
[14] Franz Baader,et al. Integrating Description Logics and Action Formalisms: First Results , 2005, Description Logics.
[15] Andreas Herzig,et al. The PMA Revisited , 1996, KR.
[16] Gabriel M. Kuper,et al. Updating Logical Databases , 1986, Adv. Comput. Res..
[17] Michael Thielscher,et al. Representing the Knowledge of a Robot , 2000, KR.
[18] Hector J. Levesque,et al. Knowledge, action, and the frame problem , 2003, Artif. Intell..
[19] Francesco M. Donini,et al. The size of a revised knowledge base , 1995, PODS '95.
[20] Norman Y. Foo,et al. Updating Knowledge Bases with Disjunctive Information , 1996, AAAI/IAAI, Vol. 1.
[21] John G. Gibbons. Knowledge in Action , 2001 .