670 search results - page 41 / 134 » Modeling generalized implicatures using non-monotonic logics |
104
click to vote
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...
CEEMAS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. An autonomous agent may largely benefit from its ability to reconstruct another agent’s reasoning principles from records of past events and general knowledge about th...
FUZZIEEE
2007
IEEE
15 years 6 months ago
2007
IEEE
The comparison of protein structures is an important problem in Bioinformatics, and Soft Computing techniques were recently introduced for achieving a better representation and po...
CALCO
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions an...
101
click to vote
JCDL
2006
ACM
15 years 5 months ago
2006
ACM
In this paper we introduce POLAR, a probabilistic objectoriented logical framework for annotation-based information retrieval. In POLAR, the knowledge about digital objects, annot...