Logic Column 13: Reasoning Formally about Quantum Systems: An Overview

Nikolaos Papanikolaou

Published in: CoRR (2005)

Keyphrases

reasoning systems
automated reasoning
logic programming
management system
distributed systems
computational properties
knowledge base
description logics
complex systems
qualitative reasoning
probabilistic logic
asynchronous circuits
reasoning engine
knowledge representation systems