440 search results - page 34 / 88 » Predicate Abstraction with Indexed Predicates |
156
click to vote
ICML
1989
IEEE
15 years 9 months ago
1989
IEEE
Logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be defined and carried out, but first-order Horn logic i...
122
Voted
DAARC
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. It has been a prevalent assumption in the literature that phonetically null Subjects of finite clauses are pronouns. This paper examines in detail this empirical generali...
134
click to vote
ASIAN
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. A type-theoretic framework for formal reasoning with different logical foundations is introduced and studied. With logic-enriched type theories formulated in a logical fr...
133
Voted
WDAG
1995
Springer
15 years 8 months ago
1995
Springer
Abstract. A new algorithm is presented for detecting whether a particular computation of an asynchronous distributed system satisfies Poss Φ (read “possibly Φ”), meaning the...
140
click to vote
FORTE
2008
15 years 6 months ago
2008
Abstract. Model generation is an important formal technique for finding interesting instances of computationally hard problems. In this paper we study model generation over Horn lo...