BibTeX records: Stefania Costantini

download as .bib file

@inproceedings{DBLP:conf/ictcs/CostantiniGPS17,
  author    = {Stefania Costantini and
               Giovanni De Gasperis and
               Valentina Pitoni and
               Agnese Salutari},
  title     = {{DALI:} {A} Multi Agent System Framework for the Web, Cognitive Robotic
               and Complex Event Processing},
  booktitle = {{ICTCS/CILC}},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1949},
  pages     = {286--300},
  publisher = {CEUR-WS.org},
  year      = {2017}
}
@inproceedings{DBLP:conf/lpnmr/CabalarCF17,
  author    = {Pedro Cabalar and
               Stefania Costantini and
               Andrea Formisano},
  title     = {Multi-Context Systems: Dynamics and Evolution},
  booktitle = {ASPOCP@LPNMR},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1868},
  publisher = {CEUR-WS.org},
  year      = {2017}
}
@inproceedings{DBLP:conf/padl/CostantiniGN17,
  author    = {Stefania Costantini and
               Giovanni De Gasperis and
               Giulio Nazzicone},
  title     = {{DALI} for Cognitive Robotics: Principles and Prototype Implementation},
  booktitle = {{PADL}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10137},
  pages     = {152--162},
  publisher = {Springer},
  year      = {2017}
}
@proceedings{DBLP:conf/ruleml/2017s,
  editor    = {Nick Bassiliades and
               Antonis Bikakis and
               Stefania Costantini and
               Enrico Franconi and
               Adrian Giurca and
               Roman Kontchakov and
               Theodore Patkos and
               Fariba Sadri and
               William Van Woensel},
  title     = {Proceedings of the Doctoral Consortium, Challenge, Industry Track,
               Tutorials and Posters @ RuleML+RR 2017 hosted by International Joint
               Conference on Rules and Reasoning 2017 (RuleML+RR 2017), London, UK,
               July 11-15, 2017},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1875},
  publisher = {CEUR-WS.org},
  year      = {2017}
}
@proceedings{DBLP:conf/ruleml/2017,
  editor    = {Stefania Costantini and
               Enrico Franconi and
               William Van Woensel and
               Roman Kontchakov and
               Fariba Sadri and
               Dumitru Roman},
  title     = {Rules and Reasoning - International Joint Conference, RuleML+RR 2017,
               London, UK, July 12-15, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10364},
  publisher = {Springer},
  year      = {2017}
}
@article{DBLP:journals/tplp/CostantiniF16,
  author    = {Stefania Costantini and
               Andrea Formisano},
  title     = {Query answering in resource-based answer set semantics},
  journal   = {{TPLP}},
  volume    = {16},
  number    = {5-6},
  pages     = {619--635},
  year      = {2016}
}
@inproceedings{DBLP:conf/atal/CostantiniF16a,
  author    = {Stefania Costantini and
               Andrea Formisano},
  title     = {Augmenting Agent Computational Environments with Quantitative Reasoning
               Modules and Customizable Bridge Rules},
  booktitle = {{AAMAS} Workshops (Visionary Papers)},
  series    = {Lecture Notes in Computer Science},
  volume    = {10003},
  pages     = {104--121},
  year      = {2016}
}
@inproceedings{DBLP:conf/atal/CostantiniF16b,
  author    = {Stefania Costantini and
               Andrea Formisano},
  title     = {Augmenting Agent Computational Environments with Quantitative Reasoning
               Modules and Customizable Bridge Rules},
  booktitle = {EMAS@AAMAS},
  series    = {Lecture Notes in Computer Science},
  volume    = {10093},
  pages     = {192--209},
  publisher = {Springer},
  year      = {2016}
}
@inproceedings{DBLP:conf/atal/CostantiniF16,
  author    = {Stefania Costantini and
               Andrea Formisano},
  title     = {Budget-Constrained Reasoning in Agent Computational Environments:
               (Extended Abstract)},
  booktitle = {{AAMAS}},
  pages     = {1311--1312},
  publisher = {{ACM}},
  year      = {2016}
}
@inproceedings{DBLP:conf/ecai/CostantiniF16,
  author    = {Stefania Costantini and
               Andrea Formisano},
  title     = {Multi-Context Systems in Time},
  booktitle = {{ECAI}},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {285},
  pages     = {1680--1681},
  publisher = {{IOS} Press},
  year      = {2016}
}
@inproceedings{DBLP:conf/paams/AielliACCGMFM16,
  author    = {Federica Aielli and
               Davide Ancona and
               Pasquale Caianiello and
               Stefania Costantini and
               Giovanni De Gasperis and
               Antinisca Di Marco and
               Angelo Ferrando and
               Viviana Mascardi},
  title     = {{FRIENDLY} {\&} {KIND} with your Health: Human-Friendly Knowledge-INtensive
               Dynamic Systems for the e-Health Domain},
  booktitle = {{PAAMS} (Workshops)},
  series    = {Communications in Computer and Information Science},
  volume    = {616},
  pages     = {15--26},
  publisher = {Springer},
  year      = {2016}
}
@inproceedings{DBLP:conf/ruleml/CostantiniG16,
  author    = {Stefania Costantini and
               Giovanni De Gasperis},
  title     = {Bridge Rules for Reasoning in Component-Based Heterogeneous Environments},
  booktitle = {RuleML},
  series    = {Lecture Notes in Computer Science},
  volume    = {9718},
  pages     = {97--112},
  publisher = {Springer},
  year      = {2016}
}
@article{DBLP:journals/corr/CostantiniF16,
  author    = {Stefania Costantini and
               Andrea Formisano},
  title     = {Query Answering in Resource-Based Answer Set Semantics},
  journal   = {CoRR},
  volume    = {abs/1608.01604},
  year      = {2016}
}
@article{DBLP:journals/fuin/CostantiniF15,
  author    = {Stefania Costantini and
               Andrea Formisano},
  title     = {Negation as a Resource: a Novel View on Answer Set Semantics},
  journal   = {Fundam. Inform.},
  volume    = {140},
  number    = {3-4},
  pages     = {279--305},
  year      = {2015}
}
@article{DBLP:journals/logcom/CostantiniG15,
  author    = {Stefania Costantini and
               Federico Gobbo},
  title     = {Elio Lanzarone: a life for science},
  journal   = {J. Log. Comput.},
  volume    = {25},
  number    = {6},
  pages     = {1371--1378},
  year      = {2015}
}
@inproceedings{DBLP:conf/aiia/CaianielloCGT15,
  author    = {Pasquale Caianiello and
               Stefania Costantini and
               Giovanni De Gasperis and
               Subhasis Thakur},
  title     = {Cooperating with Trusted Parties Would Make Life Easier},
  booktitle = {AI*IA},
  series    = {Lecture Notes in Computer Science},
  volume    = {9336},
  pages     = {128--135},
  publisher = {Springer},
  year      = {2015}
}
@inproceedings{DBLP:conf/atal/Costantini15,
  author    = {Stefania Costantini},
  title     = {{ACE:} {A} Flexible Environment for Complex Event Processing in Logical
               Agents},
  booktitle = {EMAS@AAMAS},
  series    = {Lecture Notes in Computer Science},
  volume    = {9318},
  pages     = {70--91},
  publisher = {Springer},
  year      = {2015}
}
@inproceedings{DBLP:conf/cilc/CostantiniGO15,
  author    = {Stefania Costantini and
               Giovanni De Gasperis and
               Raffaele Olivieri},
  title     = {How Answer Set Programming can help in digital forensic investigation},
  booktitle = {{CILC}},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1459},
  pages     = {53--65},
  publisher = {CEUR-WS.org},
  year      = {2015}
}
@inproceedings{DBLP:conf/dcai/CostantiniGN15,
  author    = {Stefania Costantini and
               Giovanni De Gasperis and
               Giulio Nazzicone},
  title     = {Exploration of Unknown Territory via {DALI} Agents and {ASP} Modules},
  booktitle = {{DCAI}},
  series    = {Advances in Intelligent Systems and Computing},
  volume    = {373},
  pages     = {285--292},
  publisher = {Springer},
  year      = {2015}
}
@inproceedings{DBLP:conf/lpnmr/Costantini15,
  author    = {Stefania Costantini},
  title     = {Knowledge Acquisition via Non-monotonic Reasoning in Distributed Heterogeneous
               Environments},
  booktitle = {{LPNMR}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9345},
  pages     = {228--241},
  publisher = {Springer},
  year      = {2015}
}
@inproceedings{DBLP:conf/lpnmr/CostantiniGO15,
  author    = {Stefania Costantini and
               Giovanni De Gasperis and
               Raffaele Olivieri},
  title     = {Digital Forensics Evidence Analysis: An Answer Set Programming Approach
               for Generating Investigation Hypotheses},
  booktitle = {{LPNMR}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9345},
  pages     = {242--249},
  publisher = {Springer},
  year      = {2015}
}
@inproceedings{DBLP:conf/ruleml/CostantiniG15,
  author    = {Stefania Costantini and
               Giovanni De Gasperis},
  title     = {Exchanging Data and Ontological Definitions in Multi-Agent-Contexts
               Systems},
  booktitle = {Challenge+DC@RuleML},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1417},
  publisher = {CEUR-WS.org},
  year      = {2015}
}
@inproceedings{DBLP:conf/atal/CostantiniR14,
  author    = {Stefania Costantini and
               R{\'{e}}gis Riveret},
  title     = {Event-action modules for complex reactivity in logical agents},
  booktitle = {{AAMAS}},
  pages     = {1503--1504},
  publisher = {{IFAAMAS/ACM}},
  year      = {2014}
}
@inproceedings{DBLP:conf/cilc/CostantiniF14,
  author    = {Stefania Costantini and
               Andrea Formisano},
  title     = {Query Answering in Resource-Based Answer Set Semantics},
  booktitle = {{CILC}},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1195},
  pages     = {69--83},
  publisher = {CEUR-WS.org},
  year      = {2014}
}
@inproceedings{DBLP:conf/cilc/CostantiniG14,
  author    = {Stefania Costantini and
               Giovanni De Gasperis},
  title     = {Runtime Self-Checking via Temporal (Meta-)Axioms for Assurance of
               Logical Agent Systems},
  booktitle = {{CILC}},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1195},
  pages     = {241--255},
  publisher = {CEUR-WS.org},
  year      = {2014}
}
@inproceedings{DBLP:conf/cilc/CostantiniR14,
  author    = {Stefania Costantini and
               R{\'{e}}gis Riveret},
  title     = {Complex Events and Actions in Logical Agents},
  booktitle = {{CILC}},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1195},
  pages     = {256--271},
  publisher = {CEUR-WS.org},
  year      = {2014}
}
@article{DBLP:journals/corr/BrignoliCDP14,
  author    = {Gianpaolo Brignoli and
               Stefania Costantini and
               Ottavio M. D'Antona and
               Alessandro Provetti},
  title     = {Characterizing and computing stable models of logic programs: The
               non-stratified case},
  journal   = {CoRR},
  volume    = {abs/1402.5436},
  year      = {2014}
}
@article{DBLP:journals/corr/Costantini14,
  author    = {Stefania Costantini},
  title     = {Towards Active Logic Programming},
  journal   = {CoRR},
  volume    = {abs/1403.5508},
  year      = {2014}
}
@article{DBLP:journals/corr/Costantini14a,
  author    = {Stefania Costantini},
  title     = {Committment-Based Data-Aware Multi-Agent-Contexts Systems},
  journal   = {CoRR},
  volume    = {abs/1410.2063},
  year      = {2014}
}
@article{DBLP:journals/fuin/CostantiniF13,
  author    = {Stefania Costantini and
               Andrea Formisano},
  title     = {Nested Weight Constraints in {ASP}},
  journal   = {Fundam. Inform.},
  volume    = {124},
  number    = {4},
  pages     = {449--464},
  year      = {2013}
}
@article{DBLP:journals/ijimai/CaianielloCGL13,
  author    = {Pasquale Caianiello and
               Stefania Costantini and
               Giovanni De Gasperis and
               Mario Gimenez De Lorenzo},
  title     = {Application of Hybrid Agents to Smart Energy Management of a Prosumer
               Node},
  journal   = {{IJIMAI}},
  volume    = {2},
  number    = {4},
  pages     = {60--66},
  year      = {2013}
}
@article{DBLP:journals/jancl/CostantiniF13,
  author    = {Stefania Costantini and
               Andrea Formisano},
  title     = {{RASP} and {ASP} as a fragment of linear logic},
  journal   = {Journal of Applied Non-Classical Logics},
  volume    = {23},
  number    = {1-2},
  pages     = {49--74},
  year      = {2013}
}
@inproceedings{DBLP:conf/atal/Costantini13,
  author    = {Stefania Costantini},
  title     = {Self-checking logical agents},
  booktitle = {{AAMAS}},
  pages     = {1329--1330},
  publisher = {{IFAAMAS}},
  year      = {2013}
}
@inproceedings{DBLP:conf/cilc/CostantiniF13,
  author    = {Stefania Costantini and
               Andrea Formisano},
  title     = {Negation as a Resource: a Novel View on Answer Set Semantics},
  booktitle = {{CILC}},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1068},
  pages     = {17--31},
  publisher = {CEUR-WS.org},
  year      = {2013}
}
@inproceedings{DBLP:conf/cilc/CostantiniGFZ13,
  author    = {Stefania Costantini and
               Giovanni De Gasperis and
               Niva Florio and
               Claudia Zuppella},
  title     = {An ASP-based System for Preference Handling and Planning},
  booktitle = {{CILC}},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1068},
  pages     = {253--257},
  publisher = {CEUR-WS.org},
  year      = {2013}
}
@inproceedings{DBLP:conf/dcai/CaianielloCGFG13,
  author    = {Pasquale Caianiello and
               Stefania Costantini and
               Giovanni De Gasperis and
               Niva Florio and
               Federico Gobbo},
  title     = {Application of Hybrid Agents to Smart Energy Management of a Prosumer
               Node},
  booktitle = {{DCAI}},
  series    = {Advances in Intelligent Systems and Computing},
  volume    = {217},
  pages     = {597--607},
  publisher = {Springer},
  year      = {2013}
}
@inproceedings{DBLP:conf/lpnmr/CostantiniF13,
  author    = {Stefania Costantini and
               Andrea Formisano},
  title     = {Negation as a Resource: {A} Novel View on Answer Set Semantics},
  booktitle = {{LPNMR}},
  series    = {Lecture Notes in Computer Science},
  volume    = {8148},
  pages     = {257--263},
  publisher = {Springer},
  year      = {2013}
}
@inproceedings{DBLP:conf/aiia/CostantiniDGFT12,
  author    = {Stefania Costantini and
               Annalisa D'Andrea and
               Giovanni De Gasperis and
               Niva Florio and
               Arianna Tocchio},
  title     = {{DALI} Logical Agents into Play},
  booktitle = {{PAI}},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {860},
  pages     = {79--85},
  publisher = {CEUR-WS.org},
  year      = {2012}
}
@inproceedings{DBLP:conf/birthday/CostantiniFP12,
  author    = {Stefania Costantini and
               Andrea Formisano and
               David Pearce},
  title     = {Strong Equivalence of {RASP} Programs},
  booktitle = {Correct Reasoning},
  series    = {Lecture Notes in Computer Science},
  volume    = {7265},
  pages     = {149--163},
  publisher = {Springer},
  year      = {2012}
}
@inproceedings{DBLP:conf/cilc/CostantiniF12,
  author    = {Stefania Costantini and
               Andrea Formisano},
  title     = {Preferences and Priorities in {ASP}},
  booktitle = {{CILC}},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {857},
  pages     = {47--58},
  publisher = {CEUR-WS.org},
  year      = {2012}
}
@inproceedings{DBLP:conf/cilc/CostantiniT12,
  author    = {Stefania Costantini and
               Panagiota Tsintza},
  title     = {Temporal Meta-Axioms in Logical Agents},
  booktitle = {{CILC}},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {857},
  pages     = {59--73},
  publisher = {CEUR-WS.org},
  year      = {2012}
}
@inproceedings{DBLP:conf/lanmr/Costantini12,
  author    = {Stefania Costantini},
  title     = {Self-checking Logical Agents},
  booktitle = {{LA-NMR}},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {911},
  pages     = {3--30},
  publisher = {CEUR-WS.org},
  year      = {2012}
}
@inproceedings{DBLP:conf/paams/BevarCTG12,
  author    = {Vincenzo Bevar and
               Stefania Costantini and
               Arianna Tocchio and
               Giovanni De Gasperis},
  title     = {A Multi-Agent System for Industrial Fault Detection and Repair},
  booktitle = {{PAAMS}},
  series    = {Advances in Intelligent and Soft Computing},
  volume    = {155},
  pages     = {47--55},
  publisher = {Springer},
  year      = {2012}
}
@inproceedings{DBLP:conf/paams/GasperisBCTP12,
  author    = {Giovanni De Gasperis and
               Vincenzo Bevar and
               Stefania Costantini and
               Arianna Tocchio and
               Alessio Paolucci},
  title     = {Demonstrator of a Multi-Agent System for Industrial Fault Detection
               and Repair},
  booktitle = {{PAAMS}},
  series    = {Advances in Intelligent and Soft Computing},
  volume    = {155},
  pages     = {237--240},
  publisher = {Springer},
  year      = {2012}
}
@inproceedings{DBLP:conf/ruleml/CostantiniG12,
  author    = {Stefania Costantini and
               Giovanni De Gasperis},
  title     = {Complex Reactivity with Preferences in Rule-Based Agents},
  booktitle = {RuleML},
  series    = {Lecture Notes in Computer Science},
  volume    = {7438},
  pages     = {167--181},
  publisher = {Springer},
  year      = {2012}
}
@article{DBLP:journals/ia/CostantiniPTT11,
  author    = {Stefania Costantini and
               Alessio Paolucci and
               Arianna Tocchio and
               Panagiota Tsintza},
  title     = {DALI, RASP, mnemosine: Computational Logic at work},
  journal   = {Intelligenza Artificiale},
  volume    = {5},
  number    = {1},
  pages     = {107--111},
  year      = {2011}
}
@inproceedings{DBLP:conf/aaaiss/CostantiniF11,
  author    = {Stefania Costantini and
               Andrea Formisano},
  title     = {Augmenting Weight Constraints with Complex Preferences},
  booktitle = {{AAAI} Spring Symposium: Logical Formalizations of Commonsense Reasoning},
  publisher = {{AAAI}},
  year      = {2011}
}
@inproceedings{DBLP:conf/birthday/Costantini11,
  author    = {Stefania Costantini},
  title     = {Michael Gelfond: Essay in Honour of His 65th Birthday},
  booktitle = {Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning},
  series    = {Lecture Notes in Computer Science},
  volume    = {6565},
  pages     = {344--346},
  publisher = {Springer},
  year      = {2011}
}
@inproceedings{DBLP:conf/cilc/CostantiniFP11,
  author    = {Stefania Costantini and
               Niva Florio and
               Alessio Paolucci},
  title     = {A framework for structured knowledge extraction and representation
               from natural language via deep sentence analysis},
  booktitle = {{CILC}},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {810},
  pages     = {297--310},
  publisher = {CEUR-WS.org},
  year      = {2011}
}
@inproceedings{DBLP:conf/cilc/CostantiniF11,
  author    = {Stefania Costantini and
               Andrea Formisano},
  title     = {Nested Weight Constraints in {ASP}},
  booktitle = {{CILC}},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {810},
  pages     = {371--383},
  publisher = {CEUR-WS.org},
  year      = {2011}
}
@inproceedings{DBLP:conf/gkr/CostantiniP11,
  author    = {Stefania Costantini and
               Alessandro Provetti},
  title     = {Conflict, Consistency and Truth-Dependencies in Graph Representations
               of Answer Set Logic Programs},
  booktitle = {{GKR}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7205},
  pages     = {68--90},
  publisher = {Springer},
  year      = {2011}
}
@inproceedings{DBLP:conf/ic3k/CostantiniFP11,
  author    = {Stefania Costantini and
               Niva Florio and
               Alessio Paolucci},
  title     = {A Framework for Structured Knowledge Extraction and Representation
               from Natural Language through Deep Sentence Analysis},
  booktitle = {{KDIR}},
  pages     = {282--287},
  publisher = {SciTePress},
  year      = {2011}
}
@inproceedings{DBLP:conf/lanmr/Costantini11,
  author    = {Stefania Costantini},
  title     = {Defining and Maintaining Agent's Experience in Logical Agents},
  booktitle = {{LA-NMR}},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {804},
  pages     = {151--165},
  publisher = {CEUR-WS.org},
  year      = {2011}
}
@inproceedings{DBLP:conf/lpnmr/CostantiniF11,
  author    = {Stefania Costantini and
               Andrea Formisano},
  title     = {Weight Constraints with Preferences in {ASP}},
  booktitle = {{LPNMR}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6645},
  pages     = {229--235},
  publisher = {Springer},
  year      = {2011}
}
@inproceedings{DBLP:conf/ruleml/CostantiniDP11,
  author    = {Stefania Costantini and
               Pierangelo Dell'Acqua and
               Lu{\'{\i}}s Moniz Pereira},
  title     = {Conditional Learning of Rules and Plans by Knowledge Exchange in Logical
               Agents},
  booktitle = {RuleML Europe},
  series    = {Lecture Notes in Computer Science},
  volume    = {6826},
  pages     = {250--265},
  publisher = {Springer},
  year      = {2011}
}
@article{DBLP:journals/aepia/CostantiniP10,
  author    = {Stefania Costantini and
               Alessandro Provetti},
  title     = {A Lower Bound for Answer Set Solver Computation},
  journal   = {Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial},
  volume    = {14},
  number    = {48},
  pages     = {41--52},
  year      = {2010}
}
@article{DBLP:journals/fuin/CostantiniFP10,
  author    = {Stefania Costantini and
               Andrea Formisano and
               Davide Petturiti},
  title     = {Extending and Implementing {RASP}},
  journal   = {Fundam. Inform.},
  volume    = {105},
  number    = {1-2},
  pages     = {1--33},
  year      = {2010}
}
@article{DBLP:journals/logcom/CostantiniF10,
  author    = {Stefania Costantini and
               Andrea Formisano},
  title     = {Answer Set Programming with Resources},
  journal   = {J. Log. Comput.},
  volume    = {20},
  number    = {2},
  pages     = {533--571},
  year      = {2010}
}
@inproceedings{DBLP:conf/cilc/CostantiniP10,
  author    = {Stefania Costantini and
               Alessio Paolucci},
  title     = {Towards Translating Natural Language Sentences into {ASP}},
  booktitle = {{CILC}},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {598},
  publisher = {CEUR-WS.org},
  year      = {2010}
}
@inproceedings{DBLP:conf/clima/CostantiniT10,
  author    = {Stefania Costantini and
               Arianna Tocchio},
  title     = {A Dialogue Games Framework for the Operational Semantics of Logic
               Agent-Oriented Languages},
  booktitle = {{CLIMA}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6245},
  pages     = {238--255},
  publisher = {Springer},
  year      = {2010}
}
@inproceedings{DBLP:conf/cpaior/CostantiniDPT10,
  author    = {Stefania Costantini and
               Pierangelo Dell'Acqua and
               Lu{\'{\i}}s Moniz Pereira and
               Arianna Tocchio},
  title     = {Ensuring Agent Properties under Arbitrary Sequences of Incoming Events},
  booktitle = {RCRA@CPAIOR},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {616},
  publisher = {CEUR-WS.org},
  year      = {2010}
}
@inproceedings{DBLP:conf/datalog/Costantini10,
  author    = {Stefania Costantini},
  title     = {Answer Set Modules for Logical Agents},
  booktitle = {Datalog},
  series    = {Lecture Notes in Computer Science},
  volume    = {6702},
  pages     = {37--58},
  publisher = {Springer},
  year      = {2010}
}
@article{DBLP:journals/jal/CostantiniF09,
  author    = {Stefania Costantini and
               Andrea Formisano},
  title     = {Modeling preferences and conditional preferences on resource consumption
               and production in {ASP}},
  journal   = {J. Algorithms},
  volume    = {64},
  number    = {1},
  pages     = {3--15},
  year      = {2009}
}
@article{DBLP:journals/logcom/CostantiniW09,
  author    = {Stefania Costantini and
               Richard Watson},
  title     = {Editorial},
  journal   = {J. Log. Comput.},
  volume    = {19},
  number    = {4},
  pages     = {537--538},
  year      = {2009}
}
@inproceedings{DBLP:conf/lanmr/CostantiniP09,
  author    = {Stefania Costantini and
               Alessandro Provetti},
  title     = {A Lower-Bound for Answer Set Solver Computation},
  booktitle = {{LA-NMR}},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {533},
  pages     = {183--198},
  publisher = {CEUR-WS.org},
  year      = {2009}
}
@inproceedings{DBLP:conf/lpnmr/Costantini09,
  author    = {Stefania Costantini},
  title     = {Integrating Answer Set Modules into Agent Programs},
  booktitle = {{LPNMR}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5753},
  pages     = {613--615},
  publisher = {Springer},
  year      = {2009}
}
@article{DBLP:journals/expert/CostantiniMTT08,
  author    = {Stefania Costantini and
               Leonardo Mostarda and
               Arianna Tocchio and
               Panagiota Tsintza},
  title     = {{DALICA:} Agent-Based Ambient Intelligence for Cultural-Heritage Scenarios},
  journal   = {{IEEE} Intelligent Systems},
  volume    = {23},
  number    = {2},
  pages     = {34--41},
  year      = {2008}
}
@inproceedings{DBLP:conf/aaaiss/CostantiniT08,
  author    = {Stefania Costantini and
               Arianna Tocchio},
  title     = {{DALI:} An Architecture for Intelligent Logical Agents},
  booktitle = {{AAAI} Spring Symposium: Emotion, Personality, and Social Behavior},
  pages     = {13--18},
  publisher = {{AAAI}},
  year      = {2008}
}
@inproceedings{DBLP:conf/birthday/CostantiniPTT08,
  author    = {Stefania Costantini and
               Alessio Paolucci and
               Arianna Tocchio and
               Panagiota Tsintza},
  title     = {DALI, RASP, Mnemosine: Computational Logic at Work},
  booktitle = {Il Milione},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {487},
  publisher = {CEUR-WS.org},
  year      = {2008}
}
@inproceedings{DBLP:conf/clima/CostantiniTT08,
  author    = {Stefania Costantini and
               Arianna Tocchio and
               Panagiota Tsintza},
  title     = {Contracts Violation: Justification via Argumentation},
  booktitle = {{CLIMA}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5405},
  pages     = {132--153},
  publisher = {Springer},
  year      = {2008}
}
@inproceedings{DBLP:conf/lanmr/CostantiniF08,
  author    = {Stefania Costantini and
               Andrea Formisano},
  title     = {Conditional preferences in {P-RASP}},
  booktitle = {{LA-NMR}},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {408},
  publisher = {CEUR-WS.org},
  year      = {2008}
}
@inproceedings{DBLP:conf/aaaiss/CostantiniTD07,
  author    = {Stefania Costantini and
               Arianna Tocchio and
               Pierangelo Dell'Acqua},
  title     = {Expressing Preferences Declaratively in Logic-based Agent Languages},
  booktitle = {{AAAI} Spring Symposium: Logical Formalizations of Commonsense Reasoning},
  pages     = {41--46},
  publisher = {{AAAI}},
  year      = {2007}
}
@inproceedings{DBLP:conf/aiia/CostantiniTTT07,
  author    = {Stefania Costantini and
               Arianna Tocchio and
               Francesca Toni and
               Panagiota Tsintza},
  title     = {A Multi-layered General Agent Model},
  booktitle = {AI*IA},
  series    = {Lecture Notes in Computer Science},
  volume    = {4733},
  pages     = {121--132},
  publisher = {Springer},
  year      = {2007}
}
@inproceedings{DBLP:conf/clima/CostantiniTT07,
  author    = {Stefania Costantini and
               Arianna Tocchio and
               Panagiota Tsintza},
  title     = {A Heuristic Approach to {P2P} Negotiation},
  booktitle = {{CLIMA}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5056},
  pages     = {177--192},
  publisher = {Springer},
  year      = {2007}
}
@inproceedings{DBLP:conf/ifiptm/MostardaTIC07,
  author    = {Leonardo Mostarda and
               Arianna Tocchio and
               Paola Inverardi and
               Stefania Costantini},
  title     = {A Geo Time Authentication System},
  booktitle = {{IFIPTM}},
  series    = {{IFIP}},
  volume    = {238},
  pages     = {123--138},
  publisher = {Springer},
  year      = {2007}
}
@inproceedings{DBLP:conf/seke/CostantiniMTT07,
  author    = {Stefania Costantini and
               Leonardo Mostarda and
               Arianna Tocchio and
               Panagiota Tsintza},
  title     = {{DALICA:} Intelligent Agents for User Profile Deduction},
  booktitle = {{SEKE}},
  pages     = {660},
  publisher = {Knowledge Systems Institute Graduate School},
  year      = {2007}
}
@inproceedings{DBLP:conf/woa/CostantiniTTM07,
  author    = {Stefania Costantini and
               Arianna Tocchio and
               Panagiota Tsintza and
               Leonardo Mostarda},
  title     = {Agents and Security in a Cultural Assets Transport Scenario},
  booktitle = {{WOA}},
  pages     = {78--86},
  publisher = {Seneca Edizioni Torino},
  year      = {2007}
}
@article{DBLP:journals/tplp/Costantini06,
  author    = {Stefania Costantini},
  title     = {On the existence of stable models of non-stratified logic programs},
  journal   = {{TPLP}},
  volume    = {6},
  number    = {1-2},
  pages     = {169--212},
  year      = {2006}
}
@inproceedings{DBLP:conf/woa/CostantiniDT06,
  author    = {Stefania Costantini and
               Pierangelo Dell'Acqua and
               Arianna Tocchio},
  title     = {Expressing preferences declaratively in logic-based agent languages},
  booktitle = {{WOA}},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {204},
  publisher = {CEUR-WS.org},
  year      = {2006}
}
@article{DBLP:journals/ia/CostantiniTV05,
  author    = {Stefania Costantini and
               Arianna Tocchio and
               Alessia Verticchio},
  title     = {Communication and trust in the {DALI} logic programming agent-oriented
               language},
  journal   = {Intelligenza Artificiale},
  volume    = {2},
  number    = {1},
  pages     = {39--46},
  year      = {2005}
}
@article{DBLP:journals/tplp/CostantiniP05,
  author    = {Stefania Costantini and
               Alessandro Provetti},
  title     = {Normal forms for answer sets programming},
  journal   = {{TPLP}},
  volume    = {5},
  number    = {6},
  pages     = {747--760},
  year      = {2005}
}
@inproceedings{DBLP:conf/dalt/CostantiniT05,
  author    = {Stefania Costantini and
               Arianna Tocchio},
  title     = {About Declarative Semantics of Logic-Based Agent Languages},
  booktitle = {{DALT}},
  series    = {Lecture Notes in Computer Science},
  volume    = {3904},
  pages     = {106--123},
  publisher = {Springer},
  year      = {2005}
}
@inproceedings{DBLP:conf/woa/CostantiniT05,
  author    = {Stefania Costantini and
               Arianna Tocchio},
  title     = {Learning by Knowledge Exchange in Logical Agents},
  booktitle = {{WOA}},
  pages     = {1--8},
  publisher = {Pitagora Editrice Bologna},
  year      = {2005}
}
@inproceedings{DBLP:conf/clima/CostantiniT04,
  author    = {Stefania Costantini and
               Arianna Tocchio},
  title     = {Planning Experiments in the {DALI} Logic Programming Language},
  booktitle = {{CLIMA}},
  series    = {Lecture Notes in Computer Science},
  volume    = {3259},
  pages     = {89--107},
  publisher = {Springer},
  year      = {2004}
}
@inproceedings{DBLP:conf/jelia/CostantiniT04,
  author    = {Stefania Costantini and
               Arianna Tocchio},
  title     = {The {DALI} Logic Programming Agent-Oriented Language},
  booktitle = {{JELIA}},
  series    = {Lecture Notes in Computer Science},
  volume    = {3229},
  pages     = {685--688},
  publisher = {Springer},
  year      = {2004}
}
@inproceedings{DBLP:conf/lanmr/Costantini04,
  author    = {Stefania Costantini},
  title     = {Component-Based Answer Set Programming},
  booktitle = {{LA-NMR}},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {92},
  publisher = {CEUR-WS.org},
  year      = {2004}
}
@inproceedings{DBLP:conf/woa/TocchioCV04,
  author    = {Arianna Tocchio and
               Stefania Costantini and
               Alessia Verticchio},
  title     = {A Game-Theoretic Operational Semantics},
  booktitle = {{WOA}},
  pages     = {13--21},
  publisher = {Pitagora Editrice Bologna},
  year      = {2004}
}
@article{DBLP:journals/corr/abs-cs-0412105,
  author    = {Stefania Costantini},
  title     = {On the existence of stable models of non-stratified logic programs},
  journal   = {CoRR},
  volume    = {abs/cs/0412105},
  year      = {2004}
}
@article{DBLP:journals/corr/cs-AI-0410014,
  author    = {Stefania Costantini and
               Alessandro Provetti},
  title     = {Normal forms for Answer Sets Programming},
  journal   = {CoRR},
  volume    = {cs.AI/0410014},
  year      = {2004}
}
@inproceedings{DBLP:conf/agp/CostantiniFO03,
  author    = {Stefania Costantini and
               Andrea Formisano and
               Eugenio G. Omodeo},
  title     = {Mappings Between Domain Models in Answer Set Programming},
  booktitle = {{APPIA-GULP-PRODE}},
  pages     = {147--158},
  year      = {2003}
}
@inproceedings{DBLP:conf/asp/CostantiniFO03,
  author    = {Stefania Costantini and
               Andrea Formisano and
               Eugenio G. Omodeo},
  title     = {Mappings Between Domain Models in Answer Set Programming},
  booktitle = {Answer Set Programming},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {78},
  publisher = {CEUR-WS.org},
  year      = {2003}
}
@inproceedings{DBLP:conf/context/CostantiniT03,
  author    = {Stefania Costantini and
               Arianna Tocchio},
  title     = {Context-Based Commonsense Reasoning in the {DALI} Logic Programming
               Language},
  booktitle = {{CONTEXT}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2680},
  pages     = {443--450},
  publisher = {Springer},
  year      = {2003}
}
@inproceedings{DBLP:conf/dalt/CastaldiCGT03,
  author    = {Marco Castaldi and
               Stefania Costantini and
               Stefano Gentile and
               Arianna Tocchio},
  title     = {A Logic-Based Infrastructure for Reconfiguring Applications},
  booktitle = {{DALT}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2990},
  pages     = {17--36},
  publisher = {Springer},
  year      = {2003}
}
@inproceedings{DBLP:conf/woa/CostantiniT03,
  author    = {Stefania Costantini and
               Arianna Tocchio},
  title     = {Strips-like Planning in the {DALI} Logic Programmming Language},
  booktitle = {{WOA}},
  pages     = {115--120},
  publisher = {Pitagora Editrice Bologna},
  year      = {2003}
}
@incollection{DBLP:conf/RelMiCS/CaianielloCO03,
  author    = {Pasquale Caianiello and
               Stefania Costantini and
               Eugenio G. Omodeo},
  title     = {An Environment for Specifying Properties of Dyadic Relations and Reasoning
               about Them: {I:} Language Extension Mechanisms},
  booktitle = {Theory and Applications of Relational Structures as Knowledge Instruments},
  series    = {Lecture Notes in Computer Science},
  volume    = {2929},
  pages     = {87--106},
  publisher = {Springer},
  year      = {2003}
}
@article{DBLP:journals/ipl/CostantiniDP02,
  author    = {Stefania Costantini and
               Ottavio M. D'Antona and
               Alessandro Provetti},
  title     = {On the equivalence and range of applicability of graph-based representations
               of logic programs},
  journal   = {Inf. Process. Lett.},
  volume    = {84},
  number    = {5},
  pages     = {241--249},
  year      = {2002}
}
@inproceedings{DBLP:conf/birthday/Costantini02,
  author    = {Stefania Costantini},
  title     = {Meta-reasoning: {A} Survey},
  booktitle = {Computational Logic: Logic Programming and Beyond},
  series    = {Lecture Notes in Computer Science},
  volume    = {2408},
  pages     = {253--288},
  publisher = {Springer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ismis/CostantiniOPS02,
  author    = {Stefania Costantini and
               Ram{\'{o}}n P. Otero and
               Alessandro Provetti and
               Tran Cao Son},
  title     = {Disjunctive Logic Programs with Inheritance Revisited},
  booktitle = {{ISMIS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2366},
  pages     = {294--302},
  publisher = {Springer},
  year      = {2002}
}
@inproceedings{DBLP:conf/jelia/CostantiniT02,
  author    = {Stefania Costantini and
               Arianna Tocchio},
  title     = {A Logic Programming Language for Multi-agent Systems},
  booktitle = {{JELIA}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2424},
  pages     = {1--13},
  publisher = {Springer},
  year      = {2002}
}
@inproceedings{DBLP:conf/asp/Costantini01,
  author    = {Stefania Costantini},
  title     = {Comparing different graph representations of logic programs under
               the Answer Set semantics},
  booktitle = {Answer Set Programming},
  year      = {2001}
}
@article{DBLP:journals/logcom/BarklundDCL00,
  author    = {Jonas Barklund and
               Pierangelo Dell'Acqua and
               Stefania Costantini and
               Gaetano Aurelio Lanzarone},
  title     = {Reflection principles in computational logic},
  journal   = {J. Log. Comput.},
  volume    = {10},
  number    = {6},
  pages     = {743--786},
  year      = {2000}
}
@inproceedings{DBLP:conf/agp/CostantiniM99,
  author    = {Stefania Costantini and
               T. Morbidoni},
  title     = {Computational Complexity of a Knowledge Compilation. Approach to the
               Static Semantics for Disjunctive Logic Programs},
  booktitle = {{APPIA-GULP-PRODE}},
  pages     = {575--588},
  year      = {1999}
}
@inproceedings{DBLP:conf/fqas/BarklundDCL96,
  author    = {Jonas Barklund and
               Pierangelo Dell'Acqua and
               Stefania Costantini and
               Gaetano Aurelio Lanzarone},
  title     = {Multiple Metareasoning Agents for Flexible Query-Answering Systems},
  booktitle = {{FQAS}},
  series    = {Datalogiske Skrifter (Writings on Computer Science)},
  volume    = {62},
  pages     = {155--166},
  publisher = {Roskilde University},
  year      = {1996}
}
@inproceedings{DBLP:conf/iclp/CostantiniLM96,
  author    = {Stefania Costantini and
               Gaetano Aurelio Lanzarone and
               Giuseppe Magliocco},
  title     = {Asserting Lemmas in the Stable Model Semantics},
  booktitle = {{JICSLP}},
  pages     = {438--452},
  publisher = {{MIT} Press},
  year      = {1996}
}
@article{DBLP:journals/ail/CostantiniL95,
  author    = {Stefania Costantini and
               Gaetano Aurelio Lanzarone},
  title     = {Explanation-Based Interpretation of Open-Textured Concepts in Logical
               Models of Legislation},
  journal   = {Artif. Intell. Law},
  volume    = {3},
  number    = {3},
  pages     = {191--208},
  year      = {1995}
}
@article{DBLP:journals/amai/CostantiniLS95,
  author    = {Stefania Costantini and
               Gaetano Aurelio Lanzarone and
               L. Sbarbaro},
  title     = {A formal definition and a sound implementation of analogical reasoning
               in logic programming},
  journal   = {Ann. Math. Artif. Intell.},
  volume    = {14},
  number    = {1},
  pages     = {17--36},
  year      = {1995}
}
@article{DBLP:journals/tcs/Costantini95,
  author    = {Stefania Costantini},
  title     = {Contributions to the Stable Model Semantics of Logic Programs with
               Negation},
  journal   = {Theor. Comput. Sci.},
  volume    = {149},
  number    = {2},
  pages     = {231--255},
  year      = {1995}
}
@inproceedings{DBLP:conf/iclp/BarklundDCL95,
  author    = {Jonas Barklund and
               Pierangelo Dell'Acqua and
               Stefania Costantini and
               Gaetano Aurelio Lanzarone},
  title     = {Semantical Properties of SLD-Resolution with Reflection},
  booktitle = {{ICLP}},
  pages     = {830},
  publisher = {{MIT} Press},
  year      = {1995}
}
@inproceedings{DBLP:conf/slp/BarklundDCL95,
  author    = {Jonas Barklund and
               Pierangelo Dell'Acqua and
               Stefania Costantini and
               Gaetano Aurelio Lanzarone},
  title     = {Semantical Properties of Encodings in Logic Programming},
  booktitle = {{ILPS}},
  pages     = {288--302},
  publisher = {{MIT} Press},
  year      = {1995}
}
@article{DBLP:journals/jetai/CostantiniL94,
  author    = {Stefania Costantini and
               Gaetano Aurelio Lanzarone},
  title     = {A metalogic programming approach: language, semantics and applications},
  journal   = {J. Exp. Theor. Artif. Intell.},
  volume    = {6},
  number    = {3},
  pages     = {239--287},
  year      = {1994}
}
@article{DBLP:journals/mlcs/CostantiniL94,
  author    = {Stefania Costantini and
               Gaetano Aurelio Lanzarone},
  title     = {Metalevel Negation and Non-Monotonic Reasoning},
  journal   = {Meth. of Logic in {CS}},
  volume    = {1},
  number    = {1},
  pages     = {111},
  year      = {1994}
}
@inproceedings{DBLP:conf/agp/BertarelloCL94,
  author    = {S. Bertarello and
               Stefania Costantini and
               Gaetano Aurelio Lanzarone},
  title     = {Extending Explanation-Based Generalization with Metalogic Programming},
  booktitle = {{GULP-PRODE} {(2)}},
  pages     = {16--31},
  year      = {1994}
}
@inproceedings{DBLP:conf/iclp/BarklundCDL94,
  author    = {Jonas Barklund and
               Stefania Costantini and
               Pierangelo Dell'Acqua and
               Gaetano Aurelio Lanzarone},
  title     = {Integrating Reflection into SLD-Resolution},
  booktitle = {{ICLP} Workshop: Proof-Theoretical Extensions on Logic Programming},
  year      = {1994}
}
@inproceedings{DBLP:conf/iclp/BarklundDCL94,
  author    = {Jonas Barklund and
               Pierangelo Dell'Acqua and
               Stefania Costantini and
               Gaetano Aurelio Lanzarone},
  title     = {Reflection through Constraint Satisfaction},
  booktitle = {{ICLP}},
  pages     = {742},
  publisher = {{MIT} Press},
  year      = {1994}
}
@inproceedings{DBLP:conf/iclp/BertarelloCL94,
  author    = {S. Bertarello and
               Stefania Costantini and
               Gaetano Aurelio Lanzarone},
  title     = {Explanation-Based Learning of Open Textured Predicates in Logic Programming
               Models of Law},
  booktitle = {{ICLP} Workshop: Legal Application of Logic Programming},
  year      = {1994}
}
@inproceedings{DBLP:conf/jelia/ConstantiniDL94,
  author    = {Stefania Costantini and
               Pierangelo Dell'Acqua and
               Gaetano Aurelio Lanzarone},
  title     = {Extending Horn Clause Theories by Reflection Principles},
  booktitle = {{JELIA}},
  series    = {Lecture Notes in Computer Science},
  volume    = {838},
  pages     = {400--413},
  publisher = {Springer},
  year      = {1994}
}
@inproceedings{DBLP:conf/nmelp/CostantiniL94,
  author    = {Stefania Costantini and
               Gaetano Aurelio Lanzarone},
  title     = {Static Semantics as Program Transformation and Well-founded Computation},
  booktitle = {{NMELP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {927},
  pages     = {156--180},
  publisher = {Springer},
  year      = {1994}
}
@inproceedings{DBLP:conf/slp/BarklundDCL94,
  author    = {Jonas Barklund and
               Pierangelo Dell'Acqua and
               Stefania Costantini and
               Gaetano Aurelio Lanzarone},
  title     = {{SLD} - Resolution with Reflection},
  booktitle = {{ILPS}},
  pages     = {554--568},
  publisher = {{MIT} Press},
  year      = {1994}
}
@inproceedings{DBLP:conf/agp/ConcariCL93,
  author    = {D. Concari and
               Stefania Costantini and
               Gaetano Aurelio Lanzarone},
  title     = {Caratteristiche e Aspetti Implementativi della Negazione di Metalivello
               in Reflective Prolog},
  booktitle = {{GULP}},
  pages     = {285--300},
  year      = {1993}
}
@inproceedings{DBLP:conf/lpnmr/Costantini93,
  author    = {Stefania Costantini},
  title     = {Contributions to the Stable Model Semantics of Logic Programs with
               Negation},
  booktitle = {{LPNMR}},
  pages     = {190--205},
  publisher = {{MIT} Press},
  year      = {1993}
}
@inproceedings{DBLP:conf/meta/CostantiniDL92,
  author    = {Stefania Costantini and
               Pierangelo Dell'Acqua and
               Gaetano Aurelio Lanzarone},
  title     = {Reflective Agents in Metalogic Programming},
  booktitle = {{META}},
  series    = {Lecture Notes in Computer Science},
  volume    = {649},
  pages     = {135--147},
  publisher = {Springer},
  year      = {1992}
}
@inproceedings{DBLP:conf/aiia/CostantiniL91,
  author    = {Stefania Costantini and
               Gaetano Aurelio Lanzarone},
  title     = {Metalevel Represantation of Analogical Inference},
  booktitle = {AI*IA},
  series    = {Lecture Notes in Computer Science},
  volume    = {549},
  pages     = {460--464},
  publisher = {Springer},
  year      = {1991}
}
@inproceedings{DBLP:conf/lpar/CostantiniL91,
  author    = {Stefania Costantini and
               Gaetano Aurelio Lanzarone},
  title     = {On Procedural Semantics of Metalevel Negation},
  booktitle = {{RCLP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {592},
  pages     = {140--151},
  publisher = {Springer},
  year      = {1991}
}
@article{DBLP:journals/ijfcs/Costantini90,
  author    = {Stefania Costantini},
  title     = {Semantics of a Metalogic Programming Language},
  journal   = {Int. J. Found. Comput. Sci.},
  volume    = {1},
  number    = {3},
  pages     = {233--248},
  year      = {1990}
}
@inproceedings{DBLP:conf/lpnmr/CostantiniL90,
  author    = {Stefania Costantini and
               Gaetano Aurelio Lanzarone},
  title     = {Metalevel Negation in Non-Monotonic Reasoning},
  booktitle = {{LPNMR}},
  pages     = {19--26},
  year      = {1990}
}
@inproceedings{DBLP:conf/iclp/CostantiniL89,
  author    = {Stefania Costantini and
               Gaetano Aurelio Lanzarone},
  title     = {A Metalogic Programming Language},
  booktitle = {{ICLP}},
  pages     = {218--233},
  publisher = {{MIT} Press},
  year      = {1989}
}
maintained by Schloss Dagstuhl LZI at University of Trier