Thermodynamics of used punched tape: A weak and a strong equivalence principle

Tommaso Toffoli

Published in: CoRR (2005)

Keyphrases

strong equivalence
logic programs
free energy
stable models
argumentation frameworks
logic programming
answer set programming
information systems
answer sets
classical logic
argumentation semantics
decision making
programming language
deductive databases
autoepistemic logic
answer set semantics