3513 search results - page 77 / 703 » Super Logic Programs |
123
Voted
VMCAI
2012
Springer
13 years 10 months ago
2012
Springer
We describe a course on the semantics of a simple imperative programming language and on applications to compilers, type systems, static analyses and Hoare logic. The course is ent...
122
click to vote
SLP
1994
15 years 3 months ago
1994
In this paper we explore the notion of a \signing" of a logic program, in the framework of the answer set semantics. In particular, we generalize and extend the notion of a s...
160
click to vote
AIIA
1995
Springer
15 years 6 months ago
1995
Springer
Genetic Programming (GP) is a method of automatically inducing programs by representing them as parse trees. In theory, programs in any computer languages can be translated to par...
108
Voted
ICANN
2009
Springer
15 years 9 months ago
2009
Springer
We propose to model human reasoning tasks using completed logic programs interpreted under the three-valued Lukasiewicz semantics. Given an appropriate immediate consequence operat...
159
Voted
AGP
2010
IEEE
15 years 6 months ago
2010
IEEE
We present an overview of the program transformation techniques which have been proposed over the past twenty-five years in the context of logic programming. We consider the appro...