Book on Knowledge representation and problem solving: Logic approaches
->
Home page
->
Selected publications
MACH, M.:
Knowledge representation and problem solving: Logic approaches.
TU, Kosice, 2016, 96 pages,
ISBN 978-80-553-2632-0.
Full text
of the book in pdf format (0.7 MB) (Slovak version only).
Contents
Foreword
1 Propositional logic
2 Predicate logic
3 Horn logic
3.1 Forward rule chaining
3.2 Backward rule chaining
Mathematical symbols
References
Copyright © MM
Last updated 23.5.2018
