Logic in the Community.

Jeremy Seligman Fenrong Liu Patrick Girard

Published in: ICLA (2011)

Keyphrases

logic programming
modal logic
multi valued
databases
defeasible logic
epistemic logic
community structure
computational properties
classical logic
logical framework
proof theory
database
asynchronous circuits
automated reasoning
virtual communities
temporal logic
case study
knowledge base
e learning