4617 search results - page 133 / 924 » Automation of Diagrammatic Reasoning |
196
click to vote
DLOG
2011
14 years 10 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...
194
Voted
DLOG
2011
14 years 10 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...
183
click to vote
CADE
2008
Springer
16 years 7 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...