352 search results - page 32 / 71 » Paraconsistent Declarative Semantics for Extended Logic Prog... |
LPNMR
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We consider the simplification of logic programs under the stablemodel semantics, with respect to the notions of strong and uniform equivalence between logic programs, r...
130
click to vote
CORR
2006
Springer
15 years 2 months ago
2006
Springer
In this paper, we present our proposal to Constraint Functional Logic Programming over Finite Domains (CFLP(FD) ) with a lazy functional logic programming language which seamlessl...
150
click to vote
META
1992
15 years 7 months ago
1992
A meta-level extension of a logic programming language is presented. The resulting language, called 'LOG (read quote-log), provides meta-programming facilities similar to thos...
132
click to vote
AGP
1998
IEEE
15 years 7 months ago
1998
IEEE
Visualization of program executions has been found useful in applications which include education and debugging. However, traditional visualization techniques often fall short of ...
146
click to vote
ENTCS
2007
15 years 2 months ago
2007
We suggest a formal model to represent and solve the multicast routing problem in multicast networks. To attain this, we model the network adapting it to a weighted and-or graph, ...