Subreihe Künstliche Intelligenz
© 1991
GWAI-91 15. Fachtagung für Künstliche Intelligenz
Bonn, 16.-20. September 1991 Proceedings
Editors: Christaller, Thomas (Hrsg.)
Free PreviewBuy this book
- Table of contents (29 chapters)
-
-
Generalized Earley Deduction and its Correctness
Pages 2-11
-
A Completeness Proof Technique for Resolution with Equality
Pages 12-22
-
Answers for disjunctive logic programs
Pages 23-32
-
Zur Steuerung und Optimierung der SIP-Auswahl in der Magic Set Transformation
Pages 33-42
-
Non-Monotonic Reasoning for Clause Logic Programming in a General Setting
Pages 43-48
-
Table of contents (29 chapters)
Recommended for you

Bibliographic Information
- Bibliographic Information
-
- Book Title
- GWAI-91 15. Fachtagung für Künstliche Intelligenz
- Book Subtitle
- Bonn, 16.-20. September 1991 Proceedings
- Editors
-
- Thomas Christaller
- Series Title
- Subreihe Künstliche Intelligenz
- Series Volume
- 285
- Copyright
- 1991
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-662-02711-0
- DOI
- 10.1007/978-3-662-02711-0
- Softcover ISBN
- 978-3-540-54558-3
- Edition Number
- 1
- Number of Pages
- IX, 275
- Number of Illustrations
- 29 illustrations in colour
- Topics