7335 search results - page 439 / 1467 » Scene Based Reasoning |
358
click to vote
POPL
2007
ACM
16 years 8 months ago
2007
ACM
Separation Logic, Ambient Logic and Context Logic are based on a similar style of reasoning about structured data. They each consist of a structural (separating) composition for r...
211
click to vote
ATAL
2009
Springer
16 years 2 months ago
2009
Springer
It is often the case that agents within a system have distinct types of knowledge. Furthermore, whilst common goals may be agreed upon, the particular representations of the indiv...
212
click to vote
DFKI
2005
Springer
16 years 1 months ago
2005
Springer
This paper introduces “micro-scalability” as a novel design objective for social reasoning architectures operating in open multiagent systems. Microscalability is based on the ...
215
click to vote
AAAI
1994
15 years 9 months ago
1994
The situation calculus is a popular technique for reasoning about action and change. However, its restriction to a firstorder syntax and pure deductive reasoning makes it unsuitab...
196
click to vote
SEMWEB
2010
Springer
15 years 5 months ago
2010
Springer
Analysing the performance of OWL reasoners on expressive OWL ontologies is an ongoing challenge. In this paper, we present a new approach to performance analysis based on justifica...