Login / Signup

An incremental answer set programming based system for finite model computation.

Martin GebserOrkunt SabuncuTorsten Schaub
Published in: AI Commun. (2011)
Keyphrases
  • answer set programming
  • high level
  • logic programming
  • machine learning
  • genetic algorithm
  • knowledge base
  • conceptual model
  • database systems
  • general purpose
  • causal theories