Sciweavers

3970 search results - page 141 / 794
» A Logic For Causal Reasoning
Sort
View
TIME
2009
IEEE
14 years 2 months ago
On the Expressivity of RoCTL*
John Christopher McCabe-Dansted, Tim French, Mark ...
PERCOM
2007
ACM
14 years 2 months ago
A Performance Evaluation of Ontology-Based Context Reasoning
The CARE middleware aims at supporting contextaware adaptation of Internet services in a mobile computing environment. The CARE hybrid reasoning mechanism is based on a loose inte...
Alessandra Agostini, Claudio Bettini, Daniele Ribo...
IGPL
2010
91views more  IGPL 2010»
13 years 2 months ago
A reason maintenance perspective on relevant Ramsey conditionals
This paper presents a Ramsey account of conditionals within the framework of an implemented reason maintenance system. The reason maintenance system is built on top of a deductive...
Haythem O. Ismail
ICAIL
2003
ACM
14 years 1 months ago
Specifying and Reasoning with Institutional Agents
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that a...
Filipe Santos, Olga Pacheco
SOFSEM
2010
Springer
14 years 4 months ago
A Social Vision of Knowledge Representation and Reasoning
Knowledge representation and reasoning so far have focused on the ideal ultimate goal, thus stressing logical consistency and semantic homogeneity. On the way to consistent and hom...
François Bry, Jakub Kotowski