4617 search results - page 133 / 924 » Automation of Diagrammatic Reasoning |
178
click to vote
DLOG
2011
14 years 9 months ago
2011
In this paper, we present a reasoner capable of epistemic inferences in SROIQ knowledge bases. We first identify some counter intuitive effects of imposing the traditional semant...
178
click to vote
DLOG
2011
14 years 9 months ago
2011
In order to meet usability requirements, most logic-based applications provide explanation facilities for reasoning services. This holds also for DLs, where research focused on the...
168
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
Collaborative Programming is characterized by groups of people issuing instructions to computer systems. Collaborative Programming languages differ from traditional programming lan...