Practical Reasoning - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540613138, 9783540684541

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A tableau calculus for first-order branching time logic

Practical Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-61313-7_89 ◽

1996 ◽

pp. 399-413 ◽

Cited By ~ 2

Author(s):

Wolfgang May ◽

Peter H. Schmitt

Keyword(s):

Branching Time ◽

First Order ◽

Time Logic

Download Full-text

Commands in dialogue logic

Practical Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-61313-7_77 ◽

1996 ◽

pp. 246-260 ◽

Cited By ~ 12

Author(s):

Roderic A. Girle

Download Full-text

Human reasoning with negative defaults

Practical Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-61313-7_104 ◽

1996 ◽

pp. 606-621 ◽

Cited By ~ 1

Author(s):

Carl Vogel

Keyword(s):

Human Reasoning

Download Full-text

A unified framework for hypothetical and practical reasoning (1): Theoretical foundations

Practical Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-61313-7_63 ◽

1996 ◽

pp. 58-72 ◽

Cited By ~ 7

Author(s):

S. K. Das ◽

J. Fox ◽

P. Krause

Keyword(s):

Practical Reasoning ◽

Unified Framework ◽

Theoretical Foundations

Download Full-text

General domain circumscription and its first-order reduction

Practical Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-61313-7_65 ◽

1996 ◽

pp. 93-109

Author(s):

Patrick Doherty ◽

Witold Łukaszewicz ◽

Andrzej Szałas

Keyword(s):

Order Reduction ◽

General Domain ◽

First Order

Download Full-text

Goals in argumentation

Practical Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-61313-7_75 ◽

1996 ◽

pp. 223-230 ◽

Cited By ~ 2

Author(s):

Michael A. Gilbert

Download Full-text

Complex argumentation in judicial decisions. Analysing conflicting arguments

Practical Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-61313-7_94 ◽

1996 ◽

pp. 464-479 ◽

Cited By ~ 3

Author(s):

José Plug

Keyword(s):

Judicial Decisions ◽

Complex Argumentation

Download Full-text

On the semantics of the unknown

Practical Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-61313-7_105 ◽

1996 ◽

pp. 622-636

Author(s):

Steffo Weber

Download Full-text

Graded inheritance nets for knowledge representation

Practical Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-61313-7_92 ◽

1996 ◽

pp. 436-448

Author(s):

Ingrid Neumann

Keyword(s):

Knowledge Representation

Download Full-text

The normative reconstruction of analogy argumentation in judicial decisions: A pragma-dialectical perspective

Practical Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-61313-7_87 ◽

1996 ◽

pp. 375-383

Author(s):

Harm Kloosterhuis

Keyword(s):

Judicial Decisions ◽

Dialectical Perspective ◽

Normative Reconstruction

Download Full-text

Practical Reasoning - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

A tableau calculus for first-order branching time logic

Commands in dialogue logic

Human reasoning with negative defaults

A unified framework for hypothetical and practical reasoning (1): Theoretical foundations

General domain circumscription and its first-order reduction

Goals in argumentation

Complex argumentation in judicial decisions. Analysing conflicting arguments

On the semantics of the unknown

Graded inheritance nets for knowledge representation

The normative reconstruction of analogy argumentation in judicial decisions: A pragma-dialectical perspective

Practical Reasoning - Lecture Notes in Computer Science
Latest Publications