Stefania Costantini Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
c63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini, Andrea Formisano, David Pearce: Strong Equivalence of RASP Programs. Correct Reasoning 2012: 149-163
c62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini, Andrea Formisano: Preferences and Priorities in ASP. CILC 2012: 47-58
c61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini, Panagiota Tsintza: Temporal Meta-Axioms in Logical Agents. CILC 2012: 59-73
c60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini: Self-checking Logical Agents. LA-NMR 2012: 3-30
c59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincenzo Bevar, Stefania Costantini, Arianna Tocchio, Giovanni De Gasperis: A Multi-Agent System for Industrial Fault Detection and Repair. PAAMS 2012: 47-55
c58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini, Giovanni De Gasperis: Complex Reactivity with Preferences in Rule-Based Agents. RuleML 2012: 167-181
2011
j18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini, Alessio Paolucci, Arianna Tocchio, Panagiota Tsintza: DALI, RASP, mnemosine: Computational Logic at work. Intelligenza Artificiale 5(1): 107-111 (2011)
c56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini, Andrea Formisano: Augmenting Weight Constraints with Complex Preferences. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2011
c55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini: Michael Gelfond: Essay in Honour of His 65th Birthday. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 344-346
c54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini, Niva Florio, Alessio Paolucci: A framework for structured knowledge extraction and representation from natural language via deep sentence analysis. CILC 2011: 297-310
c53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini, Andrea Formisano: Nested Weight Constraints in ASP. CILC 2011: 371-383
c52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini, Alessandro Provetti: Conflict, Consistency and Truth-Dependencies in Graph Representations of Answer Set Logic Programs. GKR 2011: 68-90
c51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini: Defining and Maintaining Agent's Experience in Logical Agents. LA-NMR 2011: 151-165
c49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini, Andrea Formisano: Weight Constraints with Preferences in ASP. LPNMR 2011: 229-235
c48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
2010
j17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini, Alessandro Provetti: A Lower Bound for Answer Set Solver Computation. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 14(48): 41-52 (2010)
j16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini, Andrea Formisano, Davide Petturiti: Extending and Implementing RASP. Fundam. Inform. 105(1-2): 1-33 (2010)
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini, Andrea Formisano: Answer Set Programming with Resources. J. Log. Comput. 20(2): 533-571 (2010)
c47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini, Alessio Paolucci: Towards Translating Natural Language Sentences into ASP. CILC 2010
c46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini, Arianna Tocchio: A Dialogue Games Framework for the Operational Semantics of Logic Agent-Oriented Languages. CLIMA 2010: 238-255
c45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini: Answer Set Modules for Logical Agents. Datalog 2010: 37-58
2009
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini, Andrea Formisano: Modeling preferences and conditional preferences on resource consumption and production in ASP. J. Algorithms 64(1): 3-15 (2009)
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini, Richard Watson: Editorial. J. Log. Comput. 19(4): 537-538 (2009)
c44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini, Alessandro Provetti: A Lower-Bound for Answer Set Solver Computation. LA-NMR 2009: 183-198
c43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini: Integrating Answer Set Modules into Agent Programs. LPNMR 2009: 613-615
2008
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini, Arianna Tocchio: DALI: An Architecture for Intelligent Logical Agents. AAAI Spring Symposium: Emotion, Personality, and Social Behavior 2008: 13-18
c41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini, Arianna Tocchio, Panagiota Tsintza: Contracts Violation: Justification via Argumentation. CLIMA 2008: 132-153
c40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini, Andrea Formisano: Conditional preferences in P-RASP. LA-NMR 2008
2007
c39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini, Arianna Tocchio, Francesca Toni, Panagiota Tsintza: A Multi-layered General Agent Model. AI*IA 2007: 121-132
c37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini, Arianna Tocchio, Panagiota Tsintza: A Heuristic Approach to P2P Negotiation. CLIMA 2007: 177-192
c36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini, Leonardo Mostarda, Arianna Tocchio, Panagiota Tsintza: DALICA: Intelligent Agents for User Profile Deduction. SEKE 2007: 660-
c35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini, Arianna Tocchio, Panagiota Tsintza, Leonardo Mostarda: Agents and Security in a Cultural Assets Transport Scenario. WOA 2007: 78-86
2006
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini: On the existence of stable models of non-stratified logic programs. TPLP 6(1-2): 169-212 (2006)
c34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini, Pierangelo Dell'Acqua, Arianna Tocchio: Expressing preferences declaratively in logic-based agent languages. WOA 2006
2005
j10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini, Arianna Tocchio, Alessia Verticchio: Communication and trust in the DALI logic programming agent-oriented language. Intelligenza Artificiale 2(1): 39-46 (2005)
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini, Alessandro Provetti: Normal forms for answer sets programming. TPLP 5(6): 747-760 (2005)
c33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini, Arianna Tocchio: About Declarative Semantics of Logic-Based Agent Languages. DALT 2005: 106-123
c32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini, Arianna Tocchio: Learning by Knowledge Exchange in Logical Agents. WOA 2005: 1-8
2004
c31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini, Arianna Tocchio: Planning Experiments in the DALI Logic Programming Language. CLIMA 2004: 89-107
c30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini, Arianna Tocchio: The DALI Logic Programming Agent-Oriented Language. JELIA 2004: 685-688
c29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini: Component-Based Answer Set Programming. LA-NMR 2004
c28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Arianna Tocchio, Stefania Costantini, Alessia Verticchio: A Game-Theoretic Operational Semantics. WOA 2004: 13-21
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini: On the existence of stable models of non-stratified logic programs. CoRR abs/cs/0412105 (2004)
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini, Alessandro Provetti: Normal forms for Answer Sets Programming. CoRR cs.AI/0410014 (2004)
2003
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini, Andrea Formisano, Eugenio G. Omodeo: Mappings Between Domain Models in Answer Set Programming. APPIA-GULP-PRODE 2003: 147-158
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini, Andrea Formisano, Eugenio G. Omodeo: Mappings Between Domain Models in Answer Set Programming. Answer Set Programming 2003
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini, Arianna Tocchio: Context-Based Commonsense Reasoning in the DALI Logic Programming Language. CONTEXT 2003: 443-450
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marco Castaldi, Stefania Costantini, Stefano Gentile, Arianna Tocchio: A Logic-Based Infrastructure for Reconfiguring Applications. DALT 2003: 17-36
c22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini, Arianna Tocchio: Strips-like Planning in the DALI Logic Programmming Language. WOA 2003: 115-120
2002
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini: Meta-reasoning: A Survey. Computational Logic: Logic Programming and Beyond 2002: 253-288
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini, Ramón P. Otero, Alessandro Provetti, Tran Cao Son: Disjunctive Logic Programs with Inheritance Revisited. ISMIS 2002: 294-302
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini, Arianna Tocchio: A Logic Programming Language for Multi-agent Systems. JELIA 2002: 1-13
2001
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini: Comparing different graph representations of logic programs under the Answer Set semantics. Answer Set Programming 2001
2000
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone: Reflection principles in computational logic. J. Log. Comput. 10(6): 743-786 (2000)
1999
c17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone: Multiple Metareasoning Agents for Flexible Query-Answering Systems. FQAS 1996: 155-166
c15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini, Gaetano Aurelio Lanzarone, Giuseppe Magliocco: Asserting Lemmas in the Stable Model Semantics. JICSLP 1996: 438-452
1995
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini: Contributions to the Stable Model Semantics of Logic Programs with Negation. Theor. Comput. Sci. 149(2): 231-255 (1995)
c14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone: Semantical Properties of SLD-Resolution with Reflection. ICLP 1995: 830
c13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone: Semantical Properties of Encodings in Logic Programming. ILPS 1995: 288-302
1994
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini, Gaetano Aurelio Lanzarone: A metalogic programming approach: language, semantics and applications. J. Exp. Theor. Artif. Intell. 6(3): 239-287 (1994)
j2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini, Gaetano Aurelio Lanzarone: Metalevel Negation and Non-Monotonic Reasoning. Meth. of Logic in CS 1(1): 111- (1994)
c12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
S. Bertarello, Stefania Costantini, Gaetano Aurelio Lanzarone: Extending Explanation-Based Generalization with Metalogic Programming. GULP-PRODE (2) 1994: 16-31
c11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone: Reflection through Constraint Satisfaction. ICLP 1994: 742
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone: Extending Horn Clause Theories by Reflection Principles. JELIA 1994: 400-413
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini, Gaetano Aurelio Lanzarone: Static Semantics as Program Transformation and Well-founded Computation. NMELP 1994: 156-180
c8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone: SLD - Resolution with Reflection. SLP 1994: 554-568
1993
c7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
D. Concari, Stefania Costantini, Gaetano Aurelio Lanzarone: Caratteristiche e Aspetti Implementativi della Negazione di Metalivello in Reflective Prolog. GULP 1993: 285-300
c6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini: Contributions to the Stable Model Semantics of Logic Programs with Negation. LPNMR 1993: 190-205
1992
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone: Reflective Agents in Metalogic Programming. META 1992: 135-147
1991
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini, Gaetano Aurelio Lanzarone: Metalevel Represantation of Analogical Inference. AI*IA 1991: 460-464
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini, Gaetano Aurelio Lanzarone: On Procedural Semantics of Metalevel Negation. RCLP 1991: 140-151
1990
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini: Semantics of a Metalogic Programming Language. Int. J. Found. Comput. Sci. 1(3): 233-248 (1990)
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini, Gaetano Aurelio Lanzarone: Metalevel Negation in Non-Monotonic Reasoning. LPNMR 1990: 19-26
1989
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini, Gaetano Aurelio Lanzarone: A Metalogic Programming Language. ICLP 1989: 218-233

Coauthor Index

1Jonas Barklund
[j7] [c16] [c14] [c13] [c11] [c8]
2S. Bertarello
[c12]
3Vincenzo Bevar
[c59] [c58]
4Pasquale Caianiello
[c27]
5Marco Castaldi
[c23]
6D. Concari
[c7]
7Ottavio M. D'Antona
[j8]
8Pierangelo Dell'Acqua
[c48] [c39] [c34] [j7] [c16] [c14] [c13] [c11] [c10] [c8] [c5]
9Niva Florio
[c54] [c51]
10Andrea Formisano
[c63] [c62] [c56] [c53] [c49] [j16] [j15] [j14] [c40] [c26] [c25]
11Giovanni De Gasperis
[c59] [c58] [c57]
12Stefano Gentile
[c23]
13Gaetano Aurelio Lanzarone
[j7] [c16] [c15] [j6] [j5] [c14] [c13] [j3] [j2] [c12] [c11] [c10] [c9] [c8] [c7] [c5] [c4] [c3] [c2] [c1]
14Giuseppe Magliocco
[c15]
15T. Morbidoni
[c17]
16Leonardo Mostarda
[j12] [c36] [c35]
17Eugenio G. Omodeo (Eugenio Giovanni Omodeo)
[c27] [c26] [c25]
18Ramón P. Otero
[c20]
19Alessio Paolucci
[c58] [j18] [c54] [c51] [c47]
20David Pearce
[c63]
21Luís Moniz Pereira (Luíz Moniz Pereira)
[c48]
22Davide Petturiti
[j16]
23Alessandro Provetti
[c52] [j17] [c44] [j9] [i1] [j8] [c20]
24L. Sbarbaro
[j5]
25Tran Cao Son
[c20]
26Arianna Tocchio
[c59] [c58] [j18] [c46] [j12] [c42] [c41] [c39] [c38] [c37] [c36] [c35] [c34] [j10] [c33] [c32] [c31] [c30] [c28] [c24] [c23] [c22] [c19]
27Francesca Toni
[c38]
28Panagiota Tsintza
[c61] [j18] [j12] [c41] [c38] [c37] [c36] [c35]
29Alessia Verticchio
[j10] [c28]
30Richard Watson
[j13]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Thu May 23 13:13:55 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page