<style face="normal" font="default" size="100%">Integrating knowledge representation and reasoning in Geographical Information Systems</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Integrating knowledge representation and reasoning in Geographical Information Systems</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Integrating Knowledge Representation and Reasoning in Geographical</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Negation as Failure through Abduction: Reasoning about Termination</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Implementations of Program Composition Operations</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Implementations of Program Composition Operations</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Implementations of Program Composition Operations</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Modular Logic Programming</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Meta for Modularising Logic Programming</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Theory Construction in Computational Logic</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Algebraic Properties of a Class of Logic Programs</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Logic Programming within a Functional Framework</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">A Transformational Approach to Negation in Logic Programming</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Universal Quantification by Case Analysis</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">An Algebra of Logic Programs</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Complete Logic Programs with Domain-Closure Axiom</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">A Progress Report on the LML Project</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Intensional Negation of Logic Programs: Examples and Implementation Techniques</style>