 | 2009 |
|---|
| 53 |       | Stefania Costantini:
Integrating Answer Set Modules into Agent Programs.
LPNMR 2009: 613-615 |
| 52 | | Stefania Costantini,
Andrea Formisano:
Modeling preferences and conditional preferences on resource consumption and production in ASP.
J. Algorithms 64(1): 3-15 (2009) |
| 2008 |
|---|
| 51 | | Stefania Costantini,
Arianna Tocchio,
Panagiota Tsintza:
Contracts Violation: Justification via Argumentation.
CLIMA IX 2008: 132-153 |
| 50 | | 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 |
|---|
| 49 | | Stefania Costantini,
Arianna Tocchio,
Francesca Toni,
Panagiota Tsintza:
A Multi-layered General Agent Model.
AI*IA 2007: 121-132 |
| 48 | | Stefania Costantini,
Arianna Tocchio,
Panagiota Tsintza:
A Heuristic Approach to P2P Negotiation.
CLIMA VIII 2007: 177-192 |
| 47 |  | Stefania Costantini,
Leonardo Mostarda,
Arianna Tocchio,
Panagiota Tsintza:
DALICA: Intelligent Agents for User Profile Deduction.
SEKE 2007: 660- |
| 46 | | Stefania Costantini,
Arianna Tocchio,
Panagiota Tsintza,
Leonardo Mostarda:
Agents and Security in a Cultural Assets Transport Scenario.
WOA 2007: 78-86 |
| 2006 |
|---|
| 45 | | Stefania Costantini,
Pierangelo Dell'Acqua,
Arianna Tocchio:
Expressing preferences declaratively in logic-based agent languages.
WOA 2006 |
| 44 | | Stefania Costantini:
On the existence of stable models of non-stratified logic programs.
TPLP 6(1-2): 169-212 (2006) |
| 2005 |
|---|
| 43 | | Stefania Costantini,
Arianna Tocchio:
About Declarative Semantics of Logic-Based Agent Languages.
DALT 2005: 106-123 |
| 42 | | Stefania Costantini,
Arianna Tocchio:
Learning by Knowledge Exchange in Logical Agents.
WOA 2005: 1-8 |
| 41 | | Stefania Costantini,
Arianna Tocchio,
Alessia Verticchio:
Communication and trust in the DALI logic programming agent-oriented language.
Intelligenza Artificiale 2(1): 39-46 (2005) |
| 40 | | Stefania Costantini,
Alessandro Provetti:
Normal forms for answer sets programming.
TPLP 5(6): 747-760 (2005) |
| 2004 |
|---|
| 39 | | Stefania Costantini,
Arianna Tocchio:
Planning Experiments in the DALI Logic Programming Language.
CLIMA IV 2004: 89-107 |
| 38 | | Stefania Costantini,
Arianna Tocchio:
The DALI Logic Programming Agent-Oriented Language.
JELIA 2004: 685-688 |
| 37 | | Stefania Costantini:
Component-Based Answer Set Programming.
LA-NMR 2004 |
| 36 | | Arianna Tocchio,
Stefania Costantini,
Alessia Verticchio:
A Game-Theoretic Operational Semantics.
WOA 2004: 13-21 |
| 35 | | Stefania Costantini:
On the existence of stable models of non-stratified logic programs
CoRR abs/cs/0412105: (2004) |
| 34 | | Stefania Costantini,
Alessandro Provetti:
Normal forms for Answer Sets Programming
CoRR cs.AI/0410014: (2004) |
| 2003 |
|---|
| 33 | | Stefania Costantini,
Andrea Formisano,
Eugenio G. Omodeo:
Mappings Between Domain Models in Answer Set Programming.
APPIA-GULP-PRODE 2003: 147-158 |
| 32 | | Stefania Costantini,
Andrea Formisano,
Eugenio G. Omodeo:
Mappings Between Domain Models in Answer Set Programming.
Answer Set Programming 2003 |
| 31 | | Stefania Costantini,
Arianna Tocchio:
Context-Based Commonsense Reasoning in the DALI Logic Programming Language.
CONTEXT 2003: 443-450 |
| 30 | | Marco Castaldi,
Stefania Costantini,
Stefano Gentile,
Arianna Tocchio:
A Logic-Based Infrastructure for Reconfiguring Applications.
DALT 2003: 17-36 |
| 29 | | 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 |
| 28 | | Stefania Costantini,
Arianna Tocchio:
Strips-like Planning in the DALI Logic Programmming Language.
WOA 2003: 115-120 |
| 2002 |
|---|
| 27 | | Stefania Costantini:
Meta-reasoning: A Survey.
Computational Logic: Logic Programming and Beyond 2002: 253-288 |
| 26 | | Stefania Costantini,
Ramón P. Otero,
Alessandro Provetti,
Tran Cao Son:
Disjunctive Logic Programs with Inheritance Revisited.
ISMIS 2002: 294-302 |
| 25 | | Stefania Costantini,
Arianna Tocchio:
A Logic Programming Language for Multi-agent Systems.
JELIA 2002: 1-13 |
| 24 | | 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 |
|---|
| 23 | | Stefania Costantini:
Comparing different graph representations of logic programs under the Answer Set semantics.
Answer Set Programming 2001 |
| 2000 |
|---|
| 22 | | Jonas Barklund,
Pierangelo Dell'Acqua,
Stefania Costantini,
Gaetano Aurelio Lanzarone:
Reflection principles in computational logic.
J. Log. Comput. 10(6): 743-786 (2000) |
| 1999 |
|---|
| 21 | | 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 |
|---|
| 20 | | Jonas Barklund,
Pierangelo Dell'Acqua,
Stefania Costantini,
Gaetano Aurelio Lanzarone:
Multiple Metareasoning Agents for Flexible Query-Answering Systems.
FQAS 1996: 155-166 |
| 19 | | Stefania Costantini,
Gaetano Aurelio Lanzarone,
Giuseppe Magliocco:
Asserting Lemmas in the Stable Model Semantics.
JICSLP 1996: 438-452 |
| 1995 |
|---|
| 18 | | Jonas Barklund,
Pierangelo Dell'Acqua,
Stefania Costantini,
Gaetano Aurelio Lanzarone:
Semantical Properties of SLD-Resolution with Reflection.
ICLP 1995: 830 |
| 17 | | Jonas Barklund,
Pierangelo Dell'Acqua,
Stefania Costantini,
Gaetano Aurelio Lanzarone:
Semantical Properties of Encodings in Logic Programming.
ILPS 1995: 288-302 |
| 16 | | 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): (1995) |
| 15 | | 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) |
| 14 | | Stefania Costantini:
Contributions to the Stable Model Semantics of Logic Programs with Negation.
Theor. Comput. Sci. 149(2): 231-255 (1995) |
| 1994 |
|---|
| 13 | | S. Bertarello,
Stefania Costantini,
Gaetano Aurelio Lanzarone:
Extending Explanation-Based Generalization with Metalogic Programming.
GULP-PRODE (2) 1994: 16-31 |
| 12 | | Jonas Barklund,
Pierangelo Dell'Acqua,
Stefania Costantini,
Gaetano Aurelio Lanzarone:
Reflection through Constraint Satisfaction.
ICLP 1994: 742 |
| 11 | | Stefania Costantini,
Pierangelo Dell'Acqua,
Gaetano Aurelio Lanzarone:
Extending Horn Clause Theories by Reflection Principles.
JELIA 1994: 400-413 |
| 10 | | Stefania Costantini,
Gaetano Aurelio Lanzarone:
Static Semantics as Program Transformation and Well-founded Computation.
NMELP 1994: 156-180 |
| 9 | | Jonas Barklund,
Pierangelo Dell'Acqua,
Stefania Costantini,
Gaetano Aurelio Lanzarone:
SLD - Resolution with Reflection.
SLP 1994: 554-568 |
| 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 |
