default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMethods of Logic in Computer Science, Volume 1
Volume 1, Number 1, 1994
- Anil Nerode, Victor W. Marek, V. S. Subrahmanian:
Introduction. Methods Log. Comput. Sci. 1(1): 1-3 (1994) - Liz Sonenberg, Rodney W. Topor:
A Preferred Model Semantics for Inheritance Networks. Methods Log. Comput. Sci. 1(1): 3-19 (1994) - L. Thorne McCarty, William W. Cohen:
The Case for Explicit Exceptions. Methods Log. Comput. Sci. 1(1): 19-50 (1994) - François Fages:
Consistency of Clark's completion and existence of stable models. Methods Log. Comput. Sci. 1(1): 51-60 (1994) - Fosca Giannotti, Dino Pedreschi, Carlo Zaniolo:
Declarative Semantics for Pruning Operators in Logic Programming. Methods Log. Comput. Sci. 1(1): 61-76 (1994) - V. S. Lakshmanan:
On Three-Valued Autoepistemic Reasoning and the Semantics of Logic Programs. Methods Log. Comput. Sci. 1(1): 77-110 (1994) - Stefania Costantini, Gaetano Aurelio Lanzarone:
Metalevel Negation and Non-Monotonic Reasoning. Methods Log. Comput. Sci. 1(1): 111- (1994)
Volume 1, Number 2, 1994
- Sara Porat, Nissim Francez:
Fairness in term rewriting systems. 141-181 - John N. Crossley, Jeffrey B. Remmel:
Proofs, programs, and run times. 183-215 - Shie-Jue Lee, David A. Plaisted:
Use of replace rules in theorem proving. 217-240 - Harrie C. M. de Swart, W. M. J. Ophelders:
Tableaux, resolution, and complexity of formulas. 241-260
Volume 1, Number 3, 1994
- Arnon Avron, Yoram Hirshfeld:
Queries evaluation, relative safety, and domain independence in first-order database languages with functions. 261-277 - John N. Crossley, Gerald L. Mathai, Robert A. G. Seely:
A logical calculus for polynomial-time realizability. 279-298 - Erich Grädel:
Definability on finite structures and the existence of one-way functions. 299-314 - Marek A. Suchenek:
Preservation properties in deductive databases. 315-338 - Jianhua Chen:
On the relationship between circumscription and well-founded semantics of logic programs. 339-354 - Khaled Bsaïes, Francis Alexandre, Alain Quéré:
Transformation of generate and test logic programs. 355-377
Volume 1, Number 4, 1994
- James F. Peters III:
Real-time linear logic. 379-412 - Gerald E. Peterson:
Constrained term-rewriting induction with applications. 413-436 - Frank Teusink:
A characterization of stable models using a non-monotonic operator. 437-461 - Jianhua Chen:
A refined semantics for disjunctive logic programs. 463-480
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-08 20:34 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
