Searching for "Autoepistemic Description Logics." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

11 documents found, showing 1 through 10. Next 10 →

Autoepistemic Description Logics
by Francesco M. Donini, Daniele Nardi, Riccardo Rosati — 1997 — In Proc. of IJCAI-97
…Autoepistemic Description Logics Francesco M. Donini and Daniele Nardi and Riccardo Rosati…
Cited by 16 (10 self) – Add To MetaCart

Closed world reasoning in the semantic web through epistemic operators
by Stephan Grimm, Boris Motik — 2005 — OWL: Experiences and Directions
…. Autoepistemic description logics allow to realise closed world reasoning in open world settings through…
Cited by 4 (0 self) – Add To MetaCart

Probabilistic Conditional Planning: Epistemic . . .
by Abtg Wissensbasierte Systeme, Daniele Nardi, Thomas Lukasiewicz, Luca Iocchi, Luca Iocchi, Riccardo Rosati, Riccardo Rosati — 2003
… team, is based on autoepistemic description logics. In this paper, we present a probabilistic…
Add To MetaCart

Planning with sensing, concurrency, and exogenous events: logical Illnesses K-Planner PKS (Petrick
by Luca Iocchi, Daniele Nardi, Riccardo Rosati — 2000 — 10 6 2 - 300 8 4 - 11500 10 8 - ? 20 65 80 ? 50 620 1610 ? 100 4620 20390 ? framework and implementation. In Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR’2000
… to the nonmonotonic modal logic MKNF [Lifschitz,1994], and give rise to the so-called autoepistemic description logic…
Cited by 23 (15 self) – Add To MetaCart

Characterizing and Detecting Integrity Issues in OWL Instance Data
by Jiao Tao, Li Ding, Jie Bao, Deborah L. Mcguinness
… integrity issues. Key words: Instance Data, Evaluation, Autoepistemic Description Logics, OWL, SPARQL 1…
Add To MetaCart

C.: Matching Semantic Service Descriptions with Local ClosedWorld Reasoning
by Stephan Grimm, Boris Motik, Chris Preist — The Semantic Web: Research and Applications, 3rd European Seman- tic Web Conference, ESWC 2006, Budva
… and their Autoepistemic Extension In this section we describe an autoepistemic extension to the description logic (DL…
Cited by 4 (1 self) – Add To MetaCart

Semantic Matchmaking of Resources with Local Closed-World Reasoning
by Stephan Grimm, Pascal Hitzler
… autoepistemic description logics and description logics with circumscription. In Section 3 we will show how…
Add To MetaCart

XICiclo{1999{3
by Author's Address Iocchi
…Architecture...............................36 35 6TheReasoningSystem 6.1AutoepistemicDescriptionLogics.............................40 5…
Add To MetaCart

Description Logic-based Framework for Planning with Sensing Actions
by Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati
… logic MKNF [11], and give rise to the so-called Autoepistemic Description Logic ALCKNF [5]. We do…
Add To MetaCart

Planning With Sensing for a Mobile Robot
by Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati — 1997 — IN PROCEEDINGS OF THE FOURTH EUROPEAN CONFERENCE ON PLANNING (ECP-97
… rise to the so-called autoepistemic description logic ALCKNF [5]. We do not have the space here…
Cited by 31 (14 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB