Applied Logic Series - Logical and Computational Aspects of Model-Based Reasoning
Latest Publications

TOTAL DOCUMENTS

15

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer Netherlands

9781402007910, 9789401005500

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Diagrammatic Inference and Graphical Proof

Applied Logic Series - Logical and Computational Aspects of Model-Based Reasoning ◽

10.1007/978-94-010-0550-0_4 ◽

2002 ◽

pp. 73-91

Author(s):

Luis A. Pineda

Download Full-text

Model-Based Diagnosis of Dynamic Systems: Systematic Conflict Generation

Applied Logic Series - Logical and Computational Aspects of Model-Based Reasoning ◽

10.1007/978-94-010-0550-0_13 ◽

2002 ◽

pp. 273-291 ◽

Author(s):

Bartłomiej Górny ◽

Antoni Ligeza

Keyword(s):

Dynamic Systems ◽

Download Full-text

Encoding and Using Domain Knowledge on Population Dynamics for Equation Discovery

Applied Logic Series - Logical and Computational Aspects of Model-Based Reasoning ◽

10.1007/978-94-010-0550-0_11 ◽

2002 ◽

pp. 227-247 ◽

Author(s):

Sašo Džeroski ◽

Ljupčo Todorovski

Keyword(s):

Population Dynamics ◽

Domain Knowledge

Download Full-text

Degrees of Abductive Boldness

Applied Logic Series - Logical and Computational Aspects of Model-Based Reasoning ◽

10.1007/978-94-010-0550-0_8 ◽

2002 ◽

pp. 163-180

Author(s):

Isabella C. Burger ◽

Johannes Heidema

Download Full-text

Computational Discovery of Communicable Scientific Knowledge

Applied Logic Series - Logical and Computational Aspects of Model-Based Reasoning ◽

10.1007/978-94-010-0550-0_10 ◽

2002 ◽

pp. 201-225 ◽

Author(s):

Pat Langley ◽

Jeff Shrager ◽

Kazumi Saito

Keyword(s):

Scientific Knowledge ◽

Computational Discovery

Download Full-text

Scientific Explanation and Modified Semantic Tableaux

Applied Logic Series - Logical and Computational Aspects of Model-Based Reasoning ◽

10.1007/978-94-010-0550-0_9 ◽

2002 ◽

pp. 181-198 ◽

Author(s):

Angel Nepomuceno-Fernández

Keyword(s):

Scientific Explanation ◽

Semantic Tableaux

Download Full-text

Adaptive Logics for Non-Explanatory and Explanatory Diagnostic Reasoning

Applied Logic Series - Logical and Computational Aspects of Model-Based Reasoning ◽

10.1007/978-94-010-0550-0_6 ◽

2002 ◽

pp. 117-142 ◽

Author(s):

Dagmar Provijn ◽

Erik Weber

Keyword(s):

Diagnostic Reasoning ◽

Adaptive Logics

Download Full-text

Combining Strategy and Sub-Models for the Objectified Communication of Research Programs

Applied Logic Series - Logical and Computational Aspects of Model-Based Reasoning ◽

10.1007/978-94-010-0550-0_15 ◽

2002 ◽

pp. 313-330 ◽

Author(s):

Ekkehard Finkeissen

Keyword(s):

Research Programs

Download Full-text

Model-Guided Proof Planning

Applied Logic Series - Logical and Computational Aspects of Model-Based Reasoning ◽

10.1007/978-94-010-0550-0_7 ◽

2002 ◽

pp. 143-162

Author(s):

Seungyeob Choi ◽

Manfred Kerber

Keyword(s):

Download Full-text

A Logical Analysis of Graphical Consistency Proofs

Applied Logic Series - Logical and Computational Aspects of Model-Based Reasoning ◽

10.1007/978-94-010-0550-0_5 ◽

2002 ◽

pp. 93-115 ◽

Author(s):

Atsushi Shimojima

Keyword(s):

Logical Analysis ◽

Consistency Proofs

Download Full-text