Methods Log. Comput. Sci.

Keyphrases

Publications

volume 1, number 1, 1994

Stefania Costantini, Gaetano Aurelio Lanzarone
Metalevel Negation and Non-Monotonic Reasoning. Methods Log. Comput. Sci. 1 (1) (1994)
Fosca Giannotti, Dino Pedreschi, Carlo Zaniolo
Declarative Semantics for Pruning Operators in Logic Programming. Methods Log. Comput. Sci. 1 (1) (1994)
Anil Nerode, Victor W. Marek, V. S. Subrahmanian
Introduction. Methods Log. Comput. Sci. 1 (1) (1994)
François Fages
Consistency of Clark's completion and existence of stable models. Methods Log. Comput. Sci. 1 (1) (1994)
V. S. Lakshmanan
On Three-Valued Autoepistemic Reasoning and the Semantics of Logic Programs. Methods Log. Comput. Sci. 1 (1) (1994)
Liz Sonenberg, Rodney W. Topor
A Preferred Model Semantics for Inheritance Networks. Methods Log. Comput. Sci. 1 (1) (1994)
L. Thorne McCarty, William W. Cohen
The Case for Explicit Exceptions. Methods Log. Comput. Sci. 1 (1) (1994)

volume 1, number 2, 1994

Shie-Jue Lee, David A. Plaisted
Use of replace rules in theorem proving. Methods Log. Comput. Sci. 1 (2) (1994)
Sara Porat, Nissim Francez
Fairness in term rewriting systems. Methods Log. Comput. Sci. 1 (2) (1994)
John N. Crossley, Jeffrey B. Remmel
Proofs, programs, and run times. Methods Log. Comput. Sci. 1 (2) (1994)
Harrie C. M. de Swart, W. M. J. Ophelders
Tableaux, resolution, and complexity of formulas. Methods Log. Comput. Sci. 1 (2) (1994)

volume 1, number 3, 1994

volume 1, number 4, 1994