The Kluwer International Series in Engineering and Computer Science - Machine Learning, Meta-Reasoning and Logics
Latest Publications

TOTAL DOCUMENTS

14

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Springer US

9781461289067, 9781461316411

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Overgenerality in Explanation-Based Generalization

The Kluwer International Series in Engineering and Computer Science - Machine Learning, Meta-Reasoning and Logics ◽

10.1007/978-1-4613-1641-1_6 ◽

1990 ◽

pp. 121-134

Author(s):

Haym Hirsh

Download Full-text

Hierarchic Autoepistemic Theories for Nonmonotonic Reasoning: Preliminary Report

The Kluwer International Series in Engineering and Computer Science - Machine Learning, Meta-Reasoning and Logics ◽

10.1007/978-1-4613-1641-1_13 ◽

1990 ◽

pp. 277-299

Author(s):

Kurt Konolige

Keyword(s):

Preliminary Report ◽

Nonmonotonic Reasoning

Download Full-text

Minimal Change — A Criterion for Choosing between Competing Models

The Kluwer International Series in Engineering and Computer Science - Machine Learning, Meta-Reasoning and Logics ◽

10.1007/978-1-4613-1641-1_12 ◽

1990 ◽

pp. 257-276

Author(s):

Ken Satoh

Keyword(s):

Minimal Change ◽

Competing Models

Download Full-text

Meta-Reasoning: Transcription of an Invited Lecture by

The Kluwer International Series in Engineering and Computer Science - Machine Learning, Meta-Reasoning and Logics ◽

10.1007/978-1-4613-1641-1_5 ◽

1990 ◽

pp. 107-112

Author(s):

Luigia Aiello

Download Full-text

Mutual Constraints on Representation and Inference

The Kluwer International Series in Engineering and Computer Science - Machine Learning, Meta-Reasoning and Logics ◽

10.1007/978-1-4613-1641-1_4 ◽

1990 ◽

pp. 85-106 ◽

Author(s):

Stuart Russell ◽

Devika Subramanian

Download Full-text

Automated Quantified Modal Logic

The Kluwer International Series in Engineering and Computer Science - Machine Learning, Meta-Reasoning and Logics ◽

10.1007/978-1-4613-1641-1_14 ◽

1990 ◽

pp. 301-317 ◽

Author(s):

L. Fariñas del Cerro ◽

A. Herzig

Keyword(s):

Modal Logic ◽

Quantified Modal Logic

Download Full-text

Knowledge Revision and Multiple Extensions

The Kluwer International Series in Engineering and Computer Science - Machine Learning, Meta-Reasoning and Logics ◽

10.1007/978-1-4613-1641-1_11 ◽

1990 ◽

pp. 235-255

Author(s):

Camilla B. Schwind

Keyword(s):

Knowledge Revision

Download Full-text

A Metalevel Manifesto

The Kluwer International Series in Engineering and Computer Science - Machine Learning, Meta-Reasoning and Logics ◽

10.1007/978-1-4613-1641-1_1 ◽

1990 ◽

pp. 3-17 ◽

Author(s):

D. Paul Benjamin

Download Full-text

Discovery and Revision via Incremental Hill Climbing

The Kluwer International Series in Engineering and Computer Science - Machine Learning, Meta-Reasoning and Logics ◽

10.1007/978-1-4613-1641-1_9 ◽

1990 ◽

pp. 187-206

Author(s):

Donald Rose

Keyword(s):

Download Full-text

Shift of Bias as Non-Monotonic Reasoning

The Kluwer International Series in Engineering and Computer Science - Machine Learning, Meta-Reasoning and Logics ◽

10.1007/978-1-4613-1641-1_3 ◽

1990 ◽

pp. 55-83 ◽

Author(s):

Benjamin N. Grosof ◽

Stuart J. Russell

Keyword(s):

Download Full-text