Login / Signup

Extended Horn Clauses: The Framework and Some Semantics.

Jean-Marie JacquetLuís Monteiro
Published in: CONCUR (1991)
Keyphrases
  • horn clauses
  • artificial intelligence
  • first order logic
  • inference rules