3441 search results - page 77 / 689 » Parallel Logic Programming Systems |
103
click to vote
MSCS
2006
14 years 9 months ago
2006
We present a dynamic logic for reasoning about information flow in quantum programs. In particular, we give a finitary syntax and a relational semantics for a Logic of Quantum Pro...
LCPC
2007
Springer
15 years 3 months ago
2007
Springer
100
click to vote
WFLP
2000
Springer
15 years 1 months ago
2000
Springer
We describe the current status of the development of CFLP, a system which aims at the integration of the best features of functional logic programming (FLP), cooperative constrain...
IJCAI
1989
14 years 11 months ago
1989
The foundations of a class of logic programming systems with the expressive power of full first-order logic and a non-monotonic component is addressed. The underlying refutation m...
PADL
2005
Springer
15 years 3 months ago
2005
Springer
We describe the design of the OLPS system, an implementation of the preferred answer set semantics for ordered logic programs. The basic algorithm we propose computes the extended ...