Logic in the Lab.

Rineke Verbrugge

Published in: CoRR (2013)

Keyphrases

logic programming
classical logic
multi valued
machine learning
multi agent
modal logic
proof theory
database
virtual laboratory
computational properties
automated reasoning
default reasoning
database systems
case study
website
social networks
real world