Logic Programming

Fixpoint semantics for logic programming---a survey. Theoretical Computer Science, 278:25--51, 2002.

On prudent bravery and other abstractions, 1994, unpublished.

Annotated revision specification programs. In V.W. Marek, A. Nerode, and M. Truszczynski, editors, Logic Programming and Non-Monotonic Reasoning , pages 143--155. Springer Lecture Notes in Computer Science 928, 1995.

Tableaux for logic programming. Journal of Automated Reasoning , 13:175--188, 1994.

Metric methods, three examples and a theorem. Journal of Logic Programming , 21:113--127, 1994.

The family of stable models. Journal of Logic Programming , 17:197--225, 1993.

Well-founded semantics, generalized. In Vijay Saraswat and Kazunori Ueda, editors, Logic Programming, Proceedings of the 1991 International Symposium , pages 71--84, Cambridge, MA, 1991. MIT Press.

Bilattices and the semantics of logic programming. Journal of Logic Programming , 11:91--116, 1991.

Bilattices in logic programming. In George Epstein, editor, The Twentieth International Symposium on Multiple-Valued Logic , pages 238--246. IEEE, 1990.

coauthored with Miriam Ben-Jacob. Stratified, weak stratified, and three-valued semantics. Fundamenta Informaticae , 13:19--33, 1990.

Negation as refutation. In Rohit Parikh, editor, Proceedings of the Fourth Annual Symposium on Logic in Computer Science , pages 63--70. IEEE, 1989.

Pseudo-Boolean valued Prolog. Studia Logica , 47:85--91, 1988.

coauthored with Miriam Ben-Jacob. Stratified and three-valued logic programming semantics. In Robert A. Kowalski and Kenneth A. Bowen, editors, Logic Programming, Proc. of the Fifth International Conference and Symposium , pages 1054--1069, 1988.

Logic programming on a topological bilattice. Fundamenta Informaticae , 11:209--218, 1988.

Partial models and logic programming. Theoretical Computer Science , 48:229--255, 1987.

Enumeration operators and modular logic programming. Journal of Logic Programming , pages 11--21, 1987.

Logic programming semantics using a compact data structure. In Zbigniew W. Ras and Maria Zemankova, editors, Proceedings of the ACM SIGART International Symposium on Methodologies for Intelligent Systems , pages 247--255, 1986.

A Kripke/Kleene semantics for logic programs. Journal of Logic Programming , 2:295--312, 1985.

A deterministic Prolog fixpoint semantics. Journal of Logic Programming , pages 111--118, 1985.

[Go home]