3470 search results - page 56 / 694 » Head-Elementary-Set-Free Logic Programs |
164
click to vote
ICLP
1995
Springer
15 years 7 months ago
1995
Springer
Equational theories underly many elds of computing, including functional programming, symbolic algebra, theorem proving, term rewriting and constraint solving. In this paper we sh...
165
click to vote
AMAI
2004
Springer
15 years 4 months ago
2004
Springer
Prototyping is a valuable technique to help software engineers explore the design space while gaining insight on the dynamics of the system. In this paper, we describe a method for...
125
click to vote
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
This paper presents a compiler from expressive, relational specifications to logic programs. Specifically, the compiler translates the Imperative Alloy specification language to...
131
click to vote
AAAI
2008
15 years 6 months ago
2008
In several applications of logic programming and Transaction Logic, such as, planning, trust management and independent Semantic Web Services, an action might produce incomplete f...
150
click to vote
AGP
1998
IEEE
15 years 8 months ago
1998
IEEE
Visualization of program executions has been found useful in applications which include education and debugging. However, traditional visualization techniques often fall short of ...