3776 search results - page 91 / 756 » Partition-Based Logical Reasoning |
91
Voted
RR
2009
Springer
15 years 9 months ago
2009
Springer
132
click to vote
CORR
2002
Springer
15 years 2 months ago
2002
Springer
Many systems that exhibit nonmonotonic behavior have been described and studied already in the literature. The general notion of nonmonotonic reasoning, though, has almost always ...
132
click to vote
FLAIRS
2006
15 years 3 months ago
2006
Description Logics (DL) are gaining more popularity as the foundation of ontology languages for the Semantic Web. As most information in real life is imperfect, there has been an ...
152
click to vote
CONCUR
2011
Springer
14 years 2 months ago
2011
Springer
Abstract. In 2004, Berdine, Calcagno and O’Hearn introduced a fragment of separation logic that allows for reasoning about programs with pointers and linked lists. They showed th...
165
Voted
LPAR
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Ex...