Equational Reasoning in Non-Classical Logics.

Marcelo F. Frias Ewa Orlowska

Published in: RelMiCS (1997)

Keyphrases

classical logic
automated theorem proving
theorem proving
decision making
theorem prover
expert systems
constraint satisfaction
multi agent systems
sufficient conditions
dynamic environments
markov random field