LIBROS DEL AUTOR: michael felderer

1 resultados para LIBROS DEL AUTOR: michael felderer

michael felderer Eliminar filtro Quitar filtros
  • Combining First-Order Logic and Logic Programming Using Fol-programs
    Michael Felderer
    The integration of knowledge bases in classical first-order logic (and in particular of ontologies in various description logics) with rule languages rooted in logic programming is receiving considerable attention in the context of current efforts around Semantic-Web languages. Towards this integration we introduce fol-programs, which combine logic programs under the answer set...
    Disponible

    60,51 €