E-Books durchsuchen
Logics in AI [1992]
- 1
-
A modal theory of arrows. Arrow logics I
- 25
-
Knowledge without modality: A simplified framework for chronological ignorance
- 36
-
Design complete sequential calculus for continuous fixpoint temporal logic
- 52
-
Logical omniscience and classical logic
- 65
-
Weak implication: Theory and applications
- 84
-
Deriving inference rules for terminological logics
- 106
-
Linear proofs and linear logic
- 126
-
Relevance and revision
- 139
-
Modellings for belief change: Base contraction, multiple contraction, and epistemic entrenchment (preliminary report)
- 154
-
A framework for default logics
- 174
-
A conceptualization of preferences in non-monotonic proof theory
- 189
-
Reasoning with defeasible arguments: Examples and applications
- 212
-
About deductive generalization
- 232
-
Transition systems and dynamic semantics
- 252
-
Declarative semantics for inconsistent database programs
- 262
-
Tableau-based theorem proving and synthesis of λ-terms in the intuitionistic logic
- 279
-
A constructive type system based on data terms
- 304
-
An ordered resolution and paramodulation calculus for finite many-valued logics
- 319
-
An efficient constraint language for polymorphic order-sorted resolution
- 339
-
Default theory for Well Founded Semantics with explicit negation
- 357
-
Computing answers for disjunctive logic programs
- 373
-
Expanding logic programs
- 391
-
Disjunctive logic programming, constructivity and strong negation