3773 search results - page 393 / 755 » Logical Reasoning |
163
click to vote
LICS
2006
IEEE
16 years 23 days ago
2006
IEEE
We motivate and study a generic relaxation of correctness of reactive and concurrent systems with respect to a temporal specification. We define a system to be fairly correct if...
172
click to vote
FORMATS
2005
Springer
16 years 9 days ago
2005
Springer
This paper attempts to improve our understanding of timed languages and their relation to timed automata. We start by giving a constructive proof of the folk theorem stating that t...
180
click to vote
KR
2004
Springer
16 years 4 days ago
2004
Springer
When mining frequent Datalog queries, many queries will be equivalent in the light of an implicit or explicit background knowledge. To alleviate the problem, we introduce various t...
159
click to vote
LPNMR
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We present a declarative language, PP, for the specification of preferences between possible solutions (or trajectories) of a planning problem. This novel language allow...
146
Voted
ICES
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We present a systematic procedure for the synthesis and minimisation of digital circuits using propositional satisfiability. We encode the truth table into a canonical s...