Dynamics and Management of Reasoning Processes
Latest Publications

TOTAL DOCUMENTS

17

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer Netherlands

9789048159031, 9789401717434

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Basic Concepts

Dynamics and Management of Reasoning Processes ◽

10.1007/978-94-017-1743-4_2 ◽

2001 ◽

pp. 7-13

Author(s):

J.-J. Ch. Meyer ◽

J. Treur

Keyword(s):

Basic Concepts

Download Full-text

Dynamic Normative Reasoning under Uncertainty: How to Distinguish between Obligations under Uncertainty and Prima Facie Obligations

Dynamics and Management of Reasoning Processes ◽

10.1007/978-94-017-1743-4_14 ◽

2001 ◽

pp. 267-297

Author(s):

Leendert van der Torre ◽

Yao-Hua Tan

Keyword(s):

Prima Facie ◽

Reasoning Under Uncertainty ◽

Normative Reasoning

Download Full-text

Temporalized Epistemic Default Logic

Dynamics and Management of Reasoning Processes ◽

10.1007/978-94-017-1743-4_10 ◽

2001 ◽

pp. 177-194

Author(s):

J.-J. Ch. Meyer ◽

J. Treur ◽

W. van der Hoek

Keyword(s):

Default Logic

Download Full-text

Specification of Nonmonotonic Reasoning

Dynamics and Management of Reasoning Processes ◽

10.1007/978-94-017-1743-4_6 ◽

2001 ◽

pp. 83-103

Author(s):

Joeri Engelfriet ◽

Jan Treur

Keyword(s):

Nonmonotonic Reasoning

Download Full-text

Context-Dependent Natural Deduction for Non-Monotonic Reasoning

Dynamics and Management of Reasoning Processes ◽

10.1007/978-94-017-1743-4_13 ◽

2001 ◽

pp. 249-266

Author(s):

Philippe Besnard ◽

Yao-Hua Tan

Keyword(s):

Natural Deduction ◽

Context Dependent

Download Full-text

A New Semantics for Logic Programs

Dynamics and Management of Reasoning Processes ◽

10.1007/978-94-017-1743-4_12 ◽

2001 ◽

pp. 217-248

Author(s):

Fangzhen Lin ◽

Ray Reiter

Keyword(s):

Logic Programs

Download Full-text

Default Logic as Dynamic Doxastic Logic

Dynamics and Management of Reasoning Processes ◽

10.1007/978-94-017-1743-4_9 ◽

2001 ◽

pp. 159-176 ◽

Cited By ~ 1

Author(s):

Krister Segerberg

Keyword(s):

Default Logic ◽

Doxastic Logic ◽

Dynamic Doxastic Logic

Download Full-text

Meta-Level Selection Techniques for the Control of Default Reasoning

Dynamics and Management of Reasoning Processes ◽

10.1007/978-94-017-1743-4_11 ◽

2001 ◽

pp. 195-215

Author(s):

Victor Allis ◽

Yao-Hua Tan ◽

Jan Treur

Keyword(s):

Default Reasoning ◽

Meta Level

Download Full-text

Introduction

Dynamics and Management of Reasoning Processes ◽

10.1007/978-94-017-1743-4_1 ◽

2001 ◽

pp. 1-6

Author(s):

John-Jules Ch. Meyer ◽

Jan Treur

Download Full-text

Compositional Verification of Diagnostic Process Models

Dynamics and Management of Reasoning Processes ◽

10.1007/978-94-017-1743-4_5 ◽

2001 ◽

pp. 65-82

Author(s):

Frank Cornelissen ◽

Catholijn M. Jonker ◽

Jan Treur

Keyword(s):

Process Models ◽

Diagnostic Process ◽

Compositional Verification

Download Full-text