SOCC Research Group
SOCC Research Group
People
Research Projects
Prototypes
Publications
Contact
Evelina Lamma
Latest
A Unifying View for Logic Programming with Non-Monotonic Reasoning
An Abductive Framework for Extended Logic Programming
Composing Open Logic Programs
ATMS for Implementing Logic Programming
Compositional Model-Theoretic Semantics for Logic Programs
Normal Logic Programs as Open Positive Programs
The Implementation of a Distributed Model for Logic Programming Based on Multiple-Headed Clauses
Abductive Reasoning in a Multi-Theory Framework
Objects in a Logic Programming Framework
Open Logic Theories
Hypothetical Reasoning in Logic Programming: A Semantic Approach
Inheritance and Hypothetical Reasoning in Logic Programming
Cite
×