Lecture Notes in Computer Science - Logics in AI
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer-Verlag

354055887x

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Deriving inference rules for terminological logics

Lecture Notes in Computer Science - Logics in AI ◽

10.1007/bfb0023423 ◽

2005 ◽

pp. 84-105 ◽

Cited By ~ 6

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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 3

Author(s):

Anthony Hunter

Keyword(s):

Proof Theory

Download Full-text

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

A modal theory of arrows. Arrow logics I

Lecture Notes in Computer Science - Logics in AI ◽

10.1007/bfb0023418 ◽

2005 ◽

pp. 1-24 ◽

Cited By ~ 3

Author(s):

Dimiter Vakarelov

Keyword(s):

Modal Theory

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 ◽

Cited By ~ 4

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 ◽

Cited By ~ 4

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 ◽

Cited By ~ 5

Author(s):

Hans Rott

Keyword(s):

Preliminary Report ◽

Belief Change ◽

Epistemic Entrenchment ◽

Multiple Contraction ◽

Base Contraction

Download Full-text

An efficient constraint language for polymorphic order-sorted resolution

Lecture Notes in Computer Science - Logics in AI ◽

10.1007/bfb0023436 ◽

2005 ◽

pp. 319-338

Author(s):

Christian Prehofer

Keyword(s):

Constraint Language

Download Full-text

Lecture Notes in Computer Science - Logics in AILatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer-Verlag

Deriving inference rules for terminological logics

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

A conceptualization of preferences in non-monotonic proof theory

Knowledge without modality: A simplified framework for chronological ignorance

A modal theory of arrows. Arrow logics I

Logical omniscience and classical logic

Reasoning with defeasible arguments: Examples and applications

Transition systems and dynamic semantics

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

An efficient constraint language for polymorphic order-sorted resolution

Lecture Notes in Computer Science - Logics in AI
Latest Publications