| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Vincenzo Bevar, Stefania Costantini, Arianna Tocchio, Giovanni De Gasperis |
A Multi-Agent System for Industrial Fault Detection and Repair.  |
PAAMS  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Costantini, Alessio Paolucci, Arianna Tocchio, Panagiota Tsintza |
DALI, RASP, mnemosine: Computational Logic at work. |
Intelligenza Artificiale |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Costantini, Niva Florio, Alessio Paolucci |
A Framework for Structured Knowledge Extraction and Representation from Natural Language through Deep Sentence Analysis. |
KDIR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Stefania Costantini, Andrea Formisano |
Augmenting Weight Constraints with Complex Preferences. |
AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning |
2011 |
DBLP BibTeX RDF |
|
| 1 | Stefania Costantini, Andrea Formisano |
Weight Constraints with Preferences in ASP. |
LPNMR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Costantini, Pierangelo Dell'Acqua, Luís Moniz Pereira |
Conditional Learning of Rules and Plans by Knowledge Exchange in Logical Agents. |
RuleML Europe |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Costantini |
Michael Gelfond: Essay in Honour of His 65th Birthday. |
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Costantini, Alessandro Provetti |
A Lower Bound for Answer Set Solver Computation. |
Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial |
2010 |
DBLP BibTeX RDF |
|
| 1 | Stefania Costantini, Andrea Formisano |
Answer Set Programming with Resources. |
J. Log. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Costantini, Andrea Formisano, Davide Petturiti |
Extending and Implementing RASP. |
Fundam. Inform. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Costantini, Arianna Tocchio |
A Dialogue Games Framework for the Operational Semantics of Logic Agent-Oriented Languages. |
CLIMA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Costantini |
Answer Set Modules for Logical Agents. |
Datalog |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Costantini, Richard Watson |
Editorial. |
J. Log. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Costantini, Andrea Formisano |
Modeling preferences and conditional preferences on resource consumption and production in ASP. |
J. Algorithms |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Costantini |
Integrating Answer Set Modules into Agent Programs. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Costantini, Leonardo Mostarda, Arianna Tocchio, Panagiota Tsintza |
DALICA: Agent-Based Ambient Intelligence for Cultural-Heritage Scenarios. |
IEEE Intelligent Systems |
2008 |
DBLP DOI BibTeX RDF |
DALI, cultural assets, intelligent logical agents, pervasive computing, multiagent systems, ambient intelligence, collaborative computing |
| 1 | Stefania Costantini, Arianna Tocchio, Panagiota Tsintza |
Contracts Violation: Justification via Argumentation. |
CLIMA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Costantini, Arianna Tocchio |
DALI: An Architecture for Intelligent Logical Agents. |
AAAI Spring Symposium: Emotion, Personality, and Social Behavior |
2008 |
DBLP BibTeX RDF |
|
| 1 | Stefania Costantini, Arianna Tocchio, Panagiota Tsintza |
A Heuristic Approach to P2P Negotiation. |
CLIMA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Costantini, Arianna Tocchio, Panagiota Tsintza, Leonardo Mostarda |
Agents and Security in a Cultural Assets Transport Scenario. |
WOA |
2007 |
DBLP BibTeX RDF |
|
| 1 | Stefania Costantini, Arianna Tocchio, Francesca Toni, Panagiota Tsintza |
A Multi-layered General Agent Model. |
AI*IA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Costantini, Arianna Tocchio, Pierangelo Dell'Acqua |
Expressing Preferences Declaratively in Logic-based Agent Languages. |
AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning |
2007 |
DBLP BibTeX RDF |
|
| 1 | Stefania Costantini, Leonardo Mostarda, Arianna Tocchio, Panagiota Tsintza |
DALICA: Intelligent Agents for User Profile Deduction. |
SEKE |
2007 |
DBLP BibTeX RDF |
|
| 1 | Stefania Costantini |
On the existence of stable models of non-stratified logic programs. |
TPLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Costantini, Pierangelo Dell'Acqua, Arianna Tocchio |
Expressing preferences declaratively in logic-based agent languages. |
WOA |
2006 |
DBLP BibTeX RDF |
|
| 1 | Stefania Costantini, Alessandro Provetti |
Normal forms for answer sets programming. |
TPLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Costantini, Arianna Tocchio, Alessia Verticchio |
Communication and trust in the DALI logic programming agent-oriented language. |
Intelligenza Artificiale |
2005 |
DBLP BibTeX RDF |
|
| 1 | Stefania Costantini, Arianna Tocchio |
Learning by Knowledge Exchange in Logical Agents. |
WOA |
2005 |
DBLP BibTeX RDF |
|
| 1 | Stefania Costantini, Arianna Tocchio |
About Declarative Semantics of Logic-Based Agent Languages. |
DALT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Costantini |
On the existence of stable models of non-stratified logic programs |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Stefania Costantini, Alessandro Provetti |
Normal forms for Answer Sets Programming |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Stefania Costantini |
Component-Based Answer Set Programming. |
LA-NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Stefania Costantini, Arianna Tocchio |
Planning Experiments in the DALI Logic Programming Language. |
CLIMA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Arianna Tocchio, Stefania Costantini, Alessia Verticchio |
A Game-Theoretic Operational Semantics. |
WOA |
2004 |
DBLP BibTeX RDF |
|
| 1 | Stefania Costantini, Arianna Tocchio |
The DALI Logic Programming Agent-Oriented Language. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Costantini, Arianna Tocchio |
Strips-like Planning in the DALI Logic Programmming Language. |
WOA |
2003 |
DBLP BibTeX RDF |
|
| 1 | Stefania Costantini, Andrea Formisano, Eugenio G. Omodeo |
Mappings Between Domain Models in Answer Set Programming. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Marco Castaldi, Stefania Costantini, Stefano Gentile, Arianna Tocchio |
A Logic-Based Infrastructure for Reconfiguring Applications. |
DALT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Costantini, Arianna Tocchio |
Context-Based Commonsense Reasoning in the DALI Logic Programming Language. |
CONTEXT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
Calculus of relations, logic programming, relation algebras, algebraic specifications, computational logic |
| 1 | Stefania Costantini, Andrea Formisano, Eugenio G. Omodeo |
Mappings Between Domain Models in Answer Set Programming. |
Answer Set Programming |
2003 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Costantini, Ramón P. Otero, Alessandro Provetti, Tran Cao Son |
Disjunctive Logic Programs with Inheritance Revisited. |
ISMIS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Costantini, Arianna Tocchio |
A Logic Programming Language for Multi-agent Systems. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Costantini |
Meta-reasoning: A Survey. |
Computational Logic: Logic Programming and Beyond |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Costantini |
Comparing different graph representations of logic programs under the Answer Set semantics. |
Answer Set Programming |
2001 |
DBLP BibTeX RDF |
|
| 1 | Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone |
Reflection principles in computational logic. |
J. Log. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Costantini, T. Morbidoni |
Computational Complexity of a Knowledge Compilation. Approach to the Static Semantics for Disjunctive Logic Programs. |
APPIA-GULP-PRODE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Stefania Costantini, Gaetano Aurelio Lanzarone, Giuseppe Magliocco |
Asserting Lemmas in the Stable Model Semantics. |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
| 1 | Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone |
Multiple Metareasoning Agents for Flexible Query-Answering Systems. |
FQAS |
1996 |
DBLP BibTeX RDF |
|
| 1 | Stefania Costantini |
Contributions to the Stable Model Semantics of Logic Programs with Negation. |
Theor. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Costantini, Gaetano Aurelio Lanzarone |
Explanation-Based Interpretation of Open-Textured Concepts in Logical Models of Legislation. |
Artif. Intell. Law |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Costantini, Gaetano Aurelio Lanzarone, L. Sbarbaro |
A formal definition and a sound implementation of analogical reasoning in logic programming. |
Ann. Math. Artif. Intell. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone |
Semantical Properties of SLD-Resolution with Reflection. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
| 1 | Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone |
Semantical Properties of Encodings in Logic Programming. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Stefania Costantini, Gaetano Aurelio Lanzarone |
A metalogic programming approach: language, semantics and applications. |
J. Exp. Theor. Artif. Intell. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Costantini, Gaetano Aurelio Lanzarone |
Metalevel Negation and Non-Monotonic Reasoning. |
Meth. of Logic in CS |
1994 |
DBLP BibTeX RDF |
|
| 1 | S. Bertarello, Stefania Costantini, Gaetano Aurelio Lanzarone |
Extending Explanation-Based Generalization with Metalogic Programming. |
GULP-PRODE |
1994 |
DBLP BibTeX RDF |
|
| 1 | Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone |
Reflection through Constraint Satisfaction. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
| 1 | Stefania Costantini, Gaetano Aurelio Lanzarone |
Static Semantics as Program Transformation and Well-founded Computation. |
NMELP |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone |
SLD - Resolution with Reflection. |
SLP |
1994 |
DBLP BibTeX RDF |
|
| 1 | Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone |
Extending Horn Clause Theories by Reflection Principles. |
JELIA |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | D. Concari, Stefania Costantini, Gaetano Aurelio Lanzarone |
Caratteristiche e Aspetti Implementativi della Negazione di Metalivello in Reflective Prolog. |
GULP |
1993 |
DBLP BibTeX RDF |
|
| 1 | Stefania Costantini |
Contributions to the Stable Model Semantics of Logic Programs with Negation. |
LPNMR |
1993 |
DBLP BibTeX RDF |
|
| 1 | Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone |
Reflective Agents in Metalogic Programming. |
META |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Costantini, Gaetano Aurelio Lanzarone |
On Procedural Semantics of Metalevel Negation. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Costantini, Gaetano Aurelio Lanzarone |
Metalevel Represantation of Analogical Inference. |
AI*IA |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Costantini |
Semantics of a Metalogic Programming Language. |
Int. J. Found. Comput. Sci. |
1990 |
DBLP BibTeX RDF |
|
| 1 | Stefania Costantini, Gaetano Aurelio Lanzarone |
Metalevel Negation in Non-Monotonic Reasoning. |
LPNMR |
1990 |
DBLP BibTeX RDF |
|
| 1 | Stefania Costantini, Gaetano Aurelio Lanzarone |
A Metalogic Programming Language. |
ICLP |
1989 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")