The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Stefania Costantini: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Pasquale Caianiello, Stefania Costantini, Eugenio G. Omodeo
    An Environment for Specifying Properties of Dyadic Relations and Reasoning about Them: I: Language Extension Mechanisms. [Citation Graph (0, 0)][DBLP]
    Theory and Applications of Relational Structures as Knowledge Instruments, 2003, pp:87-106 [Conf]
  2. S. Bertarello, Stefania Costantini, Gaetano Aurelio Lanzarone
    Extending Explanation-Based Generalization with Metalogic Programming. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE (2), 1994, pp:16-31 [Conf]
  3. D. Concari, Stefania Costantini, Gaetano Aurelio Lanzarone
    Caratteristiche e Aspetti Implementativi della Negazione di Metalivello in Reflective Prolog. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:285-300 [Conf]
  4. Stefania Costantini, Andrea Formisano, Eugenio G. Omodeo
    Mappings Between Domain Models in Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 2003, pp:147-158 [Conf]
  5. Stefania Costantini, T. Morbidoni
    Computational Complexity of a Knowledge Compilation. Approach to the Static Semantics for Disjunctive Logic Programs. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1999, pp:575-588 [Conf]
  6. Stefania Costantini, Gaetano Aurelio Lanzarone
    Metalevel Represantation of Analogical Inference. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1991, pp:460-464 [Conf]
  7. Stefania Costantini
    Comparing different graph representations of logic programs under the Answer Set semantics. [Citation Graph (0, 0)][DBLP]
    Answer Set Programming, 2001, pp:- [Conf]
  8. Stefania Costantini, Andrea Formisano, Eugenio G. Omodeo
    Mappings Between Domain Models in Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    Answer Set Programming, 2003, pp:- [Conf]
  9. Stefania Costantini
    Meta-reasoning: A Survey. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:253-288 [Conf]
  10. Stefania Costantini, Arianna Tocchio
    Planning Experiments in the DALI Logic Programming Language. [Citation Graph (0, 0)][DBLP]
    CLIMA IV, 2004, pp:89-107 [Conf]
  11. Stefania Costantini, Arianna Tocchio
    Context-Based Commonsense Reasoning in the DALI Logic Programming Language. [Citation Graph (0, 0)][DBLP]
    CONTEXT, 2003, pp:443-450 [Conf]
  12. Marco Castaldi, Stefania Costantini, Stefano Gentile, Arianna Tocchio
    A Logic-Based Infrastructure for Reconfiguring Applications. [Citation Graph (0, 0)][DBLP]
    DALT, 2003, pp:17-36 [Conf]
  13. Stefania Costantini, Arianna Tocchio
    About Declarative Semantics of Logic-Based Agent Languages. [Citation Graph (0, 0)][DBLP]
    DALT, 2005, pp:106-123 [Conf]
  14. Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone
    Multiple Metareasoning Agents for Flexible Query-Answering Systems. [Citation Graph (0, 0)][DBLP]
    FQAS, 1996, pp:155-166 [Conf]
  15. Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone
    Semantical Properties of SLD-Resolution with Reflection. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:830- [Conf]
  16. Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone
    Reflection through Constraint Satisfaction. [Citation Graph (0, 0)][DBLP]
    ICLP, 1994, pp:742- [Conf]
  17. Stefania Costantini, Gaetano Aurelio Lanzarone
    A Metalogic Programming Language. [Citation Graph (0, 0)][DBLP]
    ICLP, 1989, pp:218-233 [Conf]
  18. Stefania Costantini, Gaetano Aurelio Lanzarone, Giuseppe Magliocco
    Asserting Lemmas in the Stable Model Semantics. [Citation Graph (0, 0)][DBLP]
    JICSLP, 1996, pp:438-452 [Conf]
  19. Stefania Costantini, Ramón P. Otero, Alessandro Provetti, Tran Cao Son
    Disjunctive Logic Programs with Inheritance Revisited. [Citation Graph (0, 0)][DBLP]
    ISMIS, 2002, pp:294-302 [Conf]
  20. Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone
    Extending Horn Clause Theories by Reflection Principles. [Citation Graph (0, 0)][DBLP]
    JELIA, 1994, pp:400-413 [Conf]
  21. Stefania Costantini, Arianna Tocchio
    The DALI Logic Programming Agent-Oriented Language. [Citation Graph (0, 0)][DBLP]
    JELIA, 2004, pp:685-688 [Conf]
  22. Stefania Costantini, Arianna Tocchio
    A Logic Programming Language for Multi-agent Systems. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:1-13 [Conf]
  23. Stefania Costantini
    Component-Based Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    LA-NMR, 2004, pp:- [Conf]
  24. Stefania Costantini, Gaetano Aurelio Lanzarone
    On Procedural Semantics of Metalevel Negation. [Citation Graph (0, 0)][DBLP]
    RCLP, 1991, pp:140-151 [Conf]
  25. Stefania Costantini
    Contributions to the Stable Model Semantics of Logic Programs with Negation. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1993, pp:190-205 [Conf]
  26. Stefania Costantini, Gaetano Aurelio Lanzarone
    Metalevel Negation in Non-Monotonic Reasoning. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1990, pp:19-26 [Conf]
  27. Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone
    Reflective Agents in Metalogic Programming. [Citation Graph (0, 0)][DBLP]
    META, 1992, pp:135-147 [Conf]
  28. Stefania Costantini, Gaetano Aurelio Lanzarone
    Static Semantics as Program Transformation and Well-founded Computation. [Citation Graph (0, 0)][DBLP]
    NMELP, 1994, pp:156-180 [Conf]
  29. Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone
    SLD - Resolution with Reflection. [Citation Graph (0, 0)][DBLP]
    SLP, 1994, pp:554-568 [Conf]
  30. Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone
    Semantical Properties of Encodings in Logic Programming. [Citation Graph (0, 0)][DBLP]
    ILPS, 1995, pp:288-302 [Conf]
  31. Stefania Costantini, Arianna Tocchio
    Learning by Knowledge Exchange in Logical Agents. [Citation Graph (0, 0)][DBLP]
    WOA, 2005, pp:1-8 [Conf]
  32. Stefania Costantini, Arianna Tocchio
    Strips-like Planning in the DALI Logic Programmming Language. [Citation Graph (0, 0)][DBLP]
    WOA, 2003, pp:115-120 [Conf]
  33. Arianna Tocchio, Stefania Costantini, Alessia Verticchio
    A Game-Theoretic Operational Semantics. [Citation Graph (0, 0)][DBLP]
    WOA, 2004, pp:13-21 [Conf]
  34. Stefania Costantini, Gaetano Aurelio Lanzarone
    Explanation-Based Interpretation of Open-Textured Concepts in Logical Models of Legislation. [Citation Graph (0, 0)][DBLP]
    Artif. Intell. Law, 1995, v:3, n:3, pp:191-208 [Journal]
  35. Stefania Costantini, Gaetano Aurelio Lanzarone, L. Sbarbaro
    A formal definition and a sound implementation of analogical reasoning in logic programming. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1995, v:14, n:1, pp:- [Journal]
  36. Stefania Costantini, Alessandro Provetti
    Normal forms for Answer Sets Programming [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  37. Stefania Costantini, Arianna Tocchio, Alessia Verticchio
    Communication and trust in the DALI logic programming agent-oriented language. [Citation Graph (0, 0)][DBLP]
    Intelligenza Artificiale, 2005, v:2, n:1, pp:39-46 [Journal]
  38. Stefania Costantini
    Semantics of a Metalogic Programming Language. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 1990, v:1, n:3, pp:233-248 [Journal]
  39. Stefania Costantini, Ottavio M. D'Antona, Alessandro Provetti
    On the equivalence and range of applicability of graph-based representations of logic programs. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2002, v:84, n:5, pp:241-249 [Journal]
  40. Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone
    Reflection principles in computational logic. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2000, v:10, n:6, pp:743-786 [Journal]
  41. Stefania Costantini
    Contributions to the Stable Model Semantics of Logic Programs with Negation. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:149, n:2, pp:231-255 [Journal]
  42. Stefania Costantini, Alessandro Provetti
    Normal forms for answer sets programming. [Citation Graph (0, 0)][DBLP]
    TPLP, 2005, v:5, n:6, pp:747-760 [Journal]
  43. Stefania Costantini
    On the existence of stable models of non-stratified logic programs. [Citation Graph (0, 0)][DBLP]
    TPLP, 2006, v:6, n:1-2, pp:169-212 [Journal]
  44. Stefania Costantini, Arianna Tocchio, Francesca Toni, Panagiota Tsintza
    A Multi-layered General Agent Model. [Citation Graph (0, 0)][DBLP]
    AI*IA, 2007, pp:121-132 [Conf]
  45. Stefania Costantini, Leonardo Mostarda, Arianna Tocchio, Panagiota Tsintza
    DALICA: Intelligent Agents for User Profile Deduction. [Citation Graph (0, 0)][DBLP]
    SEKE, 2007, pp:660-0 [Conf]
  46. Stefania Costantini, Pierangelo Dell'Acqua, Arianna Tocchio
    Expressing preferences declaratively in logic-based agent languages. [Citation Graph (0, 0)][DBLP]
    WOA, 2006, pp:- [Conf]
  47. Stefania Costantini
    On the existence of stable models of non-stratified logic programs [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]

  48. A Heuristic Approach to P2P Negotiation. [Citation Graph (, )][DBLP]


  49. Contracts Violation: Justification via Argumentation. [Citation Graph (, )][DBLP]


  50. A Dialogue Games Framework for the Operational Semantics of Logic Agent-Oriented Languages. [Citation Graph (, )][DBLP]


  51. Integrating Answer Set Modules into Agent Programs. [Citation Graph (, )][DBLP]


  52. Agents and Security in a Cultural Assets Transport Scenario. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002