Reasoning, Action and Interaction in AI Theories and Systems Essays Dedicated to Luigia Carlucci Aiello /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Stock, Oliviero (Editor ), Schaerf, Marco (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Edición:1st ed. 2006.
Colección:Lecture Notes in Artificial Intelligence, 4155
Temas:
Artificial intelligence.
Application software.
Machine theory.
Artificial Intelligence.
Computer and Information Systems Applications.
Formal Languages and Automata Theory.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Searching in a Maze, in Search of Knowledge: Issues in Early Artificial Intelligence
  • Research Perspectives for Logic and Deduction
  • Reductio ad Absurdum: Planning Proofs by Contradiction
  • Computational Logic in an Object-Oriented World
  • Best-First Rippling
  • Partial Solutions with Unique Completion
  • A Computerized Referee
  • About Implicit and Explicit Shape Representation
  • Agents, Equations and All That: On the Role of Agents in Understanding Complex Systems
  • Coordination of Actions in an Autonomous Robotic System
  • Artificial Intelligence in RoboCup
  • Planning Under Uncertainty and Its Applications
  • Reasoning About Web Services in a Temporal Action Logic
  • Intelligent Search on the Internet
  • Cracking Crosswords: The Computer Challenge
  • Model-Based Diagnosis Through OBDD Compilation: A Complexity Analysis
  • Examples of Integration of Induction and Deduction in Knowledge Discovery
  • SharedLife: Towards Selective Sharing of Augmented Personal Memories.

Ejemplares similares