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
Feedback