Login / Signup

Meeting the Challenge of Fifty Years of Logic.

Larry Wos
Published in: J. Autom. Reason. (1990)
Keyphrases
  • fifty years
  • logic programming
  • modal logic
  • classical logic
  • multi valued
  • epistemic logic
  • databases
  • probabilistic logic
  • formal theory
  • asynchronous circuits
  • proof theory
  • meeting room
  • sound and complete axiomatization