Federico Banti
AuthID: R-001-G5P
1
TITLE: An event-condition-action logic programming language
AUTHORS: Alferes, JJ ; Banti, F; Brogi, A;
PUBLISHED: 2006, SOURCE: 10th European Conference on Logics in Artificial Intelligence in LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 4160
AUTHORS: Alferes, JJ ; Banti, F; Brogi, A;
PUBLISHED: 2006, SOURCE: 10th European Conference on Logics in Artificial Intelligence in LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 4160
2
TITLE: The well supported semantics for multidimensional dynamic logic programs Full Text
AUTHORS: Banti, F; Alferes, JJ ; Brogi, A; Hitzler, P;
PUBLISHED: 2005, SOURCE: 8th International Conference on Logic Programming and Nonmonotonic Reasoning in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, VOLUME: 3662
AUTHORS: Banti, F; Alferes, JJ ; Brogi, A; Hitzler, P;
PUBLISHED: 2005, SOURCE: 8th International Conference on Logic Programming and Nonmonotonic Reasoning in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, VOLUME: 3662
3
TITLE: Operational semantics for DyLPs
AUTHORS: Banti, F; Alferes, JJ ; Brogi, A;
PUBLISHED: 2005, SOURCE: 12th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3808
AUTHORS: Banti, F; Alferes, JJ ; Brogi, A;
PUBLISHED: 2005, SOURCE: 12th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3808
4
TITLE: The refined extension principle for semantics of dynamic logic programming Full Text
AUTHORS: Alferes, JJ ; Banti, F; Brogi, A; Leite, JA ;
PUBLISHED: 2005, SOURCE: Studia Logica, VOLUME: 79, ISSUE: 1
AUTHORS: Alferes, JJ ; Banti, F; Brogi, A; Leite, JA ;
PUBLISHED: 2005, SOURCE: Studia Logica, VOLUME: 79, ISSUE: 1
5
TITLE: From logic programs updates to action description updates
AUTHORS: Alferes, JJ ; Banti, F; Brogi, A;
PUBLISHED: 2005, SOURCE: 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
AUTHORS: Alferes, JJ ; Banti, F; Brogi, A;
PUBLISHED: 2005, SOURCE: 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
INDEXED IN: 
Scopus
Scopus6
TITLE: Well founded semantics for logic program updates
AUTHORS: Banti, F; Alferes, JJ ; Brogi, A;
PUBLISHED: 2004, SOURCE: 9th Ibero-American Conference on Artificial Intelligence (IBERAMIA 2004) in ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2004, VOLUME: 3315
AUTHORS: Banti, F; Alferes, JJ ; Brogi, A;
PUBLISHED: 2004, SOURCE: 9th Ibero-American Conference on Artificial Intelligence (IBERAMIA 2004) in ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2004, VOLUME: 3315
7
TITLE: From logic programs updates to action description updates Full Text
AUTHORS: Alferes, JJ ; Banti, F; Brogi, A;
PUBLISHED: 2004, SOURCE: 5th International Workshop on Computational Logic in Mult-Agent Systems in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, VOLUME: 3487
AUTHORS: Alferes, JJ ; Banti, F; Brogi, A;
PUBLISHED: 2004, SOURCE: 5th International Workshop on Computational Logic in Mult-Agent Systems in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, VOLUME: 3487
8
TITLE: Semantics for dynamic logic programming: A principle-based approach
AUTHORS: Alferes, JJ ; Banti, F; Brogi, A; Leite, JA ;
PUBLISHED: 2004, SOURCE: 7th International Conference on Logic Programming and Nonmonotonic Reasoning in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, VOLUME: 2923
AUTHORS: Alferes, JJ ; Banti, F; Brogi, A; Leite, JA ;
PUBLISHED: 2004, SOURCE: 7th International Conference on Logic Programming and Nonmonotonic Reasoning in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, VOLUME: 2923
