... diplomado.cs.buap.mx Abstract. We introduce the ... Our approach to define the declarative semantics of HLL (High-Level Logic) programs consists on a translation of them to datalog disjunctive programs and then to use D1-WFS- COMP.
|Title||:||Foundations of Information and Knowledge Systems|
|Author||:||Klaus-Dieter Schewe, Bernhard Thalheim|
|Publisher||:||Springer - 2003-06-29|