Syllogistic Logic with "Most".

Jörg Endrullis Lawrence S. Moss

Published in: WoLLIC (2015)

Keyphrases

logic programming
classical logic
real time
asynchronous circuits
set theory
computational properties
sound and complete axiomatization
database
predicate logic
web services
probability theory
automated reasoning
logical framework
modal logic
expert systems
real world
neural network
databases