104x
Filetype PDF
File size 0.20 MB
Source: www.mimuw.edu.pl
File: Logic Programming Pdf 197981 | Mlpr Item Download 2023-02-07 23-47-14
Modallogicprogrammingrevisited LinhAnhNguyen University of Warsaw Institute of Informatics ul. Banacha 2, 02-097 Warsaw (Poland) nguyen@mimuw.edu.pl ABSTRACT. We present optimizations for the modal logic programming system MProlog, in- cluding ...
Filetype PDF | Posted on 07 Feb 2023 | 2 years ago