Sciweavers

3595 search results - page 105 / 719
» Roles of Program Extension
Sort
View
NMR
2004
Springer
15 years 9 months ago
Answer set programming with default logic
We develop an Answer Set Programming formalism based on Default Logic. We show that computing generating sets of extensions in this formalism captures all ΣP 2 search problems.
Victor W. Marek, Jeffrey B. Remmel
GECCO
2000
Springer
122views Optimization» more  GECCO 2000»
15 years 8 months ago
Genetic Programming with Statically Scoped Local Variables
This paper presents an extension to genetic programming to allow the evolution of programs containing local variables with static scope which obey the invariant that all variables...
Evan Kirshenbaum
SFP
2003
15 years 5 months ago
O'Camelot: adding objects to a resource-aware functional language
Abstract: We outline an object-oriented extension to Camelot, a functional language in the ML family designed for resource aware computation. Camelot is compiled for the Java Virtu...
Nicholas Wolverson, Kenneth MacKenzie
ENTCS
2000
83views more  ENTCS 2000»
15 years 4 months ago
Typed Logical Variables in Haskell
We describe how to embed a simple typed functional logic programming language in Haskell. The embedding is a natural extension of the Prolog embedding by Seres and Spivey [16]. To...
Koen Claessen, Peter Ljunglöf
E4MAS
2004
Springer
15 years 9 months ago
AGRE: Integrating Environments with Organizations
Abstract. This paper presents an extension of the AGR (Agent-GroupRole) organizational model, called AGRE (AGR + Environment), which includes physical (or simply geometrical) envir...
Jacques Ferber, Fabien Michel, José-Antonio...