Stefania Costantini

	2012
72		Giovanni De Gasperis, Vincenzo Bevar, Stefania Costantini, Arianna Tocchio, Alessio Paolucci: Demonstrator of a Multi-Agent System for Industrial Fault Detection and Repair. PAAMS 2012: 237-240
71		Vincenzo Bevar, Stefania Costantini, Arianna Tocchio, Giovanni De Gasperis: A Multi-Agent System for Industrial Fault Detection and Repair. PAAMS 2012: 47-55
	2011
70		Stefania Costantini, Andrea Formisano: Augmenting Weight Constraints with Complex Preferences. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2011
69		Stefania Costantini, Alessandro Provetti: Conflict, Consistency and Truth-Dependencies in Graph Representations of Answer Set Logic Programs. GKR 2011: 68-90
68		Stefania Costantini, Niva Florio, Alessio Paolucci: A Framework for Structured Knowledge Extraction and Representation from Natural Language through Deep Sentence Analysis. KDIR 2011: 282-287
67		Stefania Costantini, Andrea Formisano: Weight Constraints with Preferences in ASP. LPNMR 2011: 229-235
66		Stefania Costantini: Michael Gelfond: Essay in Honour of His 65th Birthday. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 344-346
65		Stefania Costantini, Pierangelo Dell'Acqua, Luís Moniz Pereira: Conditional Learning of Rules and Plans by Knowledge Exchange in Logical Agents. RuleML Europe 2011: 250-265
64		Stefania Costantini, Alessio Paolucci, Arianna Tocchio, Panagiota Tsintza: DALI, RASP, mnemosine: Computational Logic at work. Intelligenza Artificiale 5(1): 107-111 (2011)
	2010
63		Stefania Costantini, Arianna Tocchio: A Dialogue Games Framework for the Operational Semantics of Logic Agent-Oriented Languages. CLIMA 2010: 238-255
62		Stefania Costantini: Answer Set Modules for Logical Agents. Datalog 2010: 37-58
61		Stefania Costantini, Andrea Formisano, Davide Petturiti: Extending and Implementing RASP. Fundam. Inform. 105(1-2): 1-33 (2010)
60		Stefania Costantini, Alessandro Provetti: A Lower Bound for Answer Set Solver Computation. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 14(48): 41-52 (2010)
59		Stefania Costantini, Andrea Formisano: Answer Set Programming with Resources. J. Log. Comput. 20(2): 533-571 (2010)
	2009
58		Stefania Costantini: Integrating Answer Set Modules into Agent Programs. LPNMR 2009: 613-615
57		Stefania Costantini, Andrea Formisano: Modeling preferences and conditional preferences on resource consumption and production in ASP. J. Algorithms 64(1): 3-15 (2009)
56		Stefania Costantini, Richard Watson: Editorial. J. Log. Comput. 19(4): 537-538 (2009)
	2008
55		Stefania Costantini, Arianna Tocchio: DALI: An Architecture for Intelligent Logical Agents. AAAI Spring Symposium: Emotion, Personality, and Social Behavior 2008: 13-18
54		Stefania Costantini, Arianna Tocchio, Panagiota Tsintza: Contracts Violation: Justification via Argumentation. CLIMA 2008: 132-153
53		Stefania Costantini, Leonardo Mostarda, Arianna Tocchio, Panagiota Tsintza: DALICA: Agent-Based Ambient Intelligence for Cultural-Heritage Scenarios. IEEE Intelligent Systems 23(2): 34-41 (2008)
	2007
52		Stefania Costantini, Arianna Tocchio, Pierangelo Dell'Acqua: Expressing Preferences Declaratively in Logic-based Agent Languages. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2007: 41-46
51		Stefania Costantini, Arianna Tocchio, Francesca Toni, Panagiota Tsintza: A Multi-layered General Agent Model. AI*IA 2007: 121-132
50		Stefania Costantini, Arianna Tocchio, Panagiota Tsintza: A Heuristic Approach to P2P Negotiation. CLIMA 2007: 177-192
49		Stefania Costantini, Leonardo Mostarda, Arianna Tocchio, Panagiota Tsintza: DALICA: Intelligent Agents for User Profile Deduction. SEKE 2007: 660-
48		Stefania Costantini, Arianna Tocchio, Panagiota Tsintza, Leonardo Mostarda: Agents and Security in a Cultural Assets Transport Scenario. WOA 2007: 78-86
	2006
