Federico Banti
AuthID: R-001-G5P
1
TÃTULO: An event-condition-action logic programming language
AUTORES: Alferes, JJ ; Banti, F; Brogi, A;
PUBLICAÇÃO: 2006, FONTE: 10th European Conference on Logics in Artificial Intelligence in LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 4160
AUTORES: Alferes, JJ ; Banti, F; Brogi, A;
PUBLICAÇÃO: 2006, FONTE: 10th European Conference on Logics in Artificial Intelligence in LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 4160
2
TÃTULO: The well supported semantics for multidimensional dynamic logic programs Full Text
AUTORES: Banti, F; Alferes, JJ ; Brogi, A; Hitzler, P;
PUBLICAÇÃO: 2005, FONTE: 8th International Conference on Logic Programming and Nonmonotonic Reasoning in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, VOLUME: 3662
AUTORES: Banti, F; Alferes, JJ ; Brogi, A; Hitzler, P;
PUBLICAÇÃO: 2005, FONTE: 8th International Conference on Logic Programming and Nonmonotonic Reasoning in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, VOLUME: 3662
3
TÃTULO: Operational semantics for DyLPs
AUTORES: Banti, F; Alferes, JJ ; Brogi, A;
PUBLICAÇÃO: 2005, FONTE: 12th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3808
AUTORES: Banti, F; Alferes, JJ ; Brogi, A;
PUBLICAÇÃO: 2005, FONTE: 12th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3808
4
TÃTULO: The refined extension principle for semantics of dynamic logic programming Full Text
AUTORES: Alferes, JJ ; Banti, F; Brogi, A; Leite, JA ;
PUBLICAÇÃO: 2005, FONTE: Studia Logica, VOLUME: 79, NÚMERO: 1
AUTORES: Alferes, JJ ; Banti, F; Brogi, A; Leite, JA ;
PUBLICAÇÃO: 2005, FONTE: Studia Logica, VOLUME: 79, NÚMERO: 1
5
TÃTULO: From logic programs updates to action description updates
AUTORES: Alferes, JJ ; Banti, F; Brogi, A;
PUBLICAÇÃO: 2005, FONTE: 5th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA V in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 3487 LNAI
AUTORES: Alferes, JJ ; Banti, F; Brogi, A;
PUBLICAÇÃO: 2005, FONTE: 5th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA V in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 3487 LNAI
INDEXADO EM: 
Scopus
Scopus6
TÃTULO: Well founded semantics for logic program updates
AUTORES: Banti, F; Alferes, JJ ; Brogi, A;
PUBLICAÇÃO: 2004, FONTE: 9th Ibero-American Conference on Artificial Intelligence (IBERAMIA 2004) in ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2004, VOLUME: 3315
AUTORES: Banti, F; Alferes, JJ ; Brogi, A;
PUBLICAÇÃO: 2004, FONTE: 9th Ibero-American Conference on Artificial Intelligence (IBERAMIA 2004) in ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2004, VOLUME: 3315
7
TÃTULO: From logic programs updates to action description updates Full Text
AUTORES: Alferes, JJ ; Banti, F; Brogi, A;
PUBLICAÇÃO: 2004, FONTE: 5th International Workshop on Computational Logic in Mult-Agent Systems in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, VOLUME: 3487
AUTORES: Alferes, JJ ; Banti, F; Brogi, A;
PUBLICAÇÃO: 2004, FONTE: 5th International Workshop on Computational Logic in Mult-Agent Systems in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, VOLUME: 3487
8
TÃTULO: Semantics for dynamic logic programming: A principle-based approach
AUTORES: Alferes, JJ ; Banti, F; Brogi, A; Leite, JA ;
PUBLICAÇÃO: 2004, FONTE: 7th International Conference on Logic Programming and Nonmonotonic Reasoning in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, VOLUME: 2923
AUTORES: Alferes, JJ ; Banti, F; Brogi, A; Leite, JA ;
PUBLICAÇÃO: 2004, FONTE: 7th International Conference on Logic Programming and Nonmonotonic Reasoning in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, VOLUME: 2923
