Advances in Artificial Intelligence: Third Congress of the Italian Association for Artificial Intelligence, AI*IA `93, Torino, Italy, October 26-28, 1993. Proceedings
Springer Science & Business Media, 5 de out de 1993 - 336 páginas
This book contains 22 long papers and 13 short ones selected for the Scientific Track of the Third Congress of the Italian Association for Artificial Intelligence. The long papers report completed work whereas the short papers are mainly devoted to ongoing research. The papers report significant work carried out in the different subfields of artificial intelligence not only in Italy but also elsewhere: 8 of the papers come from outside Italy, with 2 from the United States and 1 eachfrom Australia, Austria, Germany, The Netherlands, Spain, and Turkey. The papers in the book are grouped into parts on: automated reasoning; cognitive models; connectionist models and subsymbolic approaches; knowledge representation and reasoning; languages, architectures and tools for AI; machine learning; natural language; planning and robotics; and reasoning about physical systems and artifacts.
O que estão dizendo - Escrever uma resenha
Não encontramos nenhuma resenha nos lugares comuns.
Outras edições - Visualizar todos
action agents application approach architecture Artificial Intelligence ATMS autoepistemic autoepistemic logic backpropagation basic behavior boundary webs complete component computation configuration consider consistent constraint network constraint propagation Constraint Satisfaction Problems corresponding default default logic defined definition denote described disjunction domain environment example formal formula function Genetic Algorithms GETFOL given goal hole Horn clauses hypothesis implementation induction inference inference rules input instance interaction intervals knowledge base knowledge representation labeling literals logic programs logical implication Machine Learning minimal Natural Language neural network nodes object paper parameters performed possible predicate prime implicants problem Proc procedure proof strategies propagation propositional reasoning refinement operators relations relevant represent resource robot rules satisfied semantics Simulated Annealing solving space specified stable model semantics structure subsumption superquadric symbolic tactic temporal network terminological theorem theory Trento variables VITAL-KR