5198 search results - page 169 / 1040 » A Logic of Agent Programs |
159
click to vote
LOPSTR
2005
Springer
15 years 9 months ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...
125
Voted
AAAI
2008
15 years 6 months ago
2008
In this paper, we propose a new approach for iterated revision in possibilistic logic by applying a one-step revision operator. We first argue that the set of KM postulates for re...
133
Voted
AAAI
2000
15 years 5 months ago
2000
A serious shortcoming of many Description Logic based knowledge representation systems is the inadequacy of their query languages. In this paper we present a novel technique that ...
108
Voted
ICCL
1998
IEEE
15 years 8 months ago
1998
IEEE
