4513 search results - page 78 / 903 » Logic programming with satisfiability |
102
Voted
LICS
2006
IEEE
15 years 7 months 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...
109
click to vote
PEPM
1993
ACM
15 years 5 months ago
1993
ACM
In this tutorial the specialisation of declarative logic programs is presented. The main correctness results are given, and the outline of a basic algorithm for partial evaluation...
116
click to vote
JAIR
2006
15 years 1 months ago
2006
We study properties of programs with monotone and convex constraints. We extend to these formalisms concepts and results from normal logic programming. They include the notions of...
140
click to vote
ATAL
1997
Springer
15 years 5 months ago
1997
Springer
We briefly overview the architecture of a diagnosis agent. We employ logic and logic programming to specify and implement the agent: the knowledge base uses extended logic progra...
110
click to vote
AAAI
2010
15 years 3 months ago
2010
In this paper, we propose a translation from normal first-order logic programs under the answer set semantics to first-order theories on finite structures. Specifically, we introd...