Perceptual Computing: Aiding People in Making Subjective Judgments
Jerry Mendel & Dongrui Wu
Python Architecture Patterns
Jaime Buelta
Modern Python Cookbook - Second Edition
Steven F. Lott
The Old New Logic: Essays on the Philosophy of Fred Sommers
David S. Oderberg & P. F. Strawson
The Person You Mean to Be
Dolly Chugh
Reading, Writing, and Proving: A Closer Look at Mathematics
Ulrich Daepp & Pamela Gorkin
Quantification in Natural Languages
Elke Bach & E. Jelinek & A. Kratzer & Barbara B. H. Partee
Psychology of Language and Thought: Essays on the Theory and ...
Robert W. Rieber
Proof Theory for Fuzzy Logics
George Metcalfe & Nicola Olivetti & Dov M. Gabbay
Process Grammar: The Basis of Morphology
Michael Leyton
Practical Optimization Methods: with Mathematica Applications ...
M. Asghar Bhatti
Modalities and Multimodalities
Walter Carnielli & Claudio Pizzi
Logical and Computational Aspects of Model-Based Reasoning
L. Magnani & N. J. Nersessian & Claudio Pizzi
Labelled Deduction
David Basin & M. D'Agostino & Dov M. Gabbay & Seán Matthews & Luca Viganò
Abductive Reasoning and Learning
Dov M. Gabbay & Philippe Smets
Goal-Directed Proof Theory
Dov M. Gabbay & N. Olivetti
Frontiers in Belief Revision
M. Williams & Hans Rott
Fuzzy Sets, Logics and Reasoning About Knowledge
Didier Dubois & Henri Prade & Erich Peter Klement
Foundations of Rational Agency
Michael Wooldridge & A. Rao
Foundations of Bayesianism
D. Corfield & J. Williamson
An Introduction to Mathematical Logic and Type Theory: To Truth ...
Peter B. Andrews
Advanced Information Processing: Proceedings of a Joint Symposium. ...
Heinz Schwärtzel & Igor A. Mizin
Advances in Temporal Logic
Howard Barringer & Michael Fisher & Dov M. Gabbay & Graham Gough
Advances in Intensional Logic
Maarten de Rijke
A Modern Perspective on Type Theory: From Its Origins Until ...
F. D. Kamareddine & T. Laan & Rob Nederpelt