9145 search results - page 375 / 1829 » Description Logic Systems |
187
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
We present a logic for reasoning about strategic games. The logic is a modal formalism, based on the Coalition Logic of Propositional Control, to which we add the notions of outco...
190
click to vote
TABLEAUX
2009
Springer
16 years 1 months ago
2009
Springer
We develop a general criterion for cut elimination in sequent calculi for propositional modal logics, which rests on absorption of cut, contraction, weakening and inversion by the ...
190
click to vote
LPAR
2005
Springer
16 years 9 days ago
2005
Springer
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...
159
click to vote
RULEML
2005
Springer
16 years 8 days ago
2005
Springer
Defeasible Logic is a rule-based non-monotonic logic with tractable reasoning services. In this paper we extend Defeasible Logic with nested rules. We consider a new Defeasible Log...
173
click to vote
ECSQARU
2003
Springer
16 years 19 hour ago
2003
Springer
In this paper, we propose some extensions of epistemic logic for reasoning about information fusion. The fusion operators considered in this paper include majority merging, arbitra...