Logic for Computer Science and Artificial Intelligence
Ricardo Caferra(auth.)
Content:
Chapter 1 Introduction (pages 1–6):
Chapter 2 A Few Thoughts Before the Formalization (pages 7–37):
Chapter 3 Propositional Logic (pages 39–119):
Chapter 4 First?order Terms (pages 121–130):
Chapter 5 First?Order Logic (FOL) or Predicate Logic (PL1, PC1) (pages 131–211):
Chapter 6 Foundations of Logic Programming (pages 213–244):
Chapter 7 Artificial Intelligence (pages 245–257):
Chapter 8 Inference (pages 259–290):
Chapter 9 Problem Specification in Logical Languages (pages 291–326):
Chapter 10 Non?classical Logics (pages 327–384):
Chapter 11 Knowledge and Logic: Some Notions (pages 385–394):
Chapter 12 Solutions to the Exercises (pages 395–514):
Chapter 1 Introduction (pages 1–6):
Chapter 2 A Few Thoughts Before the Formalization (pages 7–37):
Chapter 3 Propositional Logic (pages 39–119):
Chapter 4 First?order Terms (pages 121–130):
Chapter 5 First?Order Logic (FOL) or Predicate Logic (PL1, PC1) (pages 131–211):
Chapter 6 Foundations of Logic Programming (pages 213–244):
Chapter 7 Artificial Intelligence (pages 245–257):
Chapter 8 Inference (pages 259–290):
Chapter 9 Problem Specification in Logical Languages (pages 291–326):
Chapter 10 Non?classical Logics (pages 327–384):
Chapter 11 Knowledge and Logic: Some Notions (pages 385–394):
Chapter 12 Solutions to the Exercises (pages 395–514):
Категорії:
Рік:
2013
Видавництво:
Wiley-ISTE
Мова:
english
Сторінки:
528
ISBN 10:
1848213018
ISBN 13:
9781848213012
Файл:
PDF, 9.65 MB
IPFS:
,
english, 2013