15 search results - page 3 / 3 » logcom 2002 |
98
Voted
LOGCOM
2002
14 years 12 months ago
2002
In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method exploits the strong connection between...
83
Voted
LOGCOM
2002
14 years 12 months ago
2002
In the area of agent-based computing there are many proposals for specific system architectures, and a number of proposals for general approaches to building agents. As yet, howev...
119
Voted
LOGCOM
2002
14 years 12 months ago
2002
We present a logical approach to plan recognition that builds on Kautz's theory of keyhole plan recognition, defined as the problem of inferring descriptions of high-level pl...
110
Voted
LOGCOM
2002
14 years 12 months ago
2002
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...
82
Voted
LOGCOM
2002
14 years 12 months ago
2002
The paper deals with logically definable families of sets (or point-sets) of rational numbers. In particular we are interested whether the families definable over the real line wi...