Title :
Representation and Reasoning [Guest editor´s introduction]
Author_Institution :
University of Koblenz
Abstract :
The guest editor discusses some of the developments in automated reasoning and knowledge representation, detailing how the articles in this special issue provide a broad overview of the field.
Keywords :
Artificical intelligence; Bayes methods; Cognition; Evolultionary computation; Knowledge based systems; Knowledge representation; Reasoning about programs; Special issues and sections; AI; automated reasoning; intelligent systems; knowledge representation;
Journal_Title :
Intelligent Systems, IEEE