Federico Banti

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
7EEJosé Júlio Alferes, Federico Banti, Antonio Brogi: An Event-Condition-Action Logic Programming Language. JELIA 2006: 29-42
2005
6EEFederico Banti, José Júlio Alferes, Antonio Brogi: Operational Semantics for DyLPs. EPIA 2005: 43-54
5EEFederico Banti, José Júlio Alferes, Antonio Brogi, Pascal Hitzler: The Well Supported Semantics for Multidimensional Dynamic Logic Programs. LPNMR 2005: 356-368
4EEJosé Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite: The Refined Extension Principle for Semantics of Dynamic Logic Programming. Studia Logica 79(1): 7-32 (2005)
2004
3EEJosé Júlio Alferes, Federico Banti, Antonio Brogi: From Logic Programs Updates to Action Description Updates. CLIMA V 2004: 52-77
2EEFederico Banti, José Júlio Alferes, Antonio Brogi: Well Founded Semantics for Logic Program Updates. IBERAMIA 2004: 397-407
1EEJosé Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite: Semantics for Dynamic Logic Programming: A Principle-Based Approach. LPNMR 2004: 8-20

Coauthor Index

1José Júlio Alferes [1] [2] [3] [4] [5] [6] [7]
2Antonio Brogi [1] [2] [3] [4] [5] [6] [7]
3Pascal Hitzler [5]
4João Leite (João Alexandre Leite) [1] [4]

Copyright © Wed Jul 23 13:04:14 2008 by Michael Ley (ley@uni-trier.de)