Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Logic and Computation, Volume 5
Volume 5, Number 1, February 1995
- William C. Rounds, Guo-Qiang Zhang
:
Domain Theory Meets Default Logic. 1-25
- Paul Spruit, Roel J. Wieringa, John-Jules Ch. Meyer:
Aziomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases. 27-70 - Johann A. Makowsky, Abraham Sharell:
On Average Case Complexity of SAT for Symmetric Distribution. 71-92 - Marcus Kracht:
Highway to the Danger Zone. 93-109 - Yuri Kaluzhny, Daniel Lehmann:
Deductive Nonmonotonic Inference Operations: Antitonic Representations. 111-122
Volume 5, Number 2, April 1995
- Maurizio Gabbrielli, Giovanna M. Dore, Giorgio Levi:
Observable Semantics for Constraint Logic Programs. 133-171 - Piero A. Bonatti:
A Three-Valued Formalization of Provability. 173-201 - Michael L. Tiomkin, Michael Kaminski:
Semantical Analysis of Logic of Actions. 203-212 - Anuj Dawar:
Generalized Quantifiers and Logical Reducibilities. 213-226 - Dov Dori:
Object-Process Analysis: Maintaining the Balance Between System Structure and Behaviour. 227-249
Volume 5, Number 3, June 1995
- Chiaki Sakama, Katsumi Inoue:
Paraconsistent Stable Semantics for Extended Disjunctive Programs. 265-285 - Alexander V. Chagrov, Michael Zakharyaschev:
On the Independent Axiomatizability of Modal and Intermediate Logics. 287-302 - Anastasia Analyti, Sakti Pramanik:
Reliable Semantics for Extended Logic Programs with Rule Prioritization. 303-324 - Wiebe van der Hoek, Maarten de Rijke:
Counting Objects. 325-345 - John Pais:
Exterior Topology and Revision Spaces. 347-366 - Ines Margaria, Maddalena Zacchi:
Principal Typing in a forall-and-Discipline. 367-381
Volume 5, Number 4, August 1995
- Thomas P. Jensen:
Conjunctive Type Systems and Abstract Interpretation of Higher-Order Functional Programs. 397-421 - Martin C. Henson:
An intensional semantics for elementary program transformations. 423-447 - Tanel Tammet:
Completeness of Resolution for Definite Answers. 449-471 - Karl Schlechta:
Defaults as Generalized Quantifiers. 473-494 - David Sands:
A Naïve Time Analysis and its Theory of Cost Equivalence. 495-541
Volume 5, Number 5, October 1995
- Marc Denecker, Danny De Schreye:
Representing Incomplete Knowledge in Abductive Logic Programming. 553-577 - Lode Missiaen, Maurice Bruynooghe, Marc Denecker:
CHICA, an Abductive Planning System Based on Event Calculus. 579-602 - Amílcar Sernadas, Cristina Sernadas, José Félix Costa:
Object Specification Logic. 603-630 - Adel Bouhoula, Emmanuel Kounalis, Michaël Rusinowitch:
Automated Mathematical Induction. 631-668 - James T. Sasaki:
Efficient Verified Programs in a Typed Theory with Mixed Constructivity. 669-689
Volume 5, Number 6, December 1995
- Joachim Posegga, Peter H. Schmitt:
Automated Deduction with Shannon Graphs. 697-729 - David E. Wilkins, Karen L. Myers:
A Common Knowledge Representation for Plan Generation and Reactive Execution. 731-761 - Richard Goodwin:
Formalizing Properties of Agents. 763-781 - Karl Schlechta:
Preferential Choice Representation Theorems for Branching Time Structures. 783-800
a service of 
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 2023-12-01 19:35 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:
