Sciweavers

7075 search results - page 161 / 1415
» Models and heterogeneous reasoning
Sort
View
145
Voted
LOGCOM
2002
116views more  LOGCOM 2002»
15 years 3 months ago
Formalizing Collaborative Decision-making and Practical Reasoning in Multi-agent Systems
paper, we present an abstract formal model of decision-making in a social setting that covers all aspects of the process, from recognition of a potential for cooperation through t...
Pietro Panzarasa, Nicholas R. Jennings, Timothy J....
CVPR
2011
IEEE
14 years 11 months ago
Monocular 3D Scene Understanding with Explicit Occlusion Reasoning
Scene understanding from a monocular, moving camera is a challenging problem with a number of applications including robotics and automotive safety. While recent systems have show...
Christian Wojek, Stefan Walk, Stefan Roth, Bernt S...
LFCS
2009
Springer
15 years 10 months ago
Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm
We present FixIt(ALC), a novel procedure for deciding knowledge base (KB) satisfiability in the Fuzzy Description Logic (FDL) ALC. FixIt(ALC) does not search for tree-structured m...
Uwe Keller, Stijn Heymans
TARK
1998
Springer
15 years 8 months ago
Hypothetical Knowledge and Counterfactual Reasoning
: Salmetintroduced a notion of hypothetical knowledge and showed how it could be used to capture the type of counterfactual reasoning necessary to force the backwards induction sol...
Joseph Y. Halpern
137
Voted
ECAI
2006
Springer
15 years 7 months ago
Reasoning with Inconsistencies in Propositional Peer-to-Peer Inference Systems
In a peer-to-peer inference system, there is no centralized control or hierarchical organization: each peer is equivalent in functionality and cooperates with other peers in order...
Philippe Chatalic, Gia Hien Nguyen, Marie-Christin...