Login / Signup

An Extended cCSP with Stable Failures Semantics.

Zhenbang ChenZhiming Liu
Published in: ICTAC (2010)
Keyphrases
  • formal semantics
  • logic programming
  • fuzzy description logics
  • databases
  • genetic algorithm
  • relational databases
  • np hard
  • object oriented
  • semantic information
  • operational semantics
  • derivation rules