Logic programming and nonmonotonic reasoning proceedings
Format: | Book |
---|---|
Language: | English |
Published: |
Berlin
Springer Verlag
1995
|
Series: | Lecture notes in artificial intelligence
928 |
Subjects: |
Similar Items
-
Automated deduction - CADE-12 proceedings
Published: (1994) -
Automated deduction, CADE-11 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 proceedings
Published: (1992) -
Nonmonotonic logics basic concepts, results, and techniques
by: Schlechta, Karl
Published: (1997) -
Representing and reasoning with probabilistic knowledge a logical approach to probabilities
by: Bacchus, Fahiem
Published: (1990) -
Handbook of logic in artificial intelligence and logic programming /
Published: (1998)