default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Logic and Computation, Volume 4
Volume 4, Number 1, February 1994
- Esther König:
A Hypothetical Reasoning Algorithm for Linguistic Analysis. 1-19 - Frank Wolter
:
Solution to a Problem of Goranko and Passy. 21-22 - Harold Simmons:
The Monotonous Elimination of Predicate Variables. 23-68 - James Harland:
A Proof-Theoretic Analysis of Goal-Directed Provability. 69-88 - Leopoldo E. Bertossi:
Circumscription in Data Logic for Data Type Specification. 89-96
Volume 4, Number 2, April 1994
- Betti Venneri:
Intersection Types as Logical Formulae. 109-124 - Heinrich Wansing:
Sequent Calculi for Normal Modal Proposisional Logics. 125-142 - Jürgen Dix, Martin Kummer:
Herbrand's Theorem for Nonstandard Inference Operations. 143-156 - Andreas Polyméris:
Conjunctive Normal Forms in Three-Valued Propositional Logics. 157-174 - David J. Pym, James Harland:
A Uniform Proof-Theoretic Investigation of Linear Logic Programming. 175-207
Volume 4, Number 3, June 1994
- C. A. R. Hoare:
Editorial. 215-216 - Leo Bachmair, Harald Ganzinger:
Rewrite-Based Equational Theorem Proving with Selection and Simplification. 217-247 - Robert F. Stärk:
Input/Output Dependencies of Normal Logic Programs. 249-262 - William P. R. Mitchell:
Expressiveness for Highly Nested Expressions in Linear Temporal Logic. 263-272 - R. Suzanne Zeitman:
Unforgettable Forgetful Determinacy. 273-283 - Marcello D'Agostino, Marco Mondadori:
The Taming of the Cut. Classical Refutations with Analytic Cut. 285-319
Volume 4, Number 4, August 1994
- Thomas Forster:
Letter: Why Set Theory Without Foundation? J. Log. Comput. 4(4): 333-335 (1994) - Iain A. Stewart:
Logical Description of Monotone NP Problems. 337-357 - Stefano Baratella:
A Modal Approach to Negation as Failure Rule. 359-373 - Irène Guessarian, Marcos Veloso Peixoto:
About Boundedness for Some Datalog and Datalogneg Programs. 375-403 - Eric Monteiro:
Linear Logic as CSP. 405-421 - Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf:
Deduction in Concept Languages: From Subsumption to Instance Checking. 423-452
Volume 4, Number 5, October 1994
- Michael P. Georgeff:
Editorial. 463-465 - Edwin P. D. Pednault:
ADL and the State-Transition Model of Action. 467-512 - Rob Miller, Murray Shanahan:
Narratives in the Situation Calculus. 513-530 - James F. Allen, George Ferguson:
Actions and Events in Interval Temporal Logic. 531-579 - Erik Sandewall:
The Range of Applicability of Some Non-monotonic Logics for Strict Inertia. 581-615 - Joachim Hertzberg, Sylvie Thiébaux:
Turning an Action Formalism into a Planner - A Case Study. 617-654 - Fangzhen Lin, Raymond Reiter:
State Constraints Revisited. 655-678 - Lenhart K. Schubert:
Explanation Closure, Action Closure and the Sandewall Test Suite for Reasoning about Change. 679-700 - David N. Morley, Michael P. Georgeff, Anand S. Rao:
A Monotonic Formalism for Events and Systems of Events. 701-720 - Ernest Davis:
Knowledge Preconditions for Plans. 721-766 - Sam Steel:
Action Under Uncertainty. 767-795 - Alvaro del Val, Yoav Shoham:
A Unified View of Belief Revision and Update. 797-810 - Johan van Benthem, Jan van Eijck, Vera Stebletsova:
Modal Logic, Transition Systems and Processes. 811-855
Volume 4, Number 6, December 1994
- Christophe Fouqueré, Jacqueline Vauzeilles:
Linear Logic and Exceptions. 859-876 - Mehmet A. Orgun, William W. Wadge:
Extending Temporal Logic Programming with Choice Predicates Non-Determinism. 877-903 - Reiner Hähnle:
Short Conjunctive Normal Forms in Finitely Valued Logics. 905-927 - Arnon Avron:
Some Properties of Linear Logic Proved by Semantic Methods. 929-938 - Mads Dam:
Process-Algebraic Interpretations of Positive Linear and Relevant Logics. 939-973
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 2025-11-25 00:42 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:
