Characterizations of the Disjunctive Stable Semantics by Partial Evaluation.

Stefan Brass Jürgen Dix

Published in: J. Log. Program. (1997)

Keyphrases

data model
partial evaluation
explanation based generalization
data sources
answer sets
artificial intelligence
low level
domain theory
xpath queries