SOCC Research Group
SOCC Research Group
People
Research Projects
Prototypes
Publications
Contact
Paolo Mancarella
Latest
A Unifying View for Logic Programming with Non-Monotonic Reasoning
An Abductive Framework for Extended Logic Programming
Implementations of Program Composition Operations
Modular Logic Programming
Meta for Modularising Logic Programming
Normal Logic Programs as Open Positive Programs
Abductive Reasoning in a Multi-Theory Framework
Theory Construction in Computational Logic
Logic Programming within a Functional Framework
Universal Quantification by Case Analysis
Cite
×