47		Stefania Costantini, Pierangelo Dell'Acqua, Arianna Tocchio: Expressing preferences declaratively in logic-based agent languages. WOA 2006
46		Stefania Costantini: On the existence of stable models of non-stratified logic programs. TPLP 6(1-2): 169-212 (2006)
	2005
45		Stefania Costantini, Arianna Tocchio: About Declarative Semantics of Logic-Based Agent Languages. DALT 2005: 106-123
44		Stefania Costantini, Arianna Tocchio: Learning by Knowledge Exchange in Logical Agents. WOA 2005: 1-8
43		Stefania Costantini, Arianna Tocchio, Alessia Verticchio: Communication and trust in the DALI logic programming agent-oriented language. Intelligenza Artificiale 2(1): 39-46 (2005)
42		Stefania Costantini, Alessandro Provetti: Normal forms for answer sets programming. TPLP 5(6): 747-760 (2005)
	2004
41		Stefania Costantini, Arianna Tocchio: Planning Experiments in the DALI Logic Programming Language. CLIMA 2004: 89-107
40		Stefania Costantini, Arianna Tocchio: The DALI Logic Programming Agent-Oriented Language. JELIA 2004: 685-688
39		Stefania Costantini: Component-Based Answer Set Programming. LA-NMR 2004
38		Arianna Tocchio, Stefania Costantini, Alessia Verticchio: A Game-Theoretic Operational Semantics. WOA 2004: 13-21
37		Stefania Costantini: On the existence of stable models of non-stratified logic programs CoRR abs/cs/0412105: (2004)
36		Stefania Costantini, Alessandro Provetti: Normal forms for Answer Sets Programming CoRR cs.AI/0410014: (2004)
	2003
35		Stefania Costantini, Andrea Formisano, Eugenio G. Omodeo: Mappings Between Domain Models in Answer Set Programming. APPIA-GULP-PRODE 2003: 147-158
34		Stefania Costantini, Andrea Formisano, Eugenio G. Omodeo: Mappings Between Domain Models in Answer Set Programming. Answer Set Programming 2003
33		Stefania Costantini, Arianna Tocchio: Context-Based Commonsense Reasoning in the DALI Logic Programming Language. CONTEXT 2003: 443-450
32		Marco Castaldi, Stefania Costantini, Stefano Gentile, Arianna Tocchio: A Logic-Based Infrastructure for Reconfiguring Applications. DALT 2003: 17-36
31		Pasquale Caianiello, Stefania Costantini, Eugenio G. Omodeo: An Environment for Specifying Properties of Dyadic Relations and Reasoning about Them: I: Language Extension Mechanisms. Theory and Applications of Relational Structures as Knowledge Instruments 2003: 87-106
30		Stefania Costantini, Arianna Tocchio: Strips-like Planning in the DALI Logic Programmming Language. WOA 2003: 115-120
	2002
29		Stefania Costantini: Meta-reasoning: A Survey. Computational Logic: Logic Programming and Beyond 2002: 253-288
28		Stefania Costantini, Ramón P. Otero, Alessandro Provetti, Tran Cao Son: Disjunctive Logic Programs with Inheritance Revisited. ISMIS 2002: 294-302
27		Stefania Costantini, Arianna Tocchio: A Logic Programming Language for Multi-agent Systems. JELIA 2002: 1-13
26		Stefania Costantini, Ottavio M. D'Antona, Alessandro Provetti: On the equivalence and range of applicability of graph-based representations of logic programs. Inf. Process. Lett. 84(5): 241-249 (2002)
	2001
25		Stefania Costantini: Comparing different graph representations of logic programs under the Answer Set semantics. Answer Set Programming 2001
	2000
24		Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone: Reflection principles in computational logic. J. Log. Comput. 10(6): 743-786 (2000)
	1999
23		Stefania Costantini, T. Morbidoni: Computational Complexity of a Knowledge Compilation. Approach to the Static Semantics for Disjunctive Logic Programs. APPIA-GULP-PRODE 1999: 575-588
	1996
22		Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone: Multiple Metareasoning Agents for Flexible Query-Answering Systems. FQAS 1996: 155-166
21		Stefania Costantini, Gaetano Aurelio Lanzarone, Giuseppe Magliocco: Asserting Lemmas in the Stable Model Semantics. JICSLP 1996: 438-452
	1995
