Skip to main navigation Skip to search Skip to main content

The need for Ancestor Resolution when answering queries in Horn clause logic

    Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

    1 Citation (Scopus)

    Abstract

    Extended Abstract
    Translated title of the contributionThe need for Ancestor Resolution when answering queries in Horn clause logic
    Original languageEnglish
    Title of host publication21st International Conference on Logic Programming
    PublisherSpringer
    Publication statusPublished - 2005

    Bibliographical note

    Other page information: 410-411
    Conference Proceedings/Title of Journal: 21st International Conference on Logic Programming
    Other identifier: 2000716

    Fingerprint

    Dive into the research topics of 'The need for Ancestor Resolution when answering queries in Horn clause logic'. Together they form a unique fingerprint.

    Cite this