886 search results - page 27 / 178 » Reasoning with contextual graphs |
110
Voted
JSAT
2006
15 years 1 months ago
2006
A family of satisfiable benchmark instances in conjunctive normal form is introduced. The instances are constructed by transforming a random regular graph into a system of linear ...
121
click to vote
DLOG
2009
14 years 11 months ago
2009
Context-sensitivity has been for long a subject of study in linguistics, logic and computer science. Recently the problem of representing and reasoning with contextual knowledge ha...
122
click to vote
DLOG
2011
14 years 5 months ago
2011
We introduce an extension of Description Logics (DLs) for representing and reasoning about contextualized knowledge. Our formalism is inspired by McCarthy’s theory of formalizing...
105
Voted
KSEM
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Description logics (DLs) are a well-known family of knowledge representation (KR) languages. The notation of DLs has the style of a variable-free first order predicate l...
102
click to vote
SEMWEB
2007
Springer
15 years 8 months ago
2007
Springer
The use of tags to describe Web resources in a collaborative manner has experienced rising popularity among Web users in recent years. The product of such activity is given the nam...