Please use this identifier to cite or link to this item:
Title: Automated reasoning, knowledge representation and management
Authors: Baumgartner, Peter
Furbach, Ulrich
Yahya, Adnan
Keywords: Reasoning
Knowledge representation (Information theory)
Management - Data processing
Artificial intelligence
Issue Date: 2005
Publisher: German Society for Artificial Intelligence (KI)
Citation: Peter Baumgartner, Ulrich Furbach, Adnan H. Yahya, <em><a href="">Automated Reasoning, Knowledge Representation and Management</a></em> (2005)
Abstract: ABSTRACT: This overview discusses the connection between two subdisciplines of AI, Automated Reasoning and Knowledge Representation. The state of the art in Automated Reasoning is briefly indicated and its relation to Logic Programming and Knowledge Representation is presented. The issue of Knowledge Management is addressed via a case study.
Description: German Journal of Artificial Intelligence (KI). Volume 19, Issue 1, Pages 5-11, 2005.
Appears in Collections:Fulltext Publications

Files in This Item:
File Description SizeFormat 
ABSTRACTBaumgartnerFurbachYahya.pdf176.63 kBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.