364 search results - page 49 / 73 » A Map of Common Knowledge Logics |
84
Voted
MVA
1990
15 years 3 months ago
1990
It is strongly desired to construct multimedia databases especially of maps or engineering drawings. If these databases are intended to be used really effectively, original drawin...
117
click to vote
AEI
2006
15 years 1 months ago
2006
This paper proposes a definition, scope and topics of construction informatics--a discipline also known as `construction IT' or `communication and information technologies in...
123
Voted
WEBI
2010
Springer
14 years 11 months ago
2010
Springer
In recent years, there has been an explosion of publicly available RDF and OWL web pages. Some of these pages are static text files, while others are dynamically generated from la...
161
Voted
CORR
2011
Springer
14 years 5 months ago
2011
Springer
We describe a system for specifying the effects of actions. Unlike those commonly used in AI planning, our system uses an action description language that allows one to specify t...
120
click to vote
DLOG
2009
14 years 11 months ago
2009
We present a novel reasoning procedure for Horn SHIQ ontologies--SHIQ ontologies that can be translated to the Horn fragment of first-order logic. In contrast to traditional reaso...