Login / Signup

A Meta-logical Semantics for Features and Fluents Based on Compositional Operators over Normal Logic Programs.

Vincenzo Pallotta
Published in: Computational Logic (2000)
Keyphrases
  • normal logic programs
  • logic programs
  • stable models
  • logic programming
  • semantic information
  • default reasoning
  • stable model semantics
  • answer sets
  • partial order