11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning {LPAR 2004}

F. BaaderF. Baader, A. VoronkonvA. Voronkonv

F. Baader, A. Voronkonv
11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning {LPAR 2004}
Volume 3452 of Lecture Notes in Artificial Intelligence. Springer, 2005

Details
Bibtex

KurzfassungAbstract
This volume contains the papers presented at the 11th International
Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), held from March 14 to 18, 2005, in Montevideo, Uruguay, together with the 5th International Workshop on the Implementation of Logics (organised by Stephan Schulz and Boris Konev) and the
Workshop on Analytic Proof Systems (organised by Matthias Baaz).
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

The final publication is available at Springer.

@book{ BaaderLPAR2004,
  address = {Montevideo, Uruguay},
  editor = {F. {Baader} and A. {Voronkonv}},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Artificial Intelligence},
  title = {11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning {LPAR 2004}},
  volume = {3452},
  year = {2005},
}