Approximate Syllogisms - on the Logic of Everyday Life.

Lothar Philipps

Published in: Artif. Intell. Law (1999)

Keyphrases

everyday life
ambient intelligence
everyday lives
daily life
ubiquitous computing
logic programming
classical logic
modal logic
proof theory
neural network
predicate logic
exact solution
informal learning
multi valued
asynchronous circuits
inference rules
machine learning