SOCC Research Group
SOCC Research Group
People
Research Projects
Prototypes
Publications
Contact
1
Theory Construction in Computational Logic
Antonio Brogi
,
Paolo Mancarella
,
Dino Pedreschi
,
Franco Turini
Cite
AND-Parallelism without Shared Variables
Antonio Brogi
Cite
Inheritance and Hypothetical Reasoning in Logic Programming
Antonio Brogi
,
Evelina Lamma
,
Paola Mello
Cite
Logic Programming within a Functional Framework
Antonio Brogi
,
Paolo Mancarella
,
Dino Pedreschi
,
Franco Turini
Cite
DOI
Universal Quantification by Case Analysis
Antonio Brogi
,
Paolo Mancarella
,
Dino Pedreschi
,
Franco Turini
Cite
A Distributed, Net Oriented Semantics for Delta Prolog
Antonio Brogi
,
Roberto Gorrieri
Cite
DOI
Model Theoretic, Fixpoint and Operational Semantics for a Distributed Logic Language
Antonio Brogi
,
Roberto Gorrieri
Cite
«
Cite
×