20		Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone: Semantical Properties of SLD-Resolution with Reflection. ICLP 1995: 830
19		Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone: Semantical Properties of Encodings in Logic Programming. ILPS 1995: 288-302
18		Stefania Costantini, Gaetano Aurelio Lanzarone, L. Sbarbaro: A formal definition and a sound implementation of analogical reasoning in logic programming. Ann. Math. Artif. Intell. 14(1): 17-36 (1995)
17		Stefania Costantini, Gaetano Aurelio Lanzarone: Explanation-Based Interpretation of Open-Textured Concepts in Logical Models of Legislation. Artif. Intell. Law 3(3): 191-208 (1995)
16		Stefania Costantini: Contributions to the Stable Model Semantics of Logic Programs with Negation. Theor. Comput. Sci. 149(2): 231-255 (1995)
	1994
15		S. Bertarello, Stefania Costantini, Gaetano Aurelio Lanzarone: Extending Explanation-Based Generalization with Metalogic Programming. GULP-PRODE (2) 1994: 16-31
14		Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone: Reflection through Constraint Satisfaction. ICLP 1994: 742
13		Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone: Extending Horn Clause Theories by Reflection Principles. JELIA 1994: 400-413
12		Stefania Costantini, Gaetano Aurelio Lanzarone: Static Semantics as Program Transformation and Well-founded Computation. NMELP 1994: 156-180
11		Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone: SLD - Resolution with Reflection. SLP 1994: 554-568
10		Stefania Costantini, Gaetano Aurelio Lanzarone: A metalogic programming approach: language, semantics and applications. J. Exp. Theor. Artif. Intell. 6(3): 239-287 (1994)
9		Stefania Costantini, Gaetano Aurelio Lanzarone: Metalevel Negation and Non-Monotonic Reasoning. Meth. of Logic in CS 1(1): 111- (1994)
	1993
8		D. Concari, Stefania Costantini, Gaetano Aurelio Lanzarone: Caratteristiche e Aspetti Implementativi della Negazione di Metalivello in Reflective Prolog. GULP 1993: 285-300
7		Stefania Costantini: Contributions to the Stable Model Semantics of Logic Programs with Negation. LPNMR 1993: 190-205
	1992
6		Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone: Reflective Agents in Metalogic Programming. META 1992: 135-147
	1991
5		Stefania Costantini, Gaetano Aurelio Lanzarone: Metalevel Represantation of Analogical Inference. AI*IA 1991: 460-464
4		Stefania Costantini, Gaetano Aurelio Lanzarone: On Procedural Semantics of Metalevel Negation. RCLP 1991: 140-151
	1990
3		Stefania Costantini, Gaetano Aurelio Lanzarone: Metalevel Negation in Non-Monotonic Reasoning. LPNMR 1990: 19-26
2		Stefania Costantini: Semantics of a Metalogic Programming Language. Int. J. Found. Comput. Sci. 1(3): 233-248 (1990)
	1989
1		Stefania Costantini, Gaetano Aurelio Lanzarone: A Metalogic Programming Language. ICLP 1989: 218-233

Coauthor Index

1	Jonas Barklund	[11] [14] [19] [20] [22] [24]
2	S. Bertarello	[15]
3	Vincenzo Bevar	[71] [72]
4	Pasquale Caianiello	[31]
5	Marco Castaldi	[32]
6	D. Concari	[8]
7	Ottavio M. D'Antona	[26]
8	Pierangelo Dell'Acqua	[6] [11] [13] [14] [19] [20] [22] [24] [47] [52] [65]
9	Niva Florio	[68]
10	Andrea Formisano	[34] [35] [57] [59] [61] [67] [70]
11	Giovanni De Gasperis	[71] [72]
12	Stefano Gentile	[32]
13	Gaetano Aurelio Lanzarone	[1] [3] [4] [5] [6] [8] [9] [10] [11] [12] [13] [14] [15] [17] [18] [19] [20] [21] [22] [24]
14	Giuseppe Magliocco	[21]
15	T. Morbidoni	[23]
16	Leonardo Mostarda	[48] [49] [53]
17	Eugenio G. Omodeo	[31] [34] [35]
18	Ramón P. Otero	[28]
19	Alessio Paolucci	[64] [68] [72]
20	Luís Moniz Pereira (Luíz Moniz Pereira)	[65]
21	Davide Petturiti	[61]
22	Alessandro Provetti	[26] [28] [36] [42] [60] [69]
23	L. Sbarbaro	[18]
24	Tran Cao Son	[28]
25	Arianna Tocchio	[27] [30] [32] [33] [38] [40] [41] [43] [44] [45] [47] [48] [49] [50] [51] [52] [53] [54] [55] [63] [64] [71] [72]
26	Francesca Toni	[51]
27	Panagiota Tsintza	[48] [49] [50] [51] [53] [54] [64]
28	Alessia Verticchio	[38] [43]
29	Richard Watson	[56]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page