2035 search results - page 93 / 407 » On the complexity of stratified logics |
149
click to vote
AIR
2010
15 years 6 months ago
2010
Combinatorial problems appear in many areas in science, engineering, biomedicine, business, and operations research. This article presents a new intelligent computing approach for...
215
click to vote
KBS
2011
15 years 1 months ago
2011
Order-sorted logic is a useful tool for knowledge representation and reasoning because it enables representation of sorted terms and formulas along with partially ordered sorts (c...
202
click to vote
RR
2009
Springer
16 years 25 days 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 ...
162
click to vote
ML
2006
ACM
15 years 6 months 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 ...
161
click to vote
IGPL
1998
15 years 6 months 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...