Login / Signup
A Rewriting Logic for Declarative Programming.
Juan Carlos González Moreno
Maria Teresa Hortalá-González
Francisco Javier López-Fraguas
Mario Rodríguez-Artalejo
Published in:
ESOP (1996)
Keyphrases
</>
declarative programming
logic programming
answer set programming
logic programs
modal logic
databases
knowledge base
answer sets
description logics
deductive databases
nonmonotonic reasoning
search problems
stable model semantics