Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta Informaticae, Volume 21
Volume 21, Number 1/2, July, August 1994
- David W. Etherington, Henry A. Kautz, Kurt Konolige:
Introduction to the Special Issue. 1-5 - Robert Stalnaker:
What is a Nonmonotonic Consequence Relation? 7-21 - Mark S. Boddy, Robert P. Goldman, Keiji Kanazawa, Lynn Andrea Stein:
A Critical Examination of Model Preference Defaults. 23-38 - Philippe Besnard, Torsten Schaub:
Possible Worlds Semantics for Default Logics. 39-66 - Halina Przymusinska, Teodor C. Przymusinski:
Stationary Default Extensions. 67-87 - Camilla Schwind, Pierre Siegel:
A Modal Logic for Hypothesis Theory. 89-101 - Marco Cadoli, Marco Schaerf:
Approximate Inference in Default Logic and Circumscription. 103-112 - Leopoldo E. Bertossi, Raymond Reiter:
Circumscription and Generic Mathematical Objects. 113-123 - L. Thorne McCarty:
Defeasible Deontic Reasoning. 125-148 - Matthew L. Ginsberg, Hugh W. Holbrook:
What Defaults can do that Hierarchies Can't. 149-159
Volume 21, Number 3, September 1994
- Henryk Jan Komorowski, Zbigniew W. Ras:
Guest Editors' Preface - Selected Papers from the ISMIS'93 Symposium. 161-162 - David Stuart Robertson, Jaume Agustí-Cullell, Jane Hesketh, Jordi Levy:
Expressing Program Requirements Using Refinement Lattices. 163-182 - Nicola Leone
, Luigi Palopoli, Massimo Romeo:
Modifying Intensional Logic Knowledge. 183-203 - Jianhua Chen:
The Logic of Only Knowing as a Unified Framework for Non-Monotonic Reasoning. 205-220 - Heng Chu, David A. Plaisted:
Model Finding in Semantically Guided Instance-Based Theorem Proving. 221-235 - Neil V. Murray, Erik Rosenthal:
Adapting Classical Inference Techniques to Multiple-Valued Logics Using Signed Formulas. 237-253
Volume 21, Number 4, October 1994
- Louise E. Moser, P. M. Melliar-Smith, George Kutty, Y. S. Ramakrishna:
Completeness and Soundness of Axiomatizations for Temporal Logics. Without Next. 257-305 - Chitta Baral:
Varying Selection Functions to Relate Conditional Logics and Preferential Models. 307-319 - Ivo Düntsch:
Rough Relation Algebras. 321-331 - Peter Cholak, Howard A. Blair:
The Complexity of Local Stratification. 333-344 - Hardi Hungar:
Expressibility of the Semantics of Sequential Programs in First-Order Logic. 345-365 - Symeon Bozapalidis:
Representable Tree Series. 367-389 - Mikhail Moshkov:
Optimization Problems for Decision Trees. 391-401
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 2024-04-17 20:31 CEST 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:
