Sciweavers

3738 search results - page 168 / 748
» Parametrized Logic Programming
Sort
View
ICLP
2004
Springer
14 years 1 months ago
Multi-agent Coordination as Distributed Logic Programming
A novel style of multi-agent system specification and deployment is described, in which familiar methods from computational logic are re-interpreted to a new context. One view of ...
David Robertson
ILP
2003
Springer
14 years 1 months ago
Query Optimization in Inductive Logic Programming by Reordering Literals
Query optimization is used frequently in relational database management systems. Most existing techniques are based on reordering the relational operators, where the most selective...
Jan Struyf, Hendrik Blockeel
DATE
1997
IEEE
75views Hardware» more  DATE 1997»
14 years 13 days ago
Using constraint logic programming in memory synthesis for general purpose computers
In modern computer systems the performance is dominated by the memory performance. Currently, there is neither a systematic design methodology nor a tool for the design of memory ...
Renate Beckmann, Jürgen Herrmann
ICLP
2010
Springer
14 years 4 days ago
Logic Programming Foundations of Cyber-Physical Systems
Cyber-physical systems (CPS) are becoming ubiquitous. Almost every device today has a controller that reads inputs through sensors, does some processing and then performs actions t...
Neda Saeedloei
ICLP
2010
Springer
13 years 11 months ago
Inductive Logic Programming as Abductive Search
We present a novel approach to non-monotonic ILP and its implementation called tal (Top-directed Abductive Learning). tal overcomes some of the completeness problems of ILP systems...
Domenico Corapi, Alessandra Russo, Emil Lupu