Andrea Formisano

	2011
38		Stefania Costantini, Andrea Formisano: Augmenting Weight Constraints with Complex Preferences. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2011
37		Agostino Dovier, Andrea Formisano, Enrico Pontelli: BAAC: A Prolog System for Action Description and Agents Coordination. ICLP (Technical Communications) 2011: 187-197
36		Stefania Costantini, Andrea Formisano: Weight Constraints with Preferences in ASP. LPNMR 2011: 229-235
35		Agostino Dovier, Andrea Formisano, Enrico Pontelli: Perspectives on Logic-Based Approaches for Reasoning about Actions and Change. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 259-279
34		Agostino Dovier, Andrea Formisano, Enrico Pontelli: Autonomous Agents Coordination: Action Languages meet CLP(FD) and Linda CoRR abs/1110.0624: (2011)
	2010
33		Andrea Formisano, Eugenio G. Omodeo: Theory-Specific Automated Reasoning. 25 Years GULP 2010: 37-63
32		Stefania Costantini, Andrea Formisano, Davide Petturiti: Extending and Implementing RASP. Fundam. Inform. 105(1-2): 1-33 (2010)
31		Agostino Dovier, Andrea Formisano, Enrico Pontelli: An Investigation of Multi-Agent Planning in CLP. Fundam. Inform. 105(1-2): 79-103 (2010)
30		Stefania Costantini, Andrea Formisano: Answer Set Programming with Resources. J. Log. Comput. 20(2): 533-571 (2010)
29		Agostino Dovier, Andrea Formisano, Enrico Pontelli: Multivalued action languages with constraints in CLP(FD). TPLP 10(2): 167-235 (2010)
	2009
28		Agostino Dovier, Andrea Formisano, Enrico Pontelli: Representing Multi-agent Planning in CLP. LPNMR 2009: 423-429
27		Agostino Dovier, Andrea Formisano, Enrico Pontelli: Multi-valued Action Languages in CLP(FD) CoRR abs/0912.2846: (2009)
26		Stefania Costantini, Andrea Formisano: Modeling preferences and conditional preferences on resource consumption and production in ASP. J. Algorithms 64(1): 3-15 (2009)
25		Agostino Dovier, Andrea Formisano, Enrico Pontelli: An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems. J. Exp. Theor. Artif. Intell. 21(2): 79-121 (2009)
	2008
24		Andrea Capotorti, Andrea Formisano: Comparative uncertainty: theory and automation. Mathematical Structures in Computer Science 18(1): 57-79 (2008)
	2007
23		Agostino Dovier, Andrea Formisano, Enrico Pontelli: An Experimental Comparison of Constraint Logic Programming and Answer Set Programming. AAAI 2007: 1622-1625
22		Agostino Dovier, Andrea Formisano, Enrico Pontelli: Multivalued Action Languages with Constraints in CLP(FD). ICLP 2007: 255-270
21		Andrea Capotorti, Andrea Formisano, Gianfranco Murador: Qualitative Uncertainty Orderings Revised. Electr. Notes Theor. Comput. Sci. 169: 43-59 (2007)
	2006
20		Andrea 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
19		Agostino Dovier, Andrea Formisano, Eugenio G. Omodeo: Decidability results for sets with atoms. ACM Trans. Comput. Log. 7(2): 269-301 (2006)
18		Andrea Formisano, Marianna Nicolosi Asmundo: An efficient relational deductive system for propositional non-classical logics. Journal of Applied Non-Classical Logics 16(3-4): 367-408 (2006)
	2005
17		Agostino Dovier, Andrea Formisano, Enrico Pontelli: A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems. ICLP 2005: 67-82
16		Andrea Formisano, Eugenio G. Omodeo, Alberto Policriti: The axiom of elementary sets on the edge of Peircean expressibility. J. Symb. Log. 70(3): 953-968 (2005)
	2004
15		Andrea 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
13		Stefania 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
11		Andrea Formisano, Eugenio G. Omodeo, Marco Temperini: Instructing Equational Set-Reasoning with Otter. IJCAR 2001: 152-167
10		Andrea Formisano, Eugenio G. Omodeo, Marta Simeoni: A graphical approach to relational reasoning. Electr. Notes Theor. Comput. Sci. 44(3): 153-174 (2001)
9		Andrea Formisano, Eugenio G. Omodeo, Marco Temperini: Layered map reasoning: An experimental approach put to trial on sets. Electr. Notes Theor. Comput. Sci. 48: 1-28 (2001)
8		Andrea Formisano, Marta Simeoni: An AGG Application Supporting Visual Reasoning. Electr. Notes Theor. Comput. Sci. 50(3): 302-309 (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
3		Andrea 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

1	Marianna Nicolosi Asmundo	[18]
2	Domenico Cantone	[12]
3	Andrea Capotorti	[21] [24]
4	Stefania Costantini	[13] [14] [26] [30] [32] [36] [38]
5	Agostino Dovier	[1] [2] [17] [19] [22] [23] [25] [27] [28] [29] [31] [34] [35] [37]
6	Gianfranco Murador	[21]
7	Eugenio G. Omodeo	[3] [4] [7] [9] [10] [11] [12] [13] [14] [15] [16] [19] [20] [33]
8	Ewa Orlowska	[20]
9	Davide Petturiti	[32]
10	Alberto Policriti	[1] [2] [5] [15] [16]
11	Enrico Pontelli	[17] [22] [23] [25] [27] [28] [29] [31] [34] [35] [37]
12	Marta Simeoni	[8] [10]
13	Marco Temperini	[4] [7] [9] [11]
14	Calogero G. Zarba	[12]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page