Search Results

1

Analogical and inductive inference : proceedings /

Analogical and inductive inference : proceedings /

Published 1987

Conference Proceeding Book

2

Reasoning about plans /

Reasoning about plans /

Published 1991

Book

3

Methodologies for intelligent systems : proceedings of the second international symposium, held October 14-17, 1987, in Charlotte, North Carolina /

Methodologies for intelligent systems : proceedings of the second international symposium, held October 14-17, 1987, in Charlotte, North Carolina /

Published 1987

Conference Proceeding Book

4

Qualitative reasoning about physical systems /

Qualitative reasoning about physical systems /

Published 1985

Book

5

Reasoning about uncertainty /

Reasoning about uncertainty /

by Halpern, Joseph Y., 1953-
Published 2003

Book

6

Algorithmic learning theory : 4th International Workshop on Analogical and Inductive Inference, AII '94, 5th International Workshop on Algorithmic Learning Theory, ALT '94, Reinhardsbrunn Castle, Germany, October 10-15, 1994 : proceedings /

Algorithmic learning theory : 4th International Workshop on Analogical and Inductive Inference, AII '94, 5th International Workshop on Algorithmic Learning Theory, ALT '94, Reinhar...

Published 1994

Conference Proceeding Book

7

The Frame problem in artificial intelligence : proceedings of the 1987 workshop, April 12-15, 1987, Lawrence, Kansas /

The Frame problem in artificial intelligence : proceedings of the 1987 workshop, April 12-15, 1987, Lawrence, Kansas /

Published 1987

Book

8

Probabilistic reasoning in intelligent systems : networks of plausible inference /

Probabilistic reasoning in intelligent systems : networks of plausible inference /

by Pearl, Judea
Published 1988

Book

9

Analogical and inductive inference : International Workshop AII '89, Reinhardsbrunn Castle, GDR, October, 1989 : proceedings /

Analogical and inductive inference : International Workshop AII '89, Reinhardsbrunn Castle, GDR, October, 1989 : proceedings /

Published 1989

Conference Proceeding Book

10

Exploring artificial intelligence : survey talks from the National Conferences on Artificial Intelligence /

Exploring artificial intelligence : survey talks from the National Conferences on Artificial Intelligence /

Published 1988

Conference Proceeding Book

11

Formal methods in artificial intelligence /

Formal methods in artificial intelligence /

by Ramsay, Allan, 1953-
Published 1988

Book

12

Formal theories of the commonsense world /

Formal theories of the commonsense world /

Published 1985

Book

13

Simply logical : intelligent reasoning by example /

Simply logical : intelligent reasoning by example /

by Flach, Peter A.
Published 1994

Book

14

Reasoning and revision in hybrid representation systems /

Reasoning and revision in hybrid representation systems /

by Nebel, Bernhard, 1956-
Published 1990

Book

15

Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, March 19-22, 1986, Monterey, California /

Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, March 19-22, 1986, Monterey, California /

Published 1986

Book

16

Non-monotonic reasoning : 2nd international workshop, Grassau, FRG, June 1988 : proceedings /

Non-monotonic reasoning : 2nd international workshop, Grassau, FRG, June 1988 : proceedings /

Published 1989

Conference Proceeding Book