git @ Cat's Eye Technologies The-Glosscubator / 77904bf
Add three vols of "Handbook of logic in AI and logic programming" Chris Pressey 1 year, 20 days ago
5 changed file(s) with 56 addition(s) and 2 deletion(s). Raw diff Collapse all Expand all
1111
1212 <!-- TOTALS -->
1313
14 Currently it consists of **595** web pages, **67** repositories, **147** papers, and **167** books in **93** topics.
14 Currently it consists of **595** web pages, **67** repositories, **147** papers, and **170** books in **93** topics.
1515 Of these, [**107** have the highest rating](by-rating/Top-rated.md),
1616 [**27** are considered classics](by-rating/Classic.md),
1717 [**51** are considered very interesting](by-rating/Very%20Interesting.md),
18 while [**72** are yet to be rated](by-rating/Unrated.md).
18 while [**75** are yet to be rated](by-rating/Unrated.md).
1919
2020 <!-- /TOTALS -->
2121
7777 * The Blackwell Guide To Philosophical Logic ([archive.org](https://archive.org/details/lou-goble-the-blackwell-guide-to-philosophical-logic))
7878 * Handbook of Logic in Computer Science, Volume 1 ([archive.org](https://archive.org/details/handbookoflogici0001unse_z8j4))
7979 * Handbook of Logic and Proof Techniques for Computer Science ([archive.org](https://archive.org/details/handbookoflogicp0000kran))
80 * Handbook of logic in artificial intelligence and logic programming, Vol 1 ([archive.org](https://archive.org/details/handbookoflogici0001unse))
81 * Handbook of logic in artificial intelligence and logic programming, Vol 2 ([archive.org](https://archive.org/details/handbookoflogici0002unse))
82 * Handbook of logic in artificial intelligence and logic programming, Vol 4 ([archive.org](https://archive.org/details/handbookoflogici0004unse))
8083 * Simply Logical ([book.simply-logical.space](https://book.simply-logical.space/src/simply-logical.html))
8184
8285 ### Logic Programming
7373
7474 Logic for computer science.
7575
76 ### Handbook of logic in artificial intelligence and logic programming, Vol 1
77
78 * subtitle: Logical Foundations
79 * authors: Dov M. Gabbay, C. J. Hogger, J. A. Robinson (Eds.)
80 * date: 1993
81 * topics: Logic, Artificial Intelligence, Logic Programming, Term Rewriting, Equational Logic
82 * borrow @ [archive.org](https://archive.org/details/handbookoflogici0001unse)
83
84 .
85
86 ### Handbook of logic in artificial intelligence and logic programming, Vol 2
87
88 * subtitle: Deduction Methodologies
89 * authors: Dov M. Gabbay, C. J. Hogger, J. A. Robinson (Eds.)
90 * date: 1993
91 * topics: Logic, Artificial Intelligence, Logic Programming
92 * borrow @ [archive.org](https://archive.org/details/handbookoflogici0002unse)
93
94 .
95
96 ### Handbook of logic in artificial intelligence and logic programming, Vol 4
97
98 * subtitle: Epistemic and Temporal Reasoning
99 * authors: Dov M. Gabbay, C. J. Hogger, J. A. Robinson (Eds.)
100 * date: 1993
101 * topics: Logic, Artificial Intelligence, Logic Programming
102 * borrow @ [archive.org](https://archive.org/details/handbookoflogici0004unse)
103
104 .
105
76106 ### Simply Logical
77107
78108 * subtitle: Intelligent Reasoning by Example
6767
6868 Handbook of Logic and Proof Techniques for Computer Science (borrow @ [archive.org](https://archive.org/details/handbookoflogicp0000kran))
6969
70 Handbook of logic in artificial intelligence and logic programming, Vol 1 (borrow @ [archive.org](https://archive.org/details/handbookoflogici0001unse))
71
72 Handbook of logic in artificial intelligence and logic programming, Vol 2 (borrow @ [archive.org](https://archive.org/details/handbookoflogici0002unse))
73
74 Handbook of logic in artificial intelligence and logic programming, Vol 4 (borrow @ [archive.org](https://archive.org/details/handbookoflogici0004unse))
75
7076 Simply Logical (online @ [book.simply-logical.space](https://book.simply-logical.space/src/simply-logical.html), [github.com](https://github.com/simply-logical/simply-logical/releases/download/v1.0/SL.pdf))
6363 * rating: TODO
6464
6565 .
66
67 ### Handbook of logic in artificial intelligence and logic programming, Vol 1
68
69 * rating: TODO
70 * useful: true
71
72 Notes on Chapter "Equational Reasoning and Term Rewriting Systems" by David A. Plaisted, pp. 273:
73
74 It has the rules of inference for equational logic in it, but comes at it
75 from a slightly different angle: an equation is a pair of terms with `=` in the
76 middle, and a set of equations is an "equation system"; and
77 any equation system can be manipulated using These 5 Weird Rules.
78
79 Goes into term rewriting, with the usual stuff: confluence, critical pairs,
80 Knuth-Bendix completion...
6681
6782 ### Simply Logical
6883