A Modal Extension of Logic Programming.
Matteo Baldoni, Laura Giordano, Alberto Martelli
VenueBICLP
Year1994
ProceedingsICLP Workshop: Proof-Theoretical Extensions on Logic Programming
DBLP recordconf/iclp/BaldoniG94 ↗
Browse the full ICLP paper archive.