Name: combining first-order logic and logic programming using fol-programs
SKU: 3487917
Price: 68.61 EUR
Availability: InStock
Author: michael felderer
ISBN: 9783639033250

Select your country

Americas

Europe

Rest of the world

portada combining first-order logic and logic programming using fol-programs

combining first-order logic and logic programming using fol-programs

Type

Physical Book

Publisher

vdm verlag dr. muller aktiengesells

Author

michael felderer

Pages

116

ISBN

3639033256

ISBN13

9783639033250

Synopsis "combining first-order logic and logic programming using fol-programs"

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 aro ...