Logics in Artificial Intelligence, 9th European Conference, JELIA 2004

José Júlio Alves Alferes (Editor/Coordinator), João Alexandre Carvalho Pinheiro Leite (Editor/Coordinator)

Research output: Book/ReportBook

Abstract

The proceedings contain 70 papers from Logics in Artificial Intelligence - 9th European Conference, JELIA 2004. The topics discussed include: representing and reasoning with preferences; engineering of logics for the content-based representation of information; formal methods in robotics; games for cognitive agents; knowledge-theoretic properties of strategic voting; the CIFF proof procedure for abductive logic programming with constraints; verifying communicating agents by model checking in a temporal action logic; practical reasoning for uncertain agents; parallel encodings of classical planning as satisfiability; relational Markov games; and transforming fuzzy description logics into classical description logics.
Original languageEnglish
Place of PublicationLisbon, Portugal
PublisherSpringer
ISBN (Print)3-540-23242-7
Publication statusPublished - 1 Jan 2004

Publication series

NameLecture Notes in Artificial Intelligence
PublisherSpringer
No.3229
ISSN (Print)0302-9743

Keywords

  • Theorem proving
  • Uncertain systems
  • Boolean algebra
  • Database systems
  • Formal logic
  • Functions
  • Game theory
  • Interpolation
  • Knowledge engineering
  • Mathematical models
  • Multi agent systems
  • Network protocols
  • Probability
  • Problem solving
  • Security of data
  • Statistical methods

Fingerprint

Dive into the research topics of 'Logics in Artificial Intelligence, 9th European Conference, JELIA 2004'. Together they form a unique fingerprint.

Cite this