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

From International Center for Computational Logic
Toggle side column

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

Franz BaaderFranz Baader,  A. VoronkonvA. Voronkonv
11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning LPAR 2004


Franz 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
  • 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},
}