Logics in Artificial Intelligence

S. HölldoblerS. Hölldobler, Carsten LutzCarsten Lutz, H. WansingH. Wansing

S. Hölldobler, Carsten Lutz, H. Wansing
Logics in Artificial Intelligence
Volume 5293 of Lecture Notes in Artificial Intelligence. Springer, 2008

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

The final publication is available at Springer.

@book{HLW2008,
  author    = {S. H{\"{o}}lldobler and Carsten Lutz and H. Wansing},
  title     = {Logics in Artificial Intelligence},
  editor    = {S. H{\"{o}}lldobler and C. Lutz and H. Wansing},
  series    = {Lecture Notes in Artificial Intelligence},
  volume    = {5293},
  publisher = {Springer},
  year      = {2008}
}