4513 search results - page 106 / 903 » Logic programming with satisfiability |
120
click to vote
AAAI
2008
15 years 5 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...
123
click to vote
AAAI
2000
15 years 4 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 ...
123
click to vote
CAEPIA
2009
Springer
15 years 4 months ago
2009
Springer
We slightly improve on characterization results already in the literature for base revision. We show that in order to axiomatically characterize revision operators in a logic the o...
112
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
We consider the temporal logic with since and until modalities. This temporal logic is expressively equivalent over the class of ordinals to first-order logic by Kamp's theore...
128
click to vote
ENTCS
2010
15 years 3 months ago
2010
We formulate a unified display calculus proof theory for the four principal varieties of bunched logic by combining display calculi for their component logics. Our calculi satisfy...