AI*IA 97, advances in artificial intelligence : 5th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 17-19, 1997 proceedings
著者
書誌事項
AI*IA 97, advances in artificial intelligence : 5th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 17-19, 1997 proceedings
（Lecture notes in computer science, 1321 . Lecture notes in artificial intelligence）
Springer-Verlag, c1997
大学図書館所蔵 全45件
注記
Includes bibliographical references and index
内容説明・目次
内容説明
This book constitutes the refereed proceedings of the 5th Congress of the Italian Association for Artificial Intelligence, AI*IA 97, held in Rome, Italy, in September 1997.
The 37 revised full papers and 8 system descriptions presented in the volume were selected from 88 papers submitted. The papers are organized in topical sections on machine learning; natural language processing; perception, vision and robotics; distributed artificial intelligence; and planning.
目次
Modelling conceptual change: An interdisciplinary approach.- Refining numerical terms in horn clauses.- Handling continuous data in top-down induction of first-order rules.- Inductive inference of tree automata by recursive neural networks.- A computational model of misunderstandings in Agent Communication.- Wide-Coverage lexicalized grammars.- Flexible response choice using problem-solving plans and rhetorical relations.- A variant of Earley parsing.- Autonomous robot navigation using a reactive agent.- A hybrid architecture for autonomous agents.- 3-D Facets construction for stereovision.- Extraction of discriminant features from image fractal encoding.- Learning relational concepts at different levels of granularity.- Inferring minimal rule covers from relations.- Corpus-driven unsupervised learning of verb subcategorization frames.- Learning the syntax and semantic rules of an ECG grammar.- Introducing abduction into (Extensional) inductive logic programming systems.- An efficient algorithm for temporal abduction.- Experimental analysis of the computational cost of evaluating Quantified Boolean Formulae.- A proof theory for tractable approximations of propositional reasoning.- Embedding minimal knowledge into autoepistemic logic.- User model-based information filtering.- A comparative analysis of Horn models and Bayesian Networks for diagnosis.- Multi-agent negotiation and planning through knowledge contextualization.- From task delegation to role delegation.- Automated reasoning on-board autonomous spacecraft.- A weakly backjumping strategy to solve hard scheduling problems.- Compiling task networks into partial order planning domains.- A hybrid approach to hypertext generation.- Generating user-adapted hypermedia from discourse plans.- WordNet for Italian and its use for lexical discrimination.- Efficient support for reactive rules in prolog.- Reasoning with behavioural knowledge in application domain models.- How to solve qualification and ramification using Dijkstra's semantics for programming languages.- Towards a qualitative Representation of Linguistic Negation of Nuanced Properties.- CBET: A Case Base Exploration Tool.- Learning feature weights for CBR: Global versus local.- CompAss: A system for plans of study compilation.- A prototypal system for data-validation.- ODB-Tools: A description logics based tool for schema validation and semantic query optimization in object oriented databases.- Processing paper documents with WISDOM.- REGAL3.2: FOL concept learning by cooperative genetic algorithms.- IDL: A prototypical intelligent digital library service.- An object-oriented architecture for the DRS scheduling problem.- MASMA: A personal assistant for meetings management.
「Nielsen BookData」 より