SOCC Research Group
SOCC Research Group
People
Research Projects
Prototypes
Publications
Contact
Federico Banti
Latest
Evolving reactive logic programs
Evolving Reactive Logic Programs
An Event-Condition-Action Logic Programming Language
Operational Semantics for DyLPs
The Refined Extension Principle for Semantics of Dynamic Logic Programming
The Well Supported Semantics for Multidimensional Dynamic Logic Programs
From Logic Programs Updates to Action Description Updates
Semantics for Dynamic Logic Programming: A Principle-Based Approach
Well Founded Semantics for Logic Program Updates
Cite
×