François Bry. An Almost Classical Logic for Logic Programming and Nonmonotonic Reasoning. In Hendrik Decker, Jørgen Villadsen, Toshiharu Waragai, editors, Paraconsistent Computational Logic, This proceedings volume contains the papers presented at the ICLP 2002 workshop Paraconsistent Computational Logic, on July 27, in Copenhagen, Denmark, as part of the Federated Logic Conference (FLoC). Volume 95 of Datalogiske Skrifter, pages 119-134, Roskilde University, Roskilde, Denmark, 2002. [doi]
@inproceedings{Bry02,
title = {An Almost Classical Logic for Logic Programming and Nonmonotonic Reasoning},
author = {François Bry},
year = {2002},
url = {http://arxiv.org/abs/cs.LO/0207091},
tags = {logic programming, programming, logic},
researchr = {https://researchr.org/publication/Bry02},
cites = {0},
citedby = {0},
pages = {119-134},
booktitle = {Paraconsistent Computational Logic, This proceedings volume contains the papers presented at the ICLP 2002 workshop Paraconsistent Computational Logic, on July 27, in Copenhagen, Denmark, as part of the Federated Logic Conference (FLoC)},
editor = {Hendrik Decker and Jørgen Villadsen and Toshiharu Waragai},
volume = {95},
series = {Datalogiske Skrifter},
publisher = {Roskilde University, Roskilde, Denmark},
}