Farid Benhammadi, Pascal Nicolas, Torsten Schaub. Extension Calculus and Query Answering in Prioritized Default Logic. In Fausto Giunchiglia, editor, Artificial Intelligence: Methodology, Systems, and Applications, 8th International Conference, AIMSA 98, Sozopol, Bulgaria, September 21-13, 1998, Proceedings. Volume 1480 of Lecture Notes in Computer Science, pages 76-87, Springer, 1998. [doi]
@inproceedings{BenhammadiNS98,
title = {Extension Calculus and Query Answering in Prioritized Default Logic},
author = {Farid Benhammadi and Pascal Nicolas and Torsten Schaub},
year = {1998},
url = {http://link.springer.de/link/service/series/0558/bibs/1480/14800076.htm},
tags = {logic, Pascal},
researchr = {https://researchr.org/publication/BenhammadiNS98},
cites = {0},
citedby = {0},
pages = {76-87},
booktitle = {Artificial Intelligence: Methodology, Systems, and Applications, 8th International Conference, AIMSA 98, Sozopol, Bulgaria, September 21-13, 1998, Proceedings},
editor = {Fausto Giunchiglia},
volume = {1480},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-64993-X},
}