dblp.uni-trier.dewww.uni-trier.de

Andrea Formisano

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

2009
23EEStefania Costantini, Andrea Formisano: Modeling preferences and conditional preferences on resource consumption and production in ASP. J. Algorithms 64(1): 3-15 (2009)
2008
22EEAndrea Capotorti, Andrea Formisano: Comparative uncertainty: theory and automation. Mathematical Structures in Computer Science 18(1): 57-79 (2008)
2007
21 Agostino Dovier, Andrea Formisano, Enrico Pontelli: An Experimental Comparison of Constraint Logic Programming and Answer Set Programming. AAAI 2007: 1622-1625
20EEAgostino Dovier, Andrea Formisano, Enrico Pontelli: Multivalued Action Languages with Constraints in CLP(FD). ICLP 2007: 255-270
19EEAndrea Capotorti, Andrea Formisano, Gianfranco Murador: Qualitative Uncertainty Orderings Revised. Electr. Notes Theor. Comput. Sci. 169: 43-59 (2007)
2006
18EEAndrea Formisano, Eugenio G. Omodeo, Ewa Orlowska: An Environment for Specifying Properties of Dyadic Relations and Reasoning About Them II: Relational Presentation of Non-classical Logics. Theory and Applications of Relational Structures as Knowledge Instruments 2006: 89-104
17EEAgostino Dovier, Andrea Formisano, Eugenio G. Omodeo: Decidability results for sets with atoms. ACM Trans. Comput. Log. 7(2): 269-301 (2006)
2005
16EEAgostino Dovier, Andrea Formisano, Enrico Pontelli: A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems. ICLP 2005: 67-82
2004
15EEAndrea Formisano, Eugenio G. Omodeo, Alberto Policriti: Three-variable statements of set-pairing. Theor. Comput. Sci. 322(1): 147-173 (2004)
2003
14 Stefania Costantini, Andrea Formisano, Eugenio G. Omodeo: Mappings Between Domain Models in Answer Set Programming. APPIA-GULP-PRODE 2003: 147-158
13EEStefania Costantini, Andrea Formisano, Eugenio G. Omodeo: Mappings Between Domain Models in Answer Set Programming. Answer Set Programming 2003
12 Domenico Cantone, Andrea Formisano, Eugenio G. Omodeo, Calogero G. Zarba: Compiling dyadic first-order specifications into map algebra. Theor. Comput. Sci. 293(2): 447-475 (2003)
2001
11EEAndrea Formisano, Eugenio G. Omodeo, Marco Temperini: Instructing Equational Set-Reasoning with Otter. IJCAR 2001: 152-167
10EEAndrea Formisano, Eugenio G. Omodeo, Marta Simeoni: A graphical approach to relational reasoning. Electr. Notes Theor. Comput. Sci. 44(3): (2001)
9EEAndrea Formisano, Eugenio G. Omodeo, Marco Temperini: Layered map reasoning: An experimental approach put to trial on sets. Electr. Notes Theor. Comput. Sci. 48: (2001)
8EEAndrea Formisano, Marta Simeoni: An AGG Application Supporting Visual Reasoning. Electr. Notes Theor. Comput. Sci. 50(3): (2001)
2000
7 Andrea Formisano, Eugenio G. Omodeo, Marco Temperini: Goals and Benchmarks for Automated Map Reasoning. J. Symb. Comput. 29(2): 259-297 (2000)
1999
6 Andrea Formisano: Proving the completeness of theory-based variants of resolution. APPIA-GULP-PRODE 1999: 59-74
5 Andrea Formisano, Alberto Policriti: T-Resolution: Refinements and Model Elimination. J. Autom. Reasoning 22(4): 433-483 (1999)
1998
4 Andrea Formisano, Eugenio G. Omodeo, Marco Temperini: Plan of Activities on the Map Calculus. APPIA-GULP-PRODE 1998: 343-356
3EEAndrea Formisano, Eugenio G. Omodeo: An Equational Re-engineering of Set Theories. FTP (LNCS Selection) 1998: 175-190
1997
2 Agostino Dovier, Andrea Formisano, Alberto Policriti: On T Logic Programming. APPIA-GULP-PRODE 1997: 457-466
1 Agostino Dovier, Andrea Formisano, Alberto Policriti: On T Logic Programming. ILPS 1997: 323-337

Coauthor Index

1Domenico Cantone [12]
2Andrea Capotorti [19] [22]
3Stefania Costantini [13] [14] [23]
4Agostino Dovier [1] [2] [16] [17] [20] [21]
5Gianfranco Murador [19]
6Eugenio G. Omodeo [3] [4] [7] [9] [10] [11] [12] [13] [14] [15] [17] [18]
7Ewa Orlowska [18]
8Alberto Policriti [1] [2] [5] [15]
9Enrico Pontelli [16] [20] [21]
10Marta Simeoni [8] [10]
11Marco Temperini [4] [7] [9] [11]
12Calogero G. Zarba [12]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)