[Back]


Scientific Reports:

M. Simkus, T. Eiter:
"FDNC: Decidable Nonmonotonic Disjunctive Logic Programs with Function Symbols";
Report for TU Wien. Institut für Informationssysteme 184/3, Abteilung für Wissensbasierte Systeme; Report No. INFSYS RR-1843-08-01, 2008; 62 pages.



Electronic version of the publication:
http://publik.tuwien.ac.at/files/PubDat_173127.pdf


Created from the Publication Database of the Vienna University of Technology.