Progress in artificial intelligence : 9th Portuguese Conference on Artificial Intelligence, EPIA '99, Évora, Portugal, September 21-24, 1999 : proceedings

Pedro Barahona, José J. Alferes (eds.)

This book constitutes the refereed proceedings of the 9th Portuguese Conference on Artificial Intelligence, EPIA '99, held in Evora, Portugal in September 1999. The 23 revised full papers presented together with three invited full papers were carefully reviewed and selected from a total of 66 submissions from 17 different countries. The papers are organized in topical sections on constraint programming, natural language processing, spatial reasoning, logic programming, theorem proving, reasoning under uncertainty, multi-agent systems, abduction and revision, and genetic algorithms.

「Nielsen BookData」より

[目次]

  • Invited Lectures.- Combinatorial Optimization in OPL Studio.- Challenges for Inductive Logic Programming.- Holonic Multiagent Systems - Theory and Applications -.- Constraint Programming.- On the Accuracy and Running Time of GSAT.- The Impact of Branching Heuristics in Propositional Satisfiability Algorithms.- A Tractable Subclass of the Block Algebra: Constraint Propagation and Preconvex Relations.- Is a Tractable Language?.- Natural Language Processing.- Inclusion of Picture Sequences in Generated Documents.- Using LocalMaxs Algorithm for the Extraction of Contiguous and Non-contiguous Multiword Lexical Units.- On the Formal Distinction between Literal and Figurative Language.- Spatial Reasoning.- Qualitative Theory of Shape and Structure.- Logic Programming.- A New Formulation of Tabled Resolution with Delay.- YapOr: An Or-Parallel Prolog System Based on Environment Copying.- Theorem Proving.- Structure Theorems for Closed Sets of Implicates/Implicants in Temporal Logic.- Critical Agents Supporting Interactive Theorem Proving.- Reasoning Under Uncertainty.- A Practical Approach to Fusing Prioritized Knowledge Bases.- Fuzzy Behaviors and Behavior Arbitration in Autonomous Vehicles.- Multi-agent Systems.- A Multi-agent System for Electronic Commerce Including Adaptive Strategic Behaviours.- Choice and Institutions in Agent Societies.- Analytic Modal Revision for Multi-agent Systems.- Decisions Based upon Multiple Values: The BVG Agent Architecture.- Abduction and Revision.- Temporal Abductive Diagnosis.- A New Approach to Base Revision.- Improving Optical Music Recognition by Means of Abductive Constraint Logic Programming.- Genetic Algorithms.- Genetic Algorithms for Solving Open Shop Scheduling Problems.- Expressing Population Based Optimization Heuristics Using PLATO.

「Nielsen BookData」より

この本の情報

書名 Progress in artificial intelligence : 9th Portuguese Conference on Artificial Intelligence, EPIA '99, Évora, Portugal, September 21-24, 1999 : proceedings
著作者等 Barahona, P.
Portuguese Conference on Artificial Intelligence
Alferes Jose Julio
Barahona P.
Alferes José J.
シリーズ名 Lecture notes in computer science
出版元 Springer
刊行年月 c1999
ページ数 xi, 383 p.
大きさ 24 cm
ISBN 354066548X
NCID BA43281426
※クリックでCiNii Booksを表示
言語 英語
出版国 ドイツ
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想