Lex

Browse

GenresShelvesPremiumBlog

Company

AboutJobsPartnersSell on LexAffiliates

Resources

DocsInvite FriendsFAQ

Legal

Terms of ServicePrivacy Policygeneral@lex-books.com(215) 703-8277

© 2026 LexBooks, Inc. All rights reserved.

Decidable reasoning in first-order knowledge bases with perfect introspection

Decidable reasoning in first-order knowledge bases with perfect introspection1990

Gerhard Lakemeyer

Details

First published
1990
OL Work ID
OL12276672W

Subjects

Artificial intelligenceKnowledge, Theory ofTheory of Knowledge

Find this book

Open Library
Book data from Open Library. Cover images courtesy of Open Library.