3970 search results - page 38 / 794 » A Logic For Causal Reasoning |
LICS
2000
IEEE
14 years 12 hour ago
2000
IEEE
We study syntax-free models for name-passing processes. For interleaving semantics, we identify the indexing structure required of an early labelled transition system to support t...
ECSQARU
2007
Springer
14 years 1 months ago
2007
Springer
Possibilistic logic provides a convenient tool for dealing with inconsistency and handling uncertainty. In this paper, we propose possibilistic description logics as an extension o...
AMAI
2007
Springer
13 years 7 months ago
2007
Springer
It is widely accepted that spatial reasoning plays a central role in artificial intelligence, for it has a wide variety of potential applications, e.g., in robotics, geographical...
DLOG
2007
13 years 10 months ago
2007
In spite of the increasing effort spent on building ontologies for the Semantic Web, little attention has been paid to the impact of these ontologies on knowledge-based intelligen...
ICCBR
2005
Springer
14 years 1 months ago
2005
Springer
Conversational Case Based Reasoning (CCBR) is a form of CBR where users initiate conversations with the system to solve a certain problem. Current CCBR solutions are limited to spe...