SOCC Research Group
SOCC Research Group
People
Research Projects
Prototypes
Publications
Contact
Semantics for Dynamic Logic Programming: A Principle-Based Approach
José Júlio Alferes
,
Federico Banti
,
Antonio Brogi
,
João Alexandre Leite
January 2004
Cite
DOI
Type
Conference paper
Publication
Logic Programming and Nonmonotonic Reasoning, 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings
Add the
full text
or
supplementary notes
for the publication here using Markdown formatting.
Cite
×