Integrating description logics and action formalisms: First results

Integrating description logics and action formalisms: First results (2005)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Franz Baader , Carsten Lutz , Ulrike Sattler , Frank Wolter

Venue:	In Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI-05
Citations:	61 - 16 self

BibTeX

@INPROCEEDINGS{Baader05integratingdescription,
    author = {Franz Baader and Carsten Lutz and Ulrike Sattler and Frank Wolter},
    title = {Integrating description logics and action formalisms: First results},
    booktitle = {In Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI-05},
    year = {2005},
    pages = {572--577}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

519	The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression - Reiter - 1991
460	McIlraith.S.2003,Bringing Semantics to Web Services - Martin
452	GOLOG: a logic programming language for dynamic domains - Levesque, Pirri, et al. - 1997
395	From SHIQ and RDF to OWL: the making of a web ontology language - Halo, PF, et al. - 2003
252	Adapting Golog for composition of semantic Web Services - McIlraith, Son - 2002
239	Reasoning about actions using a possible models approach - Winslett - 1988
229	Using an expressive description logic: FaCT or fiction - Horrocks - 1998
216	State constraints revisited - Lin, Reiter - 1994
200	P.F: Oil: an ontology infrastructure for the semantic web - Fensel, Harmelen, et al. - 2001
166	Embracing causality in specifying the indirect effects of actions - Lin - 1985
164	The computational complexity of provability in systems of modal propositional logic - Ladner - 1977
157	On the complexity of propositional knowledge base revision, updates, and counterfactuals - Eiter, Gottlob - 1992
156	Solving the Frame Problem - Shanahan - 1997
145	SHOP2: An HTN Planning System - Nau, Au, et al. - 2003
140	Features and Fluents - Sandewall - 1994
137	Ramification and causality - Thielscher - 1997
136	Terminological reasoning is inherently intractable - Nebel - 1990
130	On the relative expressiveness of description logics and predicate logics - Borgida - 1996
123	S.: Reasoning with individuals for the description logic SHIQ - Horrocks, Sattler, et al. - 2000
115	Complexity results and practical algorithms for logics in knowledge representation - TOBIES
107	Description logics as ontology languages for the semantic web - Baader, Horrocks, et al. - 2005
101	Updating Logical Databases - Winslett, Winslett - 1990
96	HTN planning for web services composition using shop2 - Sirin, Parsia, et al.
93	Frames in the Space of Situations - Lifschitz - 1990
93	Terminological cycles: Semantics and computational properties. In: Principles of Semantic Networks - Nebel - 1991
84	A road-map on complexity for hybrid logics - Areces, Blackburn, et al. - 1999
81	Some contributions to the metatheory of the situation calculus - Pirri, Reiter - 1999
76	High performance reasoning with very large knowledge bases - Haarslev, Möller
73	Knowledge in Action - Reiter - 2001
68	1998]. Foundations for the situation calculus - Levesque, Pirri, et al.
45	The complexity of reasoning with cardinality restrictions and nominals in expressive description logics - Tobies - 2000
44	Embracing causality in specifying the indeterminate effects of actions, in - Lin - 1996
37	Introduction to the Fluent Calculus - Thielscher - 1998
27	The generation of DAML+OIL - Horrocks, Patel-Schneider - 2001
24	2000, ‘Complexity Results for FirstOrder Two-Variable Logic with Counting - Pacholski, Szwast, et al.
23	A closed-form solution to the ramification problem (sometimes - McIlraith - 1997
20	The PMA revisited - Herzig - 1996
17	D.: Semantic Web Services. description requirements and current technologies - Lara, Lausen, et al. - 2003
7	Nondeterministic actions in the fluent calculus: Disjunctive state update axioms, in - Thielscher
7	Epistemic aspects of databases - Winslett - 1995
2	How to do things with worlds - Brewka, Hertzberg - 1993
2	Counting quantifiers and the stellar fragment. Available at The Mathematics Preprint Server, www.mathpreprints.com - Pratt-Hartmann - 2003