• Produktbild: Progress in Artificial Intelligence
  • Produktbild: Progress in Artificial Intelligence

Progress in Artificial Intelligence 9th Portuguese Conference on Artificial Intelligence, EPIA '99, Evora, Portugal, September 21-24, 1999. Proceedings

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

08.09.1999

Herausgeber

Pedro Barahona + weitere

Verlag

Springer Berlin

Seitenzahl

392

Maße (L/B/H)

23,5/15,5/2,1 cm

Gewicht

610 g

Auflage

1999

Sprache

Englisch

ISBN

978-3-540-66548-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

08.09.1999

Herausgeber

Verlag

Springer Berlin

Seitenzahl

392

Maße (L/B/H)

23,5/15,5/2,1 cm

Gewicht

610 g

Auflage

1999

Sprache

Englisch

ISBN

978-3-540-66548-9

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Progress in Artificial Intelligence
  • Produktbild: Progress in Artificial Intelligence
  • 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.