M. Gelfond. Representing Knowledge in A-Prolog. Computational Logic. Logic Programming and Beyond, number 2408 in LNCS, pp. 413--451. Springer, 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Aggregate Functions in DLV - Dell'Armi, Faber, Ielpa, Leone.. (2003) (Correct)
No context found.
M. Gelfond. Representing Knowledge in A-Prolog. Computational Logic. Logic Programming and Beyond, number 2408 in LNCS, pp. 413--451. Springer, 2002.
CR-Prolog : CR-Prolog with Ordered Disjunction Marcello .. - Computer Science.. (Correct)
No context found.
Michael Gelfond. Representing knowledge in a-prolog. In Antonis C. Kakas and Fariba Sadri, editors, Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II, volume 2408, pages 413--451. Springer Verlag, Berlin, 2002.
What's in a Model? Epistemological analysis of Logic Programming - Denecker (Correct)
No context found.
M. Gelfond. Representing knowledge in a-prolog. In A. Kakas and F. Sadri, editors, Computational Logic: Logic Programming and Beyond; Essays in honour of Robert A. Kowalski, Part II, number 2407 in Lecture Notes in Computer Science, pages 413--451. Springer Verlag, 2002.
Partial Stable Models for Logic Programs with Aggregates - Pelov, Denecker, Bruynooghe (2004) (1 citation) (Correct)
No context found.
M. Gelfond. Representing knowledge in A-Prolog. In Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II, volume 2408 of LNCS, pages 413--451. Springer, 2002.
A-Prolog with CR-Rules and Ordered Disjunction - Marcello Balduccini And (Correct)
No context found.
Michael Gelfond. Representing knowledge in a-prolog. In Antonis C. Kakas and Fariba Sadri, editors, Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II, volume 2408, pages 413--451. Springer Verlag, Berlin, 2002.
USA-Smart: Improving the Quality of Plans in Answer - Set Planning Marcello (Correct)
No context found.
Michael Gelfond. Representing knowledge in A-Prolog. In Antonis C. Kakas and Fariba Sadri, editors, Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II, volume 2408, pages 413--451. Springer Verlag, Berlin, 2002.
Towards Automated Integration of Guess and Check . . . - Eiter (2004) (Correct)
No context found.
M. Gelfond. Representing knowledge in A-prolog. In A. C. Kakas and F. Sadri, editors, Computational Logic. Logic Programming and Beyond, number 2408 in LNCS, pages 413--451. Springer, 2002.
Translation of Aggregate Programs to Normal Logic Programs - Pelov, Denecker, Bruynooghe (2003) (Correct)
No context found.
M. Gelfond. Representing knowledge in A-Prolog. In Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II, volume 2408 of LNCS, pages 413--451. Springer, 2002.
CR-Prolog 2 : CR-Prolog with Ordered Disjunction - Marcello Balduccini And (2003) (Correct)
No context found.
Michael Gelfond. Representing knowledge in a-prolog. In Antonis C. Kakas and Fariba Sadri, editors, Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II, volume 2408, pages 413--451. Springer Verlag, Berlin, 2002.
Aggregate Functions in Disjunctive Logic Programming.. - Dell'Armi, al. (Correct)
No context found.
M. Gelfond. Representing Knowledge in A-Prolog. Computational Logic. Logic Programming and Beyond, number 2408 in LNCS, pp. 413-451. Springer, 2002.
Translation of Aggregate Programs to Normal Logic Programs - Pelov, Denecker, Bruynooghe (2003) (Correct)
No context found.
M. Gelfond. Representing knowledge in A-Prolog. In Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II, volume 2408 of LNCS, pages 413--451. Springer, 2002. Restricted only to positive weights. 14
Aggregate Functions in DLV - Dell'Armi, Faber, Ielpa, Leone.. (Correct)
No context found.
M. Gelfond. Representing Knowledge in A-Prolog. Computational Logic. Logic Programming and Beyond, number 2408 in LNCS, pp. 413--451. Springer, 2002.
Aggregate Functions in DLV - Dell'Armi, Faber, Ielpa, Leone.. (Correct)
No context found.
M. Gelfond. Representing Knowledge in A-Prolog. Computational Logic. Logic Programming and Beyond, number 2408 in LNCS, pp. 413--451. Springer, 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC