Fundamentals of Artificial Intelligence
Latest Publications

TOTAL DOCUMENTS

7

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662391570, 9783662401453

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Deduction and Computation

Fundamentals of Artificial Intelligence ◽

10.1007/978-3-662-40145-3_2 ◽

1987 ◽

pp. 39-74 ◽

Cited By ~ 2

Author(s):

Gérard Huet

Download Full-text

An Introduction to Automated Deduction

Fundamentals of Artificial Intelligence ◽

10.1007/978-3-662-40145-3_3 ◽

1987 ◽

pp. 75-132 ◽

Cited By ~ 5

Author(s):

Mark E. Stickel

Keyword(s):

Automated Deduction

Download Full-text

Concurrent Prolog: A Progress Report

Fundamentals of Artificial Intelligence ◽

10.1007/978-3-662-40145-3_7 ◽

1987 ◽

pp. 277-313 ◽

Cited By ~ 11

Author(s):

Ehud Shapiro

Keyword(s):

Progress Report ◽

Concurrent Prolog

Download Full-text

Methods of Automated Reasoning

Fundamentals of Artificial Intelligence ◽

10.1007/978-3-662-40145-3_5 ◽

1987 ◽

pp. 171-217

Author(s):

Wolfgang Bibel

Keyword(s):

Automated Reasoning

Download Full-text

Fundamental Mechanisms in Machine Learning and Inductive Inference

Fundamentals of Artificial Intelligence ◽

10.1007/978-3-662-40145-3_4 ◽

1987 ◽

pp. 133-169 ◽

Cited By ~ 1

Author(s):

Alan W. Biermann

Keyword(s):

Machine Learning ◽

Inductive Inference

Download Full-text

Term Rewriting as a Basis for the Design of a Functional and Parallel Programming Language

Fundamentals of Artificial Intelligence ◽

10.1007/978-3-662-40145-3_6 ◽

1987 ◽

pp. 221-276 ◽

Cited By ~ 3

Author(s):

Philippe Jorrand

Keyword(s):

Parallel Programming ◽

Programming Language ◽

Term Rewriting ◽

Parallel Programming Language

Download Full-text

Knowledge Representation: Features of Knowledge

Fundamentals of Artificial Intelligence ◽

10.1007/978-3-662-40145-3_1 ◽

1987 ◽

pp. 3-36 ◽

Cited By ~ 3

Author(s):

James P. Delgrande ◽

John Mylopoulos

Keyword(s):

Knowledge Representation

Download Full-text