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

Oliver Ray, M. Gabrielli, G. Gupta

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

Cite this