Affine Systems of Equations and Counting Infinitary Logic.

Albert Atserias Andrei A. Bulatov Anuj Dawar

Published in: ICALP (2007)

Keyphrases

asynchronous circuits
computer systems
logic programming
real time
artificial intelligence
decision making
e learning
bayesian networks
expert systems
knowledge representation
complex systems
mathematical model
automated reasoning
digital circuits