972 search results - page 107 / 195 » Reasoning with Conditional Time-Intervals |
140
click to vote
LICS
2007
IEEE
16 years 19 days ago
2007
IEEE
We show that tree-like (Gentzen’s calculus) PK where all cut formulas have depth at most a constant d does not simulate cut-free PK. Generally, we exhibit a family of sequents t...
164
click to vote
ESOP
2007
Springer
16 years 15 days ago
2007
Springer
In this paper we present an alternative approach to interprocedurally g linear inequality relations. We propose an abstraction of the effects of procedures through convex sets of t...
181
click to vote
ICLP
2007
Springer
16 years 15 days ago
2007
Springer
aa We consider the problem of obtaining a minimal logic program strongly equivalent (under the stable models semantics) to a given arbitrary propositional theory. We propose a meth...
175
click to vote
KI
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. The aim of this paper is to present a formal semantics inspired by the notion of Mental Imagery, largely researched in Cognitive Science and Experimental Psychology, that...
169
click to vote
RWEB
2007
Springer
16 years 14 days ago
2007
Springer
Reactive rules are used for programming rule-based, reactive systems, which have the ability to detect events and respond to them automatically in a timely manner. Such systems are...