4370 search results - page 105 / 874 » Algebra of Logic Programming |
94
Voted
ENTCS
2002
15 years 10 days ago
2002
In this paper we present how refactoring of object-oriented programs can be accomplished by using refinement. Our approach is based on algebraic laws of an object-oriented languag...
107
Voted
JAIR
2006
15 years 15 days 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...
130
Voted
ATAL
1997
Springer
15 years 4 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...
100
click to vote
AAAI
2010
15 years 2 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...
111
Voted
ALP
1994
Springer
15 years 4 months ago
1994
Springer
This paper studies the relationship between logic programs and term rewriting systems (TRSs). A compositional transform is de ned which given a logic program computes a TRS. For a...