Sciweavers

3513 search results - page 196 / 703
» Super Logic Programs
Sort
View
JMLR
2006
100views more  JMLR 2006»
15 years 3 months ago
Learning Recursive Control Programs from Problem Solving
In this paper, we propose a new representation for physical control
Pat Langley, Dongkyu Choi
PPDP
2004
Springer
15 years 8 months ago
A lazy narrowing calculus for declarative constraint programming
The new generic scheme CFLP(D) has been recently proposed in [24] as a logical and semantic framework for lazy constraint functional logic programming over a parametrically given ...
Francisco Javier López-Fraguas, Mario Rodr&...
152
Voted
IPPS
1999
IEEE
15 years 7 months ago
Compiler Analysis to Support Compiled Communication for HPF-Like Programs
By managing network resources at compile time, the compiled communication technique greatly improves the communication performance for communication patterns that are known at com...
Xin Yuan, Rajiv Gupta, Rami G. Melhem
134
Voted
JAIR
1998
97views more  JAIR 1998»
15 years 3 months ago
The Divide-and-Conquer Subgoal-Ordering Algorithm for Speeding up Logic Inference
It is common to view programs as a combination of logic and control: the logic part de nes what the program must do, the control part how to do it. The Logic Programming paradigm ...
Oleg Ledeniov, Shaul Markovitch
124
Voted
LPNMR
2007
Springer
15 years 9 months ago
Modularity Aspects of Disjunctive Stable Models
Practically all programming languages used in software engineering allow to split a program into several modules. For fully declarative and nonmonotonic logic programming languages...
Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Ste...