Dynamic Tractable Reasoning
Latest Publications

TOTAL DOCUMENTS

9

(FIVE YEARS 9)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer International Publishing

9783030362324, 9783030362331

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Conclusions

Dynamic Tractable Reasoning ◽

10.1007/978-3-030-36233-1_9 ◽

2020 ◽

pp. 195-197

Author(s):

Holger Andreas

Download Full-text

Belief Revision

Dynamic Tractable Reasoning ◽

10.1007/978-3-030-36233-1_3 ◽

2020 ◽

pp. 49-65

Author(s):

Holger Andreas

Keyword(s):

Belief Revision

Download Full-text

Frame Logic

Dynamic Tractable Reasoning ◽

10.1007/978-3-030-36233-1_8 ◽

2020 ◽

pp. 153-193

Author(s):

Holger Andreas

Download Full-text

Truth Maintenance

Dynamic Tractable Reasoning ◽

10.1007/978-3-030-36233-1_7 ◽

2020 ◽

pp. 109-151

Author(s):

Holger Andreas

Keyword(s):

Truth Maintenance

Download Full-text

Structuralist Belief Revision

Dynamic Tractable Reasoning ◽

10.1007/978-3-030-36233-1_6 ◽

2020 ◽

pp. 97-108

Author(s):

Holger Andreas

Keyword(s):

Belief Revision

Download Full-text

Frames

Dynamic Tractable Reasoning ◽

10.1007/978-3-030-36233-1_2 ◽

2020 ◽

pp. 23-48

Author(s):

Holger Andreas

Download Full-text

Postulates for Structuralism

Dynamic Tractable Reasoning ◽

10.1007/978-3-030-36233-1_5 ◽

2020 ◽

pp. 81-96

Author(s):

Holger Andreas

Download Full-text

Introduction

Dynamic Tractable Reasoning ◽

10.1007/978-3-030-36233-1_1 ◽

2020 ◽

pp. 1-19

Author(s):

Holger Andreas

Download Full-text

Defeasible Reasoning

Dynamic Tractable Reasoning ◽

10.1007/978-3-030-36233-1_4 ◽

2020 ◽

pp. 67-78

Author(s):

Holger Andreas

Keyword(s):

Defeasible Reasoning

Download Full-text