147 search results - page 6 / 30 » A Sound and Complete Diagrammatic Reasoning System |
AAMAS
2008
Springer
13 years 7 months ago
2008
Springer
Abductive reasoning is a well established field of Artificial Intelligence widely applied to different problem domains not least cognitive robotics and planning. It has been used ...
RR
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. This essay describes fuzzy CARIN, a knowledge representation language combining fuzzy description logics with Horn rules. Fuzzy CARIN integrates the management of fuzzy l...
CLIMA
2010
13 years 6 months ago
2010
Answer sharing is a key element in multi-agent systems as it allows agents to collaborate towards achieving a global goal. However exogenous knowledge of the world can influence e...
RAID
2004
Springer
14 years 26 days ago
2004
Springer
We present a formal framework for the analysis of intrusion detection systems (IDS) that employ declarative rules for attack recognition, e.g. specification-based intrusion detect...
ENTCS
2008
13 years 7 months ago
2008
Current object-oriented approaches to distributed programs may be criticized in several respects. First, method calls are generally synchronous, which leads to much waiting in dis...