Wave steering to integrate logic and physical syntheses.

Arindam Mukherjee Malgorzata Marek-Sadowska

Published in: IEEE Trans. Very Large Scale Integr. Syst. (2003)

Keyphrases

logic programming
multi valued
modal logic
classical logic
sound and complete axiomatization
probabilistic logic
computational properties
set theory
proof theory
real time
real world
machine learning
artificial intelligence
belief revision
automated reasoning
formal theory