Combining First-Order Logic and Logic Programming Using Fol-programs (Paperback or Softback)

Felderer, Michael

ISBN 10: 3639033256 / ISBN 13: 9783639033250

Published by VDM Verlag Dr. Mueller E.K. 5/29/2008, 2008

About this Item

Combining First-Order Logic and Logic Programming Using Fol-programs 0.36.

Seller Inventory # BBS-9783639033250

Bibliographic Details

• Title: Combining First-Order Logic and Logic Programming Using Fol-programs (Paperback or Softback)
• Publisher: VDM Verlag Dr. Mueller E.K. 5/29/2008
• Publication Date: 2008
• Language: English
• ISBN 10: 3639033256
• ISBN 13: 9783639033250
• Binding: Paperback or Softback
• Condition: New
• Book Type: Book

About this title

Synopsis

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 and the wellfounded semantics with first-order logic knowledge bases and which generalize dl-programs, a closely related approach combining...

More