Sciweavers

3562 search results - page 208 / 713
» Introduction to Logic Programming
Sort
View
JMLR
2006
100views more  JMLR 2006»
15 years 6 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 12 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&...
IPPS
1999
IEEE
15 years 11 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
JAIR
1998
97views more  JAIR 1998»
15 years 6 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
LPNMR
2007
Springer
16 years 22 days 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...