2022 search results - page 95 / 405 » Complexity of Non-Monotonic Logics |
106
Voted
CIE
2008
Springer
15 years 2 months ago
2008
Springer
Approximate Herbrand theorems are established for first-order fuzzy logics based on continuous t-norms, and used to provide proof-theoretic proofs of Skolemization for their Prenex...
134
click to vote
WCE
2007
15 years 1 months ago
2007
- In the speed-independent logic, the hazards caused by input inverters are identified. The known methods of the elimination of such hazards are based on avoiding input inverters. ...
106
click to vote
CSL
2006
Springer
15 years 23 days ago
2006
Springer
Model-checking problems for PDL (propositional dynamic logic) and its extension PDL (which includes the intersection operator on programs) over various classes of infinite state sy...
79
Voted
JANCL
2006
15 years 21 days ago
2006
We present an overview of linear-time temporal logics with Presburger constraints whose models are sequences of tuples of integers. Such formal specification languages are welldesi...
141
click to vote
KSEM
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. In this paper, we compare merging operators in possibilistic logic. We first propose an approach to evaluating the discriminating power of a merging operator. After that...