Login / Signup

A Rewrite Mechanism for Logic Programs with Negation.

Siva AnantharamanGilles Richard
Published in: RTA (1995)
Keyphrases
  • logic programs with negation
  • logic programs
  • learning mechanism
  • stable models
  • computational model
  • search engine
  • website
  • data structure
  • expert systems
  • mechanism design
  • selection mechanism
  • rewrite rules