Sciweavers

3983 search results - page 212 / 797
» Conceptual logic programs
Sort
View
CORR
2010
Springer
58views Education» more  CORR 2010»
15 years 6 months ago
Transformations of Logic Programs on Infinite Lists
Alberto Pettorossi, Maurizio Proietti, Valerio Sen...
CORR
2008
Springer
92views Education» more  CORR 2008»
15 years 6 months ago
Automated Termination Proofs for Logic Programs by Term Rewriting
Peter Schneider-Kamp, Jürgen Giesl, Alexander...
ENTCS
2008
74views more  ENTCS 2008»
15 years 6 months ago
An RDF Query Language based on Logic Programming
Jesús Manuel Almendros-Jiménez