KR
2004
Springer
14 years 1 months ago
2004
Springer
Negotiation plays a key role as a means for sharing information and resources with the aim of looking for a common agreement. This paper proposes a new approach based on possibili...
KR
2004
Springer
14 years 1 months ago
2004
Springer
KR
2004
Springer
14 years 1 months ago
2004
Springer
In this paper we introduce a formal framework for the construction of normative multiagent systems, based on Searle’s notion of the construction of social reality. Within the st...
JELIA
2004
Springer
14 years 1 months ago
2004
Springer
Statistical default logic is a variation of classical (i.e., Reiter’s) default logic designed to represent basic inference forms common in inferential statistics. In this paper ...
JELIA
2004
Springer
14 years 1 months ago
2004
Springer
The Nelson-Oppen combination method combines decision procedures for theories satisfying certain conditions into a decision procedure for their union. While the method is known to ...
JELIA
2004
Springer
14 years 1 months ago
2004
Springer
We describe ongoing research to support the construction of terminologies with Description Logics. For the explanation of subsumption we search for particular concepts because of t...
JELIA
2004
Springer
14 years 1 months ago
2004
Springer
JELIA
2004
Springer
14 years 1 months ago
2004
Springer
We briefly overview the most recent improvements we have incorporated to the existent implementations of the TAS methodology, the simplified ∆-tree representation of formulas i...
JELIA
2004
Springer
14 years 1 months ago
2004
Springer
JELIA
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We present the design of our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most featu...