Sciweavers

3738 search results - page 214 / 748
» Parametrized Logic Programming
Sort
View
CORR
2004
Springer
75views Education» more  CORR 2004»
13 years 8 months ago
Outlier Detection by Logic Programming
Fabrizio Angiulli, Gianluigi Greco, Luigi Palopoli
CORR
2004
Springer
81views Education» more  CORR 2004»
13 years 8 months ago
Non-Termination Inference of Logic Programs
Étienne Payet, Frédéric Mesna...
CORR
2000
Springer
66views Education» more  CORR 2000»
13 years 8 months ago
Super Logic Programs
Stefan Brass, Jürgen Dix, Teodor C. Przymusin...
CORR
2000
Springer
82views Education» more  CORR 2000»
13 years 8 months ago
On Modular Termination Proofs of General Logic Programs
Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sa...