Papers

51. Semantical Equivalences of (Non-Classical) Logic Programs, in: Proc. 5th International Conference/Symposium on Logic Programming, eds. R. Kowalski and K. Bowen, pps 960--977, MIT Press. (with A. Batarekh). 1988.
         


52. Intuitive Semantics for Quantitative Rule Sets, in: Proc. 5th International Conference/Symposium on Logic Programming, eds. R. Kowalski and K. Bowen, pps 1036--1053, MIT Press, August 1988.
         


53. Foundations of Metalogic Programming, Proc. of the Workshop on Meta-Programming in Logic Programming, (ed. John Lloyd), pps 53-66, Bristol, England, June 1988.
         


54. Query Processing in Quantitative Logic Programming, Proc. 9th Conference on Automated Deduction, Lecture Notes in Computer Science Vol. 310, pps 181-200, Springer, (eds. E. Lusk and R. Overbeek). May 1988.
         


55. QUANTLOG: A System for Approximate Reasoning in Inconsistent Formal Systems, Proc. 9th Conference on Automated Deduction, Lecture Notes in Computer Science Vol. 310, pps 746-747, Springer--Verlag, (eds. E. Lusk and R. Overbeek). (with Z. Umrigar). System Summary. May 1988.
         


56. On the Semantics of Quantitative Logic Programs, Proc. 4th IEEE Symp. on Logic Programming, pps 173-182, Computer Society Press. Sept. 1987.