Logics in AI : European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992 : proceedings /
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer-Verlag,
c1992.
|
| Series: | Lecture notes in computer science ;
633. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| Subjects: |
Table of Contents:
- A Modal Theory of Arrows. Arrow Logics I / D. Vakarelov
- Knowledge Without Modality: A Simplified Framework for Chronological Ignorance / C. MacNish
- Design Complete Sequential Calculus for Continuous Fixpoint Temporal Logic / R. Pliuskevicius
- Logical Omniscience and Classical Logic / R. Muskens
- Weak Implication: Theory and Applications / K. L. Kwast and S. van Denneheuvel
- Deriving Inference Rules for Terminological Logics / V. Royer and J. J. Quantz
- Linear Proofs and Linear Logic / B. Fronhofer
- Relevance and Revision - About Generalizing Syntax-based Belief Revision / E. Weydert
- Modellings for Belief Change: Base Contraction, Multiple Contraction, and Epistemic Entrenchment / H. Rott
- A Framework for Default Logics / C. Froidevaux and J. Mengin
- A Conceptualization of Preferences in Non-Monotonic Proof Theory / A. Hunter
- Reasoning with Defeasible Arguments: Examples and Applications / G. Vreeswijk.
- About Deductive Generalization / Ph. Besnard and E. Gregoire
- Transition Systems and Dynamic Semantics / T. Fernando
- Declarative Semantics for Inconsistent Database Programs / M. S. Mircheva
- Tableau-Based Theorem Proving and Synthesis of Lambda-Terms in the Intuitionistic Logic / O. Bittel
- A Constructive Type System Based on Data Terms / H.-J. Goltz
- An Ordered Resolution and Paramodulation Calculus for Finite Many-Valued Logics / N. Zabel
- An Efficient Constraint Language for Polymorphic Order-Sorted Resolution / C. Prehofer
- Default Theory for Well Founded Semantics with Explicit Negation / L. M. Pereira, J. J. Alferes and J. N. Aparicio
- Computing Answers for Disjunctive Logic Programs / U. Furbach
- Expanding Logic Programs / C. Witteveen
- Disjunctive Logic Programming, Constructivity and Strong Negation / H. Herre and D. Pearce.