1331 search results - page 156 / 267 » Description logic reasoning using the PTTP approach |
165
click to vote
DLOG
2003
15 years 7 months ago
2003
Matching problems in Description Logics are theoretically well understood, with a variety of algorithms available for different DLs. Nevertheless, still no implementation of a ge...
195
click to vote
ADBIS
2006
Springer
15 years 10 months ago
2006
Springer
Among the most important expected benefits of a global service oriented architecture leveraging web service standards is an increased level of automation in the discovery, composit...
167
click to vote
EXACT
2007
15 years 8 months ago
2007
This study describes a discourse approach to explanation aware knowledge representation. It presents a reasoning model that adheres to argumentation as found in written discourse,...
163
click to vote
ECAI
1990
Springer
15 years 10 months ago
1990
Springer
Modal logics based on Kripke style semantics are the prominent formalismin AI for modeling beliefs. Kripke semantics involve a collection of possible worlds and a relation among t...
168
click to vote
ICALP
2000
Springer
15 years 10 months ago
2000
Springer
We show the decidability of model checking PA-processes against several first-order logics based upon the reachability predicate. The main tool for this result is the recognizabil...