5 citations found. Retrieving documents...
Robert A. Kowalski and Kenneth A. Bowen, editors. Proceedings of the Fifth International Conference and Symposium on Logic Programming, Seatle, 1988. ALP, IEEE, The MIT Press.

 Home/Search   Document Not in Database   Summary   Related Articles   Check  

This paper is cited in the following contexts:
Design for AKL with Intelligent Pruning - Abreu, Pereira (1993)   (Correct)

No context found.

Robert A. Kowalski and Kenneth A. Bowen, editors. Proceedings of the Fifth International Conference and Symposium on Logic Programming, Seatle, 1988. ALP, IEEE, The MIT Press.


A Propositional Meta-Constraint System: Specification, Application .. - Ward (1993)   (Correct)

No context found.

Robert A. Kowalski and Kenneth A. Bowen, editors. Proceedings of the Fifth International Conference and Symposium on Logic Programming, Cambridge, Massachusetts, 1988. MIT Press.


Improving Backward Execution in the Andorra Family of.. - Abreu, Pereira, Codognet (1992)   (2 citations)  (Correct)

No context found.

Robert A. Kowalski and Kenneth A. Bowen, editors. Proceedings of the Fifth International Conference and Symposium on Logic Programming, Seatle, 1988. ALP, IEEE, The MIT Press.


Improving Backward Execution in Non-Deterministic.. - Abreu, Pereira, Codognet (1992)   (Correct)

No context found.

Robert A. Kowalski and Kenneth A. Bowen, editors. Proceedings of the Fifth International Conference and Symposium on Logic Programming, Cambridge, Massachusetts London, England, 1988. MIT Press.


Aspects of Failure Analysis in a CLP(R) system - Hogger, Kotzamanidis   (Correct)

No context found.

Robert A. Kowalski and Kenneth A. Bowen, editors. Proceedings of the Fifth International Conference and Symposium on Logic Programming, Seatle, 1988. ALP, IEEE, The MIT Press.

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