3441 search results - page 39 / 689 » Parallel Logic Programming Systems |
PLILP
1992
Springer
15 years 1 months ago
1992
Springer
TACAS
2000
Springer
15 years 1 months ago
2000
Springer
LOPSTR
1997
Springer
15 years 1 months ago
1997
Springer
Synthesis of logic programs is considered as a special instance of logic programming. We describe experience made within a logical metaprogramming environment whose central compone...
84
Voted
JAIR
2006
14 years 9 months ago
2006
We study properties of programs with monotone and convex constraints. We extend to these formalisms concepts and results from normal logic programming. They include the notions of...
107
Voted
ATAL
1997
Springer
15 years 1 months ago
1997
Springer
We briefly overview the architecture of a diagnosis agent. We employ logic and logic programming to specify and implement the agent: the knowledge base uses extended logic progra...