Matteo Baldoni, Laura Giordano, Alberto Martelli. A Modal Extension of Logic Programming: Modularity, Beliefs and Hypothetical Reasoning. Journal of Logic and Computation, 8(5):597-635, 1998.
@article{BaldoniGM98:0,
title = {A Modal Extension of Logic Programming: Modularity, Beliefs and Hypothetical Reasoning},
author = {Matteo Baldoni and Laura Giordano and Alberto Martelli},
year = {1998},
tags = {modal logic, logic programming, programming, logic},
researchr = {https://researchr.org/publication/BaldoniGM98%3A0},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Computation},
volume = {8},
number = {5},
pages = {597-635},
}