Logic for Programming, Artificial Intelligence, and Reasoning
Subtitle: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings (Lecture Notes in Computer Science)
Contributors: Moshe Vardi (Editor); Andrei Voronkov (Editor)
Edition: 1 edition
Publisher: Springer
Published: November 5, 2003
Language: eng
Format: Paperback
Number of pages: 437
ISBN-13: 9783540201014
Subjects: Computer Programming; Logic Design; Congresses; Programming - Software Development; Computer Bks - General Information; Computers; Computers - General Information; Computer Books: General; Artificial Intelligence - General; Computers / Artificial Intelligence; Automatic theorem proving; Logic programming
First sentence: Description logics (DLs) [1] are a family of knowledge representation languages which can be used to represent the terminological knowledge of an application domain in a structured and formally well-understood way.