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)
Source: 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
Show full item record

Page view(s)

Last Week
Last month
checked on Jun 27, 2024


checked on Jun 27, 2024

Google ScholarTM


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