Advanced Topics in Artificial Intelligence: 11th Australian Joint Conference on Artificial Intelligence, AI'98, Brisbane, Australia, July 13-17, 1998 Selected Papers
Grigoris Antoniou, John Slaney
Springer, Nov 13, 1998 - Artificial intelligence - 333 pages
This book presents the thoroughly refereed post-conference proceedings of the 11th Australian Joint Conference on Artificial Intelligence, AI'98, held in Brisbane, Australia in July 1998. The 28 revised full papers presented in the book were carefully reviewed and selected from twice as many papers accepted for presentation at the conference. Among the topics covered are philosophical issues, fuzzy logic, agent systems, AI logics, planning, knowledge representation, automated deduction, intelligent agents, learning, constraint solving, and neural networks.
6 pages matching Fluent Calculus in this book
Results 1-3 of 6
What people are saying - Write a review
We haven't found any reviews in the usual places.
Philosophy of Artificial Intelligence
12 other sections not shown
Other editions - View all
3APL abductive validation action agent AgentSpeak(L algorithm application architecture Artificial Intelligence atoms attributes Bayesian network behaviour belief Bickhard Boost Chinese Room classifier cognitive constraint corresponding data sets decision tree defeasible logic defined Definition denotes display logic domain description dynamic E-GENET e-propositions effects environment error rate example execution finite fluent Fluent Calculus formula function fuzzy logic goal grafting implementation inference input interaction interpretation iteration knowledge Knowledge Representation labelled sequent language layer learning logic program Machine Learning mapping means method modal modal logics multiset naive Bayesian neural networks node object operations output paper parameters performance predictions probability problem Proceedings proof propositional prover reasoning recipe representation represented RoboCup rules Sasc semantics sequence simulation smart card structure symbols temporal tense logics theorem theory tion variables wheelchair workflow