Dependence Logic: Theory and Applications (Dagstuhl Seminar 13071).

Samson Abramsky Juha Kontinen Jouko A. Väänänen Heribert Vollmer

Published in: Dagstuhl Reports (2013)

Keyphrases

formal theory
theoretical basis
commonsense reasoning
probability theory
set theory
information retrieval
logic programming
theoretical framework
computer algebra
automated reasoning
deductive reasoning
mathematical theory
real time
database
decision theory
asynchronous circuits
proof theory
modal logic
formal logic