Login / Signup

A Confluent Semantic Basis for the Analysis of Concurrent Constraint Logic Programs.

Michael CodishMoreno FalaschiKim MarriottWilliam H. Winsborough
Published in: J. Log. Program. (1997)
Keyphrases
  • logic programs
  • logic programming
  • answer sets
  • background knowledge
  • stable models
  • answer set programming
  • fixpoint
  • semantic web
  • prolog programs
  • partial deduction
  • logic program updates