2022 search results - page 100 / 405 » Complexity of Non-Monotonic Logics |
142
Voted
RR
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. A four-valued description logic has been proposed to reason with description logic based inconsistent knowledge bases. This approach has a distinct advantage that it can ...
101
click to vote
ML
2006
ACM
15 years 21 days ago
2006
ACM
In this paper, we describe the syntax and semantics for a probabilistic relational language (PRL). PRL is a recasting of recent work in Probabilistic Relational Models (PRMs) into ...
98
Voted
IGPL
1998
15 years 13 days ago
1998
Is it possible to compute in which logics a given formula is deducible? The aim of this paper is to provide a formal basis to answer positively this question in the context of sub...
126
click to vote
ICFCA
2004
Springer
15 years 6 months ago
2004
Springer
Traditional logic can be understood as the investigation of the three main essential functions of thinking – concepts, judgements and conclusions. In the last years, in a new res...
102
Voted
ICSE
2003
IEEE-ACM
15 years 6 months ago
2003
IEEE-ACM
This paper presents a model checking-based approach to data flow testing. We characterize data flow oriented coverage criteria in temporal logic such that the problem of test ge...