×

zbMATH — the first resource for mathematics

Formisano, Andrea

Compute Distance To:
Author ID: formisano.andrea Recent zbMATH articles by "Formisano, Andrea"
Published as: Formisano, A.; Formisano, Andrea
External Links: MGP · ORCID
Documents Indexed: 45 Publications since 1997, including 2 Books

Publications by Year

Citations contained in zbMATH Open

30 Publications have been cited 79 times in 46 Documents Cited by Year
Compiling dyadic first-order specifications into map algebra. Zbl 1025.68053
Cantone, D.; Formisano, A.; Omodeo, E. G.; Zarba, C. G.
7
2003
Goals and benchmarks for automated map reasoning. Zbl 0965.03014
Formisano, Andrea; Omodeo, Eugenio G.; Temperini, Marco
6
2000
Modeling preferences and conditional preferences on resource consumption and production in ASP. Zbl 1182.68037
Costantini, Stefania; Formisano, Andrea
5
2009
An equational re-engineering of set theories. Zbl 0955.03016
Formisano, Andrea; Omodeo, Eugenio
5
2000
Autonomous agents coordination: action languages meet CLP(\(\mathcal {FD}\)) and Linda. Zbl 1267.68079
Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
4
2013
An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems. Zbl 1193.68073
Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
4
2009
An efficient relational deductive system for propositional non-classical logics. Zbl 1186.03044
Formisano, Andrea; Nicolosi-Asmundo, Marianna
4
2006
Instructing equational set-reasoning with Otter. Zbl 0988.68164
Formisano, Andrea; Omodeo, Eugenio G.; Temperini, Marco
4
2001
Weight constraints with preferences in ASP. Zbl 1327.68061
Costantini, Stefania; Formisano, Andrea
3
2011
Answer set programming with resources. Zbl 1200.68065
Costantini, Stefania; Formisano, Andrea
3
2010
A comparison of CLP(FD) and ASP solutions to NP-complete problems. Zbl 1165.68486
Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
3
2005
Three-variable statements of set-pairing. Zbl 1058.03028
Formisano, Andrea; Omodeo, Eugenio G.; Policriti, Alberto
3
2004
Layered map reasoning: an experimental approach put to trial on sets. Zbl 1263.03008
Formisano, Andrea; Omodeo, Eugenio G.; Temperini, Marco
3
2001
\(T\)-resolution: Refinements and model elimination. Zbl 0929.68112
Formisano, Andrea; Policriti, Alberto
3
1999
Query answering in resource-based answer set semantics. Zbl 1379.68052
Costantini, Stefania; Formisano, Andrea
2
2016
Negation as a resource: a novel view on answer set semantics. Zbl 1352.68036
Costantini, Stefania; Formisano, Andrea
2
2015
Extending and implementing RASP. Zbl 1211.68059
Costantini, Tefania; Formisano, Andrea; Petturiti, Davide
2
2010
Multivalued action languages with constraints in \(CLP(FD)\). Zbl 1191.68653
Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
2
2010
The axiom of elementary sets on the edge of Peircean expressibility. Zbl 1100.03042
Formisano, Andrea; Omodeo, Eugenio G.; Policriti, Alberto
2
2005
An Agg application supporting visual reasoning. Zbl 1262.68078
Formisano, Andrea; Simeoni, Marta
2
2001
RASP and ASP as a fragment of linear logic. Zbl 1400.68047
Costantini, Stefania; Formisano, Andrea
1
2013
Distributed colorings for collision-free routing in sink-centric sensor networks. Zbl 1247.68029
Navarra, Alfredo; Pinotti, Cristina M.; Formisano, Andrea
1
2012
Strong equivalence of RASP programs. Zbl 1357.68030
Costantini, Stefania; Formisano, Andrea; Pearce, David
1
2012
Perspectives on logic-based approaches for reasoning about actions and change. Zbl 1326.68274
Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
1
2011
An investigation of multi-agent planning in CLP. Zbl 1209.68559
Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
1
2010
Theory-specific automated reasoning. Zbl 1285.68146
Formisano, Andrea; Omodeo, Eugenio G.
1
2010
Comparative uncertainty: Theory and automation. Zbl 1141.68056
Capotorti, Andrea; Formisano, Andrea
1
2008
Multivalued action languages with constraints in CLP(FD). Zbl 1213.68633
Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
1
2007
Regularization of inverse magnetostatic problems: possibilities and pitfalls. Zbl 1115.78344
Formisano, A.
1
2005
On \(T\) logic programming. Zbl 0944.68022
Dovier, Agostino; Formisano, Andrea; Policriti, Alberto
1
1997
Query answering in resource-based answer set semantics. Zbl 1379.68052
Costantini, Stefania; Formisano, Andrea
2
2016
Negation as a resource: a novel view on answer set semantics. Zbl 1352.68036
Costantini, Stefania; Formisano, Andrea
2
2015
Autonomous agents coordination: action languages meet CLP(\(\mathcal {FD}\)) and Linda. Zbl 1267.68079
Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
4
2013
RASP and ASP as a fragment of linear logic. Zbl 1400.68047
Costantini, Stefania; Formisano, Andrea
1
2013
Distributed colorings for collision-free routing in sink-centric sensor networks. Zbl 1247.68029
Navarra, Alfredo; Pinotti, Cristina M.; Formisano, Andrea
1
2012
Strong equivalence of RASP programs. Zbl 1357.68030
Costantini, Stefania; Formisano, Andrea; Pearce, David
1
2012
Weight constraints with preferences in ASP. Zbl 1327.68061
Costantini, Stefania; Formisano, Andrea
3
2011
Perspectives on logic-based approaches for reasoning about actions and change. Zbl 1326.68274
Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
1
2011
Answer set programming with resources. Zbl 1200.68065
Costantini, Stefania; Formisano, Andrea
3
2010
Extending and implementing RASP. Zbl 1211.68059
Costantini, Tefania; Formisano, Andrea; Petturiti, Davide
2
2010
Multivalued action languages with constraints in \(CLP(FD)\). Zbl 1191.68653
Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
2
2010
An investigation of multi-agent planning in CLP. Zbl 1209.68559
Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
1
2010
Theory-specific automated reasoning. Zbl 1285.68146
Formisano, Andrea; Omodeo, Eugenio G.
1
2010
Modeling preferences and conditional preferences on resource consumption and production in ASP. Zbl 1182.68037
Costantini, Stefania; Formisano, Andrea
5
2009
An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems. Zbl 1193.68073
Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
4
2009
Comparative uncertainty: Theory and automation. Zbl 1141.68056
Capotorti, Andrea; Formisano, Andrea
1
2008
Multivalued action languages with constraints in CLP(FD). Zbl 1213.68633
Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
1
2007
An efficient relational deductive system for propositional non-classical logics. Zbl 1186.03044
Formisano, Andrea; Nicolosi-Asmundo, Marianna
4
2006
A comparison of CLP(FD) and ASP solutions to NP-complete problems. Zbl 1165.68486
Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
3
2005
The axiom of elementary sets on the edge of Peircean expressibility. Zbl 1100.03042
Formisano, Andrea; Omodeo, Eugenio G.; Policriti, Alberto
2
2005
Regularization of inverse magnetostatic problems: possibilities and pitfalls. Zbl 1115.78344
Formisano, A.
1
2005
Three-variable statements of set-pairing. Zbl 1058.03028
Formisano, Andrea; Omodeo, Eugenio G.; Policriti, Alberto
3
2004
Compiling dyadic first-order specifications into map algebra. Zbl 1025.68053
Cantone, D.; Formisano, A.; Omodeo, E. G.; Zarba, C. G.
7
2003
Instructing equational set-reasoning with Otter. Zbl 0988.68164
Formisano, Andrea; Omodeo, Eugenio G.; Temperini, Marco
4
2001
Layered map reasoning: an experimental approach put to trial on sets. Zbl 1263.03008
Formisano, Andrea; Omodeo, Eugenio G.; Temperini, Marco
3
2001
An Agg application supporting visual reasoning. Zbl 1262.68078
Formisano, Andrea; Simeoni, Marta
2
2001
Goals and benchmarks for automated map reasoning. Zbl 0965.03014
Formisano, Andrea; Omodeo, Eugenio G.; Temperini, Marco
6
2000
An equational re-engineering of set theories. Zbl 0955.03016
Formisano, Andrea; Omodeo, Eugenio
5
2000
\(T\)-resolution: Refinements and model elimination. Zbl 0929.68112
Formisano, Andrea; Policriti, Alberto
3
1999
On \(T\) logic programming. Zbl 0944.68022
Dovier, Agostino; Formisano, Andrea; Policriti, Alberto
1
1997
all top 5

Cited by 88 Authors

15 Formisano, Andrea
10 Omodeo, Eugenio Giovanni
6 Pontelli, Enrico
5 Dovier, Agostino
4 Cantone, Domenico
4 Costantini, Stefania
3 Golińska-Pilarek, Joanna
3 Nicolosi Asmundo, Marianna
2 de Freitas, Renata P.
2 Doberkat, Ernst-Erich
2 Muñoz-Velasco, Emilio
2 Policriti, Alberto
2 Temperini, Marco
2 Veloso, Paulo Augusto S.
2 Veloso, Sheila R. M.
2 Viana, Petrucio
2 Yeoh, William
1 Amendola, Giovanni
1 Arias, Joaquin
1 Barták, Roman
1 Burigana, Alessandro
1 Cabalar, Pedro
1 Cadoli, Marco
1 Caminiti, I. M. V.
1 Carro, Manuel
1 Chen, Chiuyuan
1 Confalonieri, Roberto
1 Constantini, Stefania
1 De Cock, Martine
1 De Gasperis, Giovanni
1 Dechter, Rina
1 Destercke, Sébastien
1 Dodaro, Carmine
1 Fabiano, Francesco
1 Feferman, Solomon
1 Fioretto, Ferdinando
1 Formisano, Alessandro
1 Gelfond, Michael
1 Gupta, Gopal K.
1 Howe, Jacob M.
1 Huuskonen, Taneli
1 Inclezan, Daniela
1 Kent, Geoff
1 King, Andy
1 Kowalski, Robert A.
1 Kozan, Erhan
1 Le, Tiep
1 Li, Wenjiang
1 Lin, Fangzhen
1 Lin, Wu-Hsiung
1 Lo, Shih-Ming
1 Lupoli, M. C.
1 Ma, Jun
1 Mancini, Toni
1 Marple, Kyle
1 Martone, Raffalee
1 Masoud, Mahmoud
1 Merhej, Elie
1 Micaletto, Davide
1 Mikulás, Szabolcs
1 Miranda, Enrique Martinéz
1 Mora, Angel
1 Nieves, Juan Carlos
1 Orłowska, Ewa S.
1 Osorio, Mauricio A.
1 Patrizi, Fabio
1 Pearce, David G.
1 Ricca, Francesco
1 Ruan, Da
1 Sadri, Fariba
1 Sain, Ildikó
1 Salazar, Elmer
1 Santamaria, Daniele Francesco
1 Schockaert, Steven
1 Simeoni, Marta
1 Simon, András
1 Son, Tran Cao
1 Tomescu, Alexandru Ioan
1 Tseng, Yu-Chee
1 Ursino, Pietro
1 Vázquez-Salceda, Javier
1 Wang, Yisong
1 Xu, Yang
1 You, Jia-Huai
1 Yuan, Li Yan
1 Zarba, Calogero G.
1 Zhang, Mingyi
1 Zhou, Neng-Fa

Citations by Year