Gruppi di ricerca attuali :	ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL Whisper
Gruppi precedenti :	AnimatLab MALIRE REGAL SALSA SPI SPIRAL
Argomenti di ricerca precedenti :	ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF

LIP6

• M. Jaume : “On greatest fixpoint semantics of logic programming”, Journal of Logic and Computation, vol. 12 (2), pp. 321-342, (Oxford University Press (OUP)) [Jaume 2002]
• V. Prevosto, D. Doligez : “Algorithms and Proofs Inheritance in the FOC Language”, Journal of Automated Reasoning, vol. 29 (3-4), pp. 337-363, (Springer Verlag) [Prevosto 2002b]