A Fully Connectionist Model Generator for Covered First-Order Logic Programs

Sebastian BaderSebastian Bader, Pascal HitzlerPascal Hitzler, Steffen HölldoblerSteffen Hölldobler, Andreas WitzelAndreas Witzel

Download

Sebastian Bader, Pascal Hitzler, Steffen Hölldobler, Andreas Witzel
A Fully Connectionist Model Generator for Covered First-Order Logic Programs
In Manuela M. Veloso, eds., Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07), 666-671, January 2007. AAAI Press

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@inproceedings{BHHW2007,
  author    = {Sebastian Bader and Pascal Hitzler and Steffen H{\"{o}}lldobler
               and Andreas Witzel},
  title     = {A Fully Connectionist Model Generator for Covered First-Order
               Logic Programs},
  editor    = {Manuela M. Veloso},
  booktitle = {Proceedings of the Twentieth International Joint Conference on
               Artificial Intelligence (IJCAI'07)},
  publisher = {AAAI Press},
  year      = {2007},
  month     = {January},
  pages     = {666-671}
}