Login / Signup
Programming in Alma-0, or Imperative and Declarative Programming Reconciled
Krzysztof R. Apt
Andrea Schaerf
Published in:
CoRR (2000)
Keyphrases
</>
declarative programming
answer set programming
logic programming
logic programs
answer sets
search problems
stable model semantics
artificial intelligence
knowledge base
database
databases
metadata
programming language
semantic web
programming environment
stable models