Abstract
Extended Abstract
Translated title of the contribution | The need for Ancestor Resolution when answering queries in Horn clause logic |
---|---|
Original language | English |
Title of host publication | 21st International Conference on Logic Programming |
Publisher | Springer |
Publication status | Published - 2005 |
Bibliographical note
Other page information: 410-411Conference Proceedings/Title of Journal: 21st International Conference on Logic Programming
Other identifier: 2000716