2022 search results - page 94 / 405 » Complexity of Non-Monotonic Logics |
188
click to vote
WOLLIC
2009
Springer
16 years 25 days ago
2009
Springer
The paper provides a recipe for adequately representing a very inclusive class of finite-valued logics by way of tableaux. The only requisite for applying the method is that the o...
151
click to vote
LDVF
2000
15 years 6 months ago
2000
The aim of this paper is to provide an analysis of the function of imperatives in dialogue. In particular, the focus is on the use of logically complex imperatives (e.g., `Say hel...
138
click to vote
SUM
2009
Springer
16 years 23 days ago
2009
Springer
Abstract. In this paper we introduce a fixpoint semantics for quantitative logic programming, which is able to both combine and correlate evidence from different sources of infor...
155
click to vote
ICDT
2007
ACM
16 years 11 days ago
2007
ACM
The first aim of this paper is to present the logical core of XPath 2.0: a logically clean, decidable fragment, which includes most navigational features of XPath 2.0 (complex co...
172
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
We present an approach to monitoring system policies. As a specification language, we use an expressive fragment of a temporal logic, which can be effectively monitored. We repor...