ANDREI-60: Volume Information

ANDREI-60. Automated New-era Deductive Reasoning Event in Iberia

Papers

Keyphrases

0-1 Law, bisimulation, Cardinality Restrictions, category theory, complexity, Computational Logic, constraint satisfaction, counting quantifiers, CSP, Description Logic, expressivity, Kelly-Ulam conjecture, mathematical logic, Number Restrictions, QFBAPA, reconstruction conjecture, reconstruction of CSP instances, topology, witness-manipulation.