3776 search results - page 294 / 756 » Partition-Based Logical Reasoning |
132
click to vote
FMCAD
2008
Springer
15 years 6 months ago
2008
Springer
We present a general approach for verifying safety properties of Lustre programs automatically. Key aspects of the approach are the choice of an expressive first-order logic in wh...
148
click to vote
JOLLI
2006
15 years 4 months ago
2006
Abstract. In this paper we study families of resource aware logics that explore resource restriction on rules; in particular, we study the use of controlled cut-rule and introduce ...
173
click to vote
ICLP
2005
Springer
15 years 10 months ago
2005
Springer
1 In [20], a new Hybrid Probabilistic Logic Programs framework is proposed, and a new semantics is developed to enable encoding and reasoning about real-world applications. In this...
127
click to vote
CSL
1999
Springer
15 years 8 months ago
1999
Springer
Hybrid languages are extended modal languages which can refer to (or even quantify over) states. Such languages are better behaved proof theoretically than ordinary modal languages...
144
Voted
DLOG
2006
15 years 6 months ago
2006
Abstract Practical description logic systems play an ever-growing role for knowledge representation and reasoning research even in distributed environments. In particular, the onto...