LNAI 7427 - Applying CNL Authoring Support to Improve Machine ...
Sabine Lehmann & Ben Gottesman & Robert Grabowski & Mayo Kudo & Siu Kei Pepe Lo & Melanie Siegel & Frederik Fouvry
Doctrine of Creation
Colin E. Gunton
Two-Step Approaches to Natural Language Formalisms
Frank Morawietz
Practical Quantum Computing for Developers
Vladimir Silva
Sir Gawain and the Green Knight: A New Verse Translation
Marie Borroff
The Limits of Mathematics: A Course on Information Theory and ...
Gregory J. Chaitin
Mathematics and Plausible Reasoning, Volume 1: Induction and ...
G. Polya
Celt and Saxon, both volumes in a single file
George Meredith
Karl Marx: His Life and Environment - Fourth Edition
Isaiah Berlin & Alan Ryan
Handbook of Logic in Artificial Intelligence and Logic Programming: ...
Dov M. Gabbay & C. J. Hogger & J. A. Robinson & Antony I A. Galton
Dov M. Gabbay & C. J. Hogger & J. A. Robinson
Doing Ethics: Moral Reasoning, Theory, and Contemporary Issues ...
Lewis Vaughn
Constraint Reasoning for Differential Models
Jorge Cruz
Causality: Models, Reasoning, and Inference
Judea Pearl
Causality: Models, Reasoning, and Inference - Second Edition
Non-Monotonic Reasoning: Formalization of Commonsense Reasoning
Witold Łukaszewicz
Nonmonotonic Logic: Context-Dependent Reasoning
V. Wiktor Marek & Miroslaw Truszczynski
Nonmonotonic Reasoning: Logical Foundations of Commonsense
Gerhard Brewka
Nonmonotonic Reasoning
Grigoris Antoniou & Mary-Anne Williams
Making It Explicit: Reasoning, Representing, and Discursive ...
Robert Brandom
The Power of Critical Thinking: Effective Reasoning About Ordinary ...
Mathematical Reasoning: Writing and Proof, Version 2.0
Ted Sundstrom