Sciweavers

108 search results - page 2 / 22
» Children's Application of Theory of Mind in Reasoning and La...
Sort
View
CADE
2002
Springer
14 years 5 months ago
Reasoning with Expressive Description Logics: Theory and Practice
Abstract. Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ...
Ian Horrocks
DLOG
2004
13 years 6 months ago
Pellet: An OWL DL Reasoner
Reasoning capability is of crucial importance to many applications developed for the Semantic Web. Description Logics provide sound and complete reasoning algorithms that can effe...
Evren Sirin, Bijan Parsia
RSCTC
2000
Springer
111views Fuzzy Logic» more  RSCTC 2000»
13 years 8 months ago
Toward a Perception-Based Theory of Probabilistic Reasoning
The perception-based theory of probabilistic reasoning which is outlined in this paper is not in the traditional spirit. Its principal aim is to lay the groundwork for a radical e...
Lotfi A. Zadeh
JUCS
2008
134views more  JUCS 2008»
13 years 5 months ago
A Tool for Reasoning about Qualitative Temporal Information: the Theory of S-languages with a Lisp Implementation
: Reasoning about incomplete qualitative temporal information is an essential topic in many artificial intelligence and natural language processing applications. In the domain of n...
Irène Durand, Sylviane R. Schwer
PODS
2007
ACM
171views Database» more  PODS 2007»
14 years 5 months ago
The complexity of reasoning about pattern-based XML schemas
In a recent paper, Martens et al. introduced a specification mechanism for XML tree languages, based on rules of the form r s, where r, s are regular expressions. Sets of such ru...
Gjergji Kasneci, Thomas Schwentick