Lecture Notes in Computer Science - Logics in AI
Latest Publications

TOTAL DOCUMENTS

20

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer-Verlag

354055887x

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Knowledge without modality: A simplified framework for chronological ignorance

Lecture Notes in Computer Science - Logics in AI ◽

10.1007/bfb0023419 ◽

2005 ◽

pp. 25-35

Author(s):

Craig MacNish

Download Full-text

Deriving inference rules for terminological logics

Lecture Notes in Computer Science - Logics in AI ◽

10.1007/bfb0023423 ◽

2005 ◽

pp. 84-105 ◽

Author(s):

Véronique Royer ◽

J. Joachim Quantz

Keyword(s):

Inference Rules

Download Full-text

Tableau-based theorem proving and synthesis of λ-terms in the intuitionistic logic

Lecture Notes in Computer Science - Logics in AI ◽

10.1007/bfb0023433 ◽

2005 ◽

pp. 262-278 ◽

Author(s):

Oliver Bittel

Keyword(s):

Theorem Proving ◽

Intuitionistic Logic

Download Full-text

A conceptualization of preferences in non-monotonic proof theory

Lecture Notes in Computer Science - Logics in AI ◽

10.1007/bfb0023428 ◽

2005 ◽

pp. 174-188 ◽

Author(s):

Anthony Hunter

Keyword(s):

Download Full-text

Logical omniscience and classical logic

Lecture Notes in Computer Science - Logics in AI ◽

10.1007/bfb0023421 ◽

2005 ◽

pp. 52-64

Author(s):

Reinhard Muskens

Keyword(s):

Classical Logic ◽

Logical Omniscience

Download Full-text

Reasoning with defeasible arguments: Examples and applications

Lecture Notes in Computer Science - Logics in AI ◽

10.1007/bfb0023429 ◽

2005 ◽

pp. 189-211 ◽

Author(s):

Gerard Vreeswijk

Download Full-text

Transition systems and dynamic semantics

Lecture Notes in Computer Science - Logics in AI ◽

10.1007/bfb0023431 ◽

2005 ◽

pp. 232-251 ◽

Author(s):

Tim Fernando

Keyword(s):

Dynamic Semantics ◽

Transition Systems

Download Full-text

Modellings for belief change: Base contraction, multiple contraction, and epistemic entrenchment (preliminary report)

Lecture Notes in Computer Science - Logics in AI ◽

10.1007/bfb0023426 ◽

2005 ◽

pp. 139-153 ◽

Author(s):

Hans Rott

Keyword(s):

Preliminary Report ◽

Belief Change ◽

Epistemic Entrenchment ◽

Multiple Contraction ◽

Base Contraction

Download Full-text

A modal theory of arrows. Arrow logics I

Lecture Notes in Computer Science - Logics in AI ◽

10.1007/bfb0023418 ◽

2005 ◽

pp. 1-24 ◽

Author(s):

Dimiter Vakarelov

Keyword(s):

Download Full-text

An ordered resolution and paramodulation calculus for finite many-valued logics

Lecture Notes in Computer Science - Logics in AI ◽

10.1007/bfb0023435 ◽

2005 ◽

pp. 304-318

Author(s):

Nicolas Zabel

Download Full-text