This book constitutes the refereed proceedings of the 8th International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA'98, held in Sozopol, Bulgaria, in September 1998.
This book on AI research and development presents a wide range of topics of interest, including automated reasoning: theorem proving, reasoning about action and change, reasoning about time and space,...
Artificial Intelligence: Methodology, Systems, Applications : Proceedings of the Sixth International Conference on Artificial Intelligence, Methodology, Systems, Applications (AIMSA '94),...