3773 search results - page 342 / 755 » Logical Reasoning |
180
click to vote
ECSQARU
2007
Springer
16 years 28 days ago
2007
Springer
In this paper, we propose an approach for measuring inconsistency in inconsistent ontologies. We first define the degree of inconsistency of an inconsistent ontology using a four...
213
click to vote
KR
2004
Springer
16 years 4 days ago
2004
Springer
Building on earlier attempts to characterise robot perception as a form of abduction, this paper presents a logical account of active visual perception in the context of an upper-...
270
click to vote
LMCS
2006
15 years 6 months ago
2006
We show how to give a coherent semantics to programs that are well-specified in a version of separation logic for a language with higher types: idealized algol extended with heaps ...
182
click to vote
RR
2010
Springer
15 years 5 months ago
2010
Springer
The development and use of ontologies may require users with no training in formal logic to handle complex concept descriptions. To aid such users, we propose a new visualization f...
169
click to vote
PADL
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. Prospective Logic Programming is a declarative framework supporting the specification of autonomous agents capable of anticipating and reasoning about hypothetical futur...