BibTeX records: Stefania Costantini

download as .bib file

@inproceedings{DBLP:conf/lpnmr/CabalarCF17,
  author    = {Pedro Cabalar and
               Stefania Costantini and
               Andrea Formisano},
  title     = {Multi-Context Systems: Dynamics and Evolution},
  booktitle = {Proceedings of the 10th Workshop on Answer Set Programming and Other
               Computing Paradigms co-located with the 14th International Conference
               on Logic Programming and Nonmonotonic Reasoning, ASPOCP@LPNMR 2017,
               Espoo, Finland, July 3, 2017.},
  year      = {2017},
  crossref  = {DBLP:conf/lpnmr/2017aspocp},
  url       = {http://ceur-ws.org/Vol-1868/p1.pdf},
  timestamp = {Wed, 19 Jul 2017 18:07:39 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lpnmr/CabalarCF17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 = {Practical Aspects of Declarative Languages - 19th International Symposium,
               {PADL} 2017, Paris, France, January 16-17, 2017, Proceedings},
  pages     = {152--162},
  year      = {2017},
  crossref  = {DBLP:conf/padl/2017},
  url       = {https://doi.org/10.1007/978-3-319-51676-9_10},
  doi       = {10.1007/978-3-319-51676-9_10},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/padl/CostantiniGN17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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},
  url       = {http://ceur-ws.org/Vol-1875},
  urn       = {urn:nbn:de:0074-1875-8},
  timestamp = {Fri, 25 Aug 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ruleml/2017s},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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},
  url       = {https://doi.org/10.1007/978-3-319-61252-2},
  doi       = {10.1007/978-3-319-61252-2},
  isbn      = {978-3-319-61251-5},
  timestamp = {Tue, 04 Jul 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ruleml/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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},
  url       = {https://doi.org/10.1017/S1471068416000478},
  doi       = {10.1017/S1471068416000478},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/tplp/CostantiniF16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 = {Autonomous Agents and Multiagent Systems - {AAMAS} 2016 Workshops,
               - Visionary Papers - , Singapore, Singapore, May 9-10, 2016, Revised
               Selected Papers},
  pages     = {104--121},
  year      = {2016},
  crossref  = {DBLP:conf/atal/2016v},
  url       = {https://doi.org/10.1007/978-3-319-46840-2_7},
  doi       = {10.1007/978-3-319-46840-2_7},
  timestamp = {Tue, 23 May 2017 01:11:59 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/atal/CostantiniF16a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 = {Engineering Multi-Agent Systems - 4th International Workshop, {EMAS}
               2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and
               Invited Papers},
  pages     = {192--209},
  year      = {2016},
  crossref  = {DBLP:conf/atal/2016emas},
  url       = {https://doi.org/10.1007/978-3-319-50983-9_11},
  doi       = {10.1007/978-3-319-50983-9_11},
  timestamp = {Tue, 23 May 2017 01:11:59 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/atal/CostantiniF16b},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/atal/CostantiniF16,
  author    = {Stefania Costantini and
               Andrea Formisano},
  title     = {Budget-Constrained Reasoning in Agent Computational Environments:
               (Extended Abstract)},
  booktitle = {Proceedings of the 2016 International Conference on Autonomous Agents
               {\&} Multiagent Systems, Singapore, May 9-13, 2016},
  pages     = {1311--1312},
  year      = {2016},
  crossref  = {DBLP:conf/atal/2016},
  url       = {http://dl.acm.org/citation.cfm?id=2937135},
  timestamp = {Fri, 20 May 2016 20:33:29 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/atal/CostantiniF16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ecai/CostantiniF16,
  author    = {Stefania Costantini and
               Andrea Formisano},
  title     = {Multi-Context Systems in Time},
  booktitle = {{ECAI} 2016 - 22nd European Conference on Artificial Intelligence,
               29 August-2 September 2016, The Hague, The Netherlands - Including
               Prestigious Applications of Artificial Intelligence {(PAIS} 2016)},
  pages     = {1680--1681},
  year      = {2016},
  crossref  = {DBLP:conf/ecai/2016},
  url       = {https://doi.org/10.3233/978-1-61499-672-9-1680},
  doi       = {10.3233/978-1-61499-672-9-1680},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ecai/CostantiniF16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 = {Highlights of Practical Applications of Scalable Multi-Agent Systems.
               The {PAAMS} Collection - International Workshops of {PAAMS} 2016,
               Sevilla, Spain, June 1-3, 2016. Proceedings},
  pages     = {15--26},
  year      = {2016},
  crossref  = {DBLP:conf/paams/2016w},
  url       = {https://doi.org/10.1007/978-3-319-39387-2_2},
  doi       = {10.1007/978-3-319-39387-2_2},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/paams/AielliACCGMFM16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/CostantiniG16,
  author    = {Stefania Costantini and
               Giovanni De Gasperis},
  title     = {Bridge Rules for Reasoning in Component-Based Heterogeneous Environments},
  booktitle = {Rule Technologies. Research, Tools, and Applications - 10th International
               Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings},
  pages     = {97--112},
  year      = {2016},
  crossref  = {DBLP:conf/ruleml/2016},
  url       = {https://doi.org/10.1007/978-3-319-42019-6_7},
  doi       = {10.1007/978-3-319-42019-6_7},
  timestamp = {Thu, 15 Jun 2017 21:33:04 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ruleml/CostantiniG16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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},
  url       = {http://arxiv.org/abs/1608.01604},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/CostantiniF16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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},
  url       = {https://doi.org/10.3233/FI-2015-1255},
  doi       = {10.3233/FI-2015-1255},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/fuin/CostantiniF15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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},
  url       = {https://doi.org/10.1093/logcom/ext064},
  doi       = {10.1093/logcom/ext064},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/logcom/CostantiniG15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 2015, Advances in Artificial Intelligence - XIVth International
               Conference of the Italian Association for Artificial Intelligence,
               Ferrara, Italy, September 23-25, 2015, Proceedings},
  pages     = {128--135},
  year      = {2015},
  crossref  = {DBLP:conf/aiia/2015},
  url       = {https://doi.org/10.1007/978-3-319-24309-2_10},
  doi       = {10.1007/978-3-319-24309-2_10},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aiia/CaianielloCGT15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/atal/Costantini15,
  author    = {Stefania Costantini},
  title     = {{ACE:} {A} Flexible Environment for Complex Event Processing in Logical
               Agents},
  booktitle = {Engineering Multi-Agent Systems - Third International Workshop, {EMAS}
               2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited
               Papers},
  pages     = {70--91},
  year      = {2015},
  crossref  = {DBLP:conf/atal/2015emas},
  url       = {https://doi.org/10.1007/978-3-319-26184-3_5},
  doi       = {10.1007/978-3-319-26184-3_5},
  timestamp = {Tue, 23 May 2017 01:11:59 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/atal/Costantini15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 = {Proceedings of the 30th Italian Conference on Computational Logic,
               Genova, Italy, July 1-3, 2015.},
  pages     = {53--65},
  year      = {2015},
  crossref  = {DBLP:conf/cilc/2015},
  url       = {http://ceur-ws.org/Vol-1459/paper29.pdf},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cilc/CostantiniGO15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 = {Distributed Computing and Artificial Intelligence, 12th International
               Conference, {DCAI} 2015, Salamanca, Spain, June 3-5, 2015},
  pages     = {285--292},
  year      = {2015},
  crossref  = {DBLP:conf/dcai/2015},
  url       = {https://doi.org/10.1007/978-3-319-19638-1_33},
  doi       = {10.1007/978-3-319-19638-1_33},
  timestamp = {Thu, 15 Jun 2017 21:45:28 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/dcai/CostantiniGN15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Costantini15,
  author    = {Stefania Costantini},
  title     = {Knowledge Acquisition via Non-monotonic Reasoning in Distributed Heterogeneous
               Environments},
  booktitle = {Logic Programming and Nonmonotonic Reasoning - 13th International
               Conference, {LPNMR} 2015, Lexington, KY, USA, September 27-30, 2015.
               Proceedings},
  pages     = {228--241},
  year      = {2015},
  crossref  = {DBLP:conf/lpnmr/2015},
  url       = {https://doi.org/10.1007/978-3-319-23264-5_20},
  doi       = {10.1007/978-3-319-23264-5_20},
  timestamp = {Sun, 04 Jun 2017 10:03:54 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lpnmr/Costantini15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 = {Logic Programming and Nonmonotonic Reasoning - 13th International
               Conference, {LPNMR} 2015, Lexington, KY, USA, September 27-30, 2015.
               Proceedings},
  pages     = {242--249},
  year      = {2015},
  crossref  = {DBLP:conf/lpnmr/2015},
  url       = {https://doi.org/10.1007/978-3-319-23264-5_21},
  doi       = {10.1007/978-3-319-23264-5_21},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lpnmr/CostantiniGO15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/CostantiniG15,
  author    = {Stefania Costantini and
               Giovanni De Gasperis},
  title     = {Exchanging Data and Ontological Definitions in Multi-Agent-Contexts
               Systems},
  booktitle = {Proceedings of the RuleML 2015 Challenge, the Special Track on Rule-based
               Recommender Systems for the Web of Data, the Special Industry Track
               and the RuleML 2015 Doctoral Consortium hosted by the 9th International
               Web Rule Symposium (RuleML 2015), Berlin, Germany, August 2-5, 2015.},
  year      = {2015},
  crossref  = {DBLP:conf/ruleml/2015c},
  url       = {http://ceur-ws.org/Vol-1417/paper12.pdf},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ruleml/CostantiniG15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/atal/CostantiniR14,
  author    = {Stefania Costantini and
               R{\'{e}}gis Riveret},
  title     = {Event-action modules for complex reactivity in logical agents},
  booktitle = {International conference on Autonomous Agents and Multi-Agent Systems,
               {AAMAS} '14, Paris, France, May 5-9, 2014},
  pages     = {1503--1504},
  year      = {2014},
  crossref  = {DBLP:conf/atal/2014},
  url       = {http://dl.acm.org/citation.cfm?id=2616033},
  timestamp = {Thu, 25 Sep 2014 07:46:15 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/atal/CostantiniR14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cilc/CostantiniF14,
  author    = {Stefania Costantini and
               Andrea Formisano},
  title     = {Query Answering in Resource-Based Answer Set Semantics},
  booktitle = {Proceedings of the 29th Italian Conference on Computational Logic,
               Torino, Italy, June 16-18, 2014.},
  pages     = {69--83},
  year      = {2014},
  crossref  = {DBLP:conf/cilc/2014},
  url       = {http://ceur-ws.org/Vol-1195/long5.pdf},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cilc/CostantiniF14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 = {Proceedings of the 29th Italian Conference on Computational Logic,
               Torino, Italy, June 16-18, 2014.},
  pages     = {241--255},
  year      = {2014},
  crossref  = {DBLP:conf/cilc/2014},
  url       = {http://ceur-ws.org/Vol-1195/long16.pdf},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cilc/CostantiniG14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cilc/CostantiniR14,
  author    = {Stefania Costantini and
               R{\'{e}}gis Riveret},
  title     = {Complex Events and Actions in Logical Agents},
  booktitle = {Proceedings of the 29th Italian Conference on Computational Logic,
               Torino, Italy, June 16-18, 2014.},
  pages     = {256--271},
  year      = {2014},
  crossref  = {DBLP:conf/cilc/2014},
  url       = {http://ceur-ws.org/Vol-1195/long17.pdf},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cilc/CostantiniR14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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},
  url       = {http://arxiv.org/abs/1402.5436},
  timestamp = {Mon, 28 Aug 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/BrignoliCDP14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/Costantini14,
  author    = {Stefania Costantini},
  title     = {Towards Active Logic Programming},
  journal   = {CoRR},
  volume    = {abs/1403.5508},
  year      = {2014},
  url       = {http://arxiv.org/abs/1403.5508},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/Costantini14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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},
  url       = {http://arxiv.org/abs/1410.2063},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/Costantini14a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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},
  url       = {https://doi.org/10.3233/FI-2013-843},
  doi       = {10.3233/FI-2013-843},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/fuin/CostantiniF13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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},
  url       = {https://doi.org/10.9781/ijimai.2013.247},
  doi       = {10.9781/ijimai.2013.247},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ijimai/CaianielloCGL13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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},
  url       = {https://doi.org/10.1080/11663081.2013.798997},
  doi       = {10.1080/11663081.2013.798997},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jancl/CostantiniF13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/atal/Costantini13,
  author    = {Stefania Costantini},
  title     = {Self-checking logical agents},
  booktitle = {International conference on Autonomous Agents and Multi-Agent Systems,
               {AAMAS} '13, Saint Paul, MN, USA, May 6-10, 2013},
  pages     = {1329--1330},
  year      = {2013},
  crossref  = {DBLP:conf/atal/2013},
  url       = {http://dl.acm.org/citation.cfm?id=2485208},
  timestamp = {Fri, 28 Jun 2013 12:19:40 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/atal/Costantini13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cilc/CostantiniF13,
  author    = {Stefania Costantini and
               Andrea Formisano},
  title     = {Negation as a Resource: a Novel View on Answer Set Semantics},
  booktitle = {Proceedings of the 28th Italian Conference on Computational Logic,
               Catania, Italy, September 25-27, 2013.},
  pages     = {17--31},
  year      = {2013},
  crossref  = {DBLP:conf/cilc/2013},
  url       = {http://ceur-ws.org/Vol-1068/paper-l01.pdf},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cilc/CostantiniF13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 = {Proceedings of the 28th Italian Conference on Computational Logic,
               Catania, Italy, September 25-27, 2013.},
  pages     = {253--257},
  year      = {2013},
  crossref  = {DBLP:conf/cilc/2013},
  url       = {http://ceur-ws.org/Vol-1068/paper-s05.pdf},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cilc/CostantiniGFZ13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 = {Distributed Computing and Artificial Intelligence - 10th International
               Conference, {DCAI} 2013, Salamanca, Spain, May 22-24, 2013},
  pages     = {597--607},
  year      = {2013},
  crossref  = {DBLP:conf/dcai/2013},
  url       = {https://doi.org/10.1007/978-3-319-00551-5_71},
  doi       = {10.1007/978-3-319-00551-5_71},
  timestamp = {Fri, 02 Jun 2017 20:51:43 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/dcai/CaianielloCGFG13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/CostantiniF13,
  author    = {Stefania Costantini and
               Andrea Formisano},
  title     = {Negation as a Resource: {A} Novel View on Answer Set Semantics},
  booktitle = {Logic Programming and Nonmonotonic Reasoning, 12th International Conference,
               {LPNMR} 2013, Corunna, Spain, September 15-19, 2013. Proceedings},
  pages     = {257--263},
  year      = {2013},
  crossref  = {DBLP:conf/lpnmr/2013},
  url       = {https://doi.org/10.1007/978-3-642-40564-8_26},
  doi       = {10.1007/978-3-642-40564-8_26},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lpnmr/CostantiniF13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 = {Popularize Artificial Intelligence, Proceedings of the AI*IA Workshop
               and Prize for Celebrating 100th Anniversary of Alan Turing's Birth,
               Rome, Italy, June 15, 2012},
  pages     = {79--85},
  year      = {2012},
  crossref  = {DBLP:conf/aiia/2012pai},
  url       = {http://ceur-ws.org/Vol-860/paper10.pdf},
  timestamp = {Thu, 16 Mar 2017 15:42:11 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aiia/CostantiniDGFT12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/birthday/CostantiniFP12,
  author    = {Stefania Costantini and
               Andrea Formisano and
               David Pearce},
  title     = {Strong Equivalence of {RASP} Programs},
  booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
               Lifschitz},
  pages     = {149--163},
  year      = {2012},
  crossref  = {DBLP:conf/birthday/2012lifschitz},
  url       = {https://doi.org/10.1007/978-3-642-30743-0_11},
  doi       = {10.1007/978-3-642-30743-0_11},
  timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/CostantiniFP12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cilc/CostantiniF12,
  author    = {Stefania Costantini and
               Andrea Formisano},
  title     = {Preferences and Priorities in {ASP}},
  booktitle = {Proceedings of the 9th Italian Convention on Computational Logic,
               Rome, Italy, June 6-7, 2012},
  pages     = {47--58},
  year      = {2012},
  crossref  = {DBLP:conf/cilc/2012},
  url       = {http://ceur-ws.org/Vol-857/paper_f04.pdf},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cilc/CostantiniF12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cilc/CostantiniT12,
  author    = {Stefania Costantini and
               Panagiota Tsintza},
  title     = {Temporal Meta-Axioms in Logical Agents},
  booktitle = {Proceedings of the 9th Italian Convention on Computational Logic,
               Rome, Italy, June 6-7, 2012},
  pages     = {59--73},
  year      = {2012},
  crossref  = {DBLP:conf/cilc/2012},
  url       = {http://ceur-ws.org/Vol-857/paper_f05.pdf},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cilc/CostantiniT12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lanmr/Costantini12,
  author    = {Stefania Costantini},
  title     = {Self-checking Logical Agents},
  booktitle = {Proceedings of the Eighth Latin American Workshop on Logic / Languages,
               Algorithms and New Methods of Reasoning 2012, Unidad Iztapalapa, M{\'{e}}xico,
               D.F., September 10-11, 2012},
  pages     = {3--30},
  year      = {2012},
  crossref  = {DBLP:conf/lanmr/2012},
  url       = {http://ceur-ws.org/Vol-911/01_LANMR12.pdf},
  timestamp = {Fri, 29 Sep 2017 08:09:19 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lanmr/Costantini12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 = {Advances on Practical Applications of Agents and Multi-Agent Systems
               - 10th International Conference on Practical Applications of Agents
               and Multi-Agent Systems, {PAAMS} 2012, Salamanca, Spain, 28-30 March,
               2012},
  pages     = {47--55},
  year      = {2012},
  crossref  = {DBLP:conf/paams/2012},
  url       = {https://doi.org/10.1007/978-3-642-28786-2_5},
  doi       = {10.1007/978-3-642-28786-2_5},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/paams/BevarCTG12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 = {Advances on Practical Applications of Agents and Multi-Agent Systems
               - 10th International Conference on Practical Applications of Agents
               and Multi-Agent Systems, {PAAMS} 2012, Salamanca, Spain, 28-30 March,
               2012},
  pages     = {237--240},
  year      = {2012},
  crossref  = {DBLP:conf/paams/2012},
  url       = {https://doi.org/10.1007/978-3-642-28786-2_28},
  doi       = {10.1007/978-3-642-28786-2_28},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/paams/GasperisBCTP12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/CostantiniG12,
  author    = {Stefania Costantini and
               Giovanni De Gasperis},
  title     = {Complex Reactivity with Preferences in Rule-Based Agents},
  booktitle = {Rules on the Web: Research and Applications - 6th International Symposium,
               RuleML 2012, Montpellier, France, August 27-29, 2012. Proceedings},
  pages     = {167--181},
  year      = {2012},
  crossref  = {DBLP:conf/ruleml/2012},
  url       = {https://doi.org/10.1007/978-3-642-32689-9_13},
  doi       = {10.1007/978-3-642-32689-9_13},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ruleml/CostantiniG12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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},
  url       = {https://doi.org/10.3233/IA-2011-0012},
  doi       = {10.3233/IA-2011-0012},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ia/CostantiniPTT11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/CostantiniF11,
  author    = {Stefania Costantini and
               Andrea Formisano},
  title     = {Augmenting Weight Constraints with Complex Preferences},
  booktitle = {Logical Formalizations of Commonsense Reasoning, Papers from the 2011
               {AAAI} Spring Symposium, Technical Report SS-11-06, Stanford, California,
               USA, March 21-23, 2011},
  year      = {2011},
  crossref  = {DBLP:conf/aaaiss/2011-6},
  url       = {http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2433},
  timestamp = {Mon, 13 Feb 2012 17:07:39 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aaaiss/CostantiniF11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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
               - Essays Dedicated to Michael Gelfond on the Occasion of His 65th
               Birthday},
  pages     = {344--346},
  year      = {2011},
  crossref  = {DBLP:conf/birthday/2011gelfond},
  url       = {https://doi.org/10.1007/978-3-642-20832-4_22},
  doi       = {10.1007/978-3-642-20832-4_22},
  timestamp = {Tue, 23 May 2017 01:06:47 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/Costantini11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 = {Proceedings of the 26th Italian Conference on Computational Logic,
               Pescara, Italy, August 31 - September 2, 2011},
  pages     = {297--310},
  year      = {2011},
  crossref  = {DBLP:conf/cilc/2011},
  url       = {http://ceur-ws.org/Vol-810/paper-l18.pdf},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cilc/CostantiniFP11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cilc/CostantiniF11,
  author    = {Stefania Costantini and
               Andrea Formisano},
  title     = {Nested Weight Constraints in {ASP}},
  booktitle = {Proceedings of the 26th Italian Conference on Computational Logic,
               Pescara, Italy, August 31 - September 2, 2011},
  pages     = {371--383},
  year      = {2011},
  crossref  = {DBLP:conf/cilc/2011},
  url       = {http://ceur-ws.org/Vol-810/paper-s06.pdf},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cilc/CostantiniF11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 = {Graph Structures for Knowledge Representation and Reasoning - Second
               International Workshop, {GKR} 2011, Barcelona, Spain, July 16, 2011.
               Revised Selected Papers},
  pages     = {68--90},
  year      = {2011},
  crossref  = {DBLP:conf/gkr/2012},
  url       = {https://doi.org/10.1007/978-3-642-29449-5_3},
  doi       = {10.1007/978-3-642-29449-5_3},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/gkr/CostantiniP11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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} 2011 - Proceedings of the International Conference on Knowledge
               Discovery and Information Retrieval, Paris, France, 26-29 October,
               2011},
  pages     = {282--287},
  year      = {2011},
  crossref  = {DBLP:conf/ic3k/2011kdir},
  timestamp = {Fri, 04 May 2012 14:53:05 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ic3k/CostantiniFP11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lanmr/Costantini11,
  author    = {Stefania Costantini},
  title     = {Defining and Maintaining Agent's Experience in Logical Agents},
  booktitle = {Proceedings of the Seventh Latin American Workshop on Non-Monotonic
               Reasoning, {LANMR} 2011, Toluca, Estado de M{\'{e}}xico, M{\'{e}}xico,
               November 7-8, 2011},
  pages     = {151--165},
  year      = {2011},
  crossref  = {DBLP:conf/lanmr/2011},
  url       = {http://ceur-ws.org/Vol-804/15_LANMR11.pdf},
  timestamp = {Fri, 29 Sep 2017 08:09:19 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lanmr/Costantini11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/CostantiniF11,
  author    = {Stefania Costantini and
               Andrea Formisano},
  title     = {Weight Constraints with Preferences in {ASP}},
  booktitle = {Logic Programming and Nonmonotonic Reasoning - 11th International
               Conference, {LPNMR} 2011, Vancouver, Canada, May 16-19, 2011. Proceedings},
  pages     = {229--235},
  year      = {2011},
  crossref  = {DBLP:conf/lpnmr/2011},
  url       = {https://doi.org/10.1007/978-3-642-20895-9_24},
  doi       = {10.1007/978-3-642-20895-9_24},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lpnmr/CostantiniF11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 = {Rule-Based Reasoning, Programming, and Applications - 5th International
               Symposium, RuleML 2011 - Europe, Barcelona, Spain, July 19-21, 2011.
               Proceedings},
  pages     = {250--265},
  year      = {2011},
  crossref  = {DBLP:conf/ruleml/2011e},
  url       = {https://doi.org/10.1007/978-3-642-22546-8_20},
  doi       = {10.1007/978-3-642-22546-8_20},
  timestamp = {Thu, 15 Jun 2017 21:33:04 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ruleml/CostantiniDP11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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},
  url       = {http://polar.lsi.uned.es/revista/index.php/ia/article/view/661},
  timestamp = {Tue, 12 Mar 2013 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/aepia/CostantiniP10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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},
  url       = {https://doi.org/10.3233/FI-2010-356},
  doi       = {10.3233/FI-2010-356},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/fuin/CostantiniFP10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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},
  url       = {https://doi.org/10.1093/logcom/exp071},
  doi       = {10.1093/logcom/exp071},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/logcom/CostantiniF10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cilc/CostantiniP10,
  author    = {Stefania Costantini and
               Alessio Paolucci},
  title     = {Towards Translating Natural Language Sentences into {ASP}},
  booktitle = {Proceedings of the 25th Italian Conference on Computational Logic,
               Rende, Italy, July 7-9, 2010},
  year      = {2010},
  crossref  = {DBLP:conf/cilc/2010},
  url       = {http://ceur-ws.org/Vol-598/paper13.pdf},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cilc/CostantiniP10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 = {Computational Logic in Multi-Agent Systems, 11th International Workshop,
               {CLIMA} XI, Lisbon, Portugal, August 16-17, 2010. Proceedings},
  pages     = {238--255},
  year      = {2010},
  crossref  = {DBLP:conf/clima/2010},
  url       = {https://doi.org/10.1007/978-3-642-14977-1_18},
  doi       = {10.1007/978-3-642-14977-1_18},
  timestamp = {Fri, 02 Jun 2017 20:50:36 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/clima/CostantiniT10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/datalog/Costantini10,
  author    = {Stefania Costantini},
  title     = {Answer Set Modules for Logical Agents},
  booktitle = {Datalog Reloaded - First International Workshop, Datalog 2010, Oxford,
               UK, March 16-19, 2010. Revised Selected Papers},
  pages     = {37--58},
  year      = {2010},
  crossref  = {DBLP:conf/datalog/2010},
  url       = {https://doi.org/10.1007/978-3-642-24206-9_3},
  doi       = {10.1007/978-3-642-24206-9_3},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/datalog/Costantini10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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},
  url       = {https://doi.org/10.1016/j.jalgor.2009.02.002},
  doi       = {10.1016/j.jalgor.2009.02.002},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jal/CostantiniF09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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},
  url       = {https://doi.org/10.1093/logcom/exn037},
  doi       = {10.1093/logcom/exn037},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/logcom/CostantiniW09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lanmr/CostantiniP09,
  author    = {Stefania Costantini and
               Alessandro Provetti},
  title     = {A Lower-Bound for Answer Set Solver Computation},
  booktitle = {Proceedings of the Fifth Latin American Workshop on Non-Monotonic
               Reasoning 2009 (LANMR'09) , Facultad de Ciencias B{\'{a}}sicas,
               Ingenier{\'{\i}}a y Tecnolog{\'{\i}}a , Universidad Aut{\'{o}}noma
               de Tlaxcala {(UAT)} , Apizaco, Tlaxcala, M{\'{e}}xico, November
               5-6, 2009.},
  pages     = {183--198},
  year      = {2009},
  crossref  = {DBLP:conf/lanmr/2009},
  url       = {http://ceur-ws.org/Vol-533/15_LANMR09_12.pdf},
  timestamp = {Fri, 29 Sep 2017 08:09:19 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lanmr/CostantiniP09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Costantini09,
  author    = {Stefania Costantini},
  title     = {Integrating Answer Set Modules into Agent Programs},
  booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
               {LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
  pages     = {613--615},
  year      = {2009},
  crossref  = {DBLP:conf/lpnmr/2009},
  url       = {https://doi.org/10.1007/978-3-642-04238-6_67},
  doi       = {10.1007/978-3-642-04238-6_67},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lpnmr/Costantini09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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},
  url       = {https://doi.org/10.1109/MIS.2008.24},
  doi       = {10.1109/MIS.2008.24},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/expert/CostantiniMTT08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/CostantiniT08,
  author    = {Stefania Costantini and
               Arianna Tocchio},
  title     = {{DALI:} An Architecture for Intelligent Logical Agents},
  booktitle = {Architectures for Intelligent Theory-Based Agents, Papers from the
               2008 {AAAI} Spring Symposium, Technical Report SS-08-02, Stanford,
               California, USA, March 26-28, 2008},
  pages     = {13--18},
  year      = {2008},
  crossref  = {DBLP:conf/aaaiss/2008-2},
  url       = {http://www.aaai.org/Library/Symposia/Spring/2008/ss08-02-003.php},
  timestamp = {Fri, 17 Feb 2012 14:17:25 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aaaiss/CostantiniT08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 (i.e. 2{\&}circ;6), Proceedings of the Day Dedicated
               to Prof. Alberto Martelli, Turin, Italy, June 3, 2008.},
  year      = {2008},
  crossref  = {DBLP:conf/birthday/2008martelli},
  url       = {http://ceur-ws.org/Vol-487/paper5.pdf},
  timestamp = {Thu, 06 Apr 2017 10:49:53 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/CostantiniPTT08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/clima/CostantiniTT08,
  author    = {Stefania Costantini and
               Arianna Tocchio and
               Panagiota Tsintza},
  title     = {Contracts Violation: Justification via Argumentation},
  booktitle = {Computational Logic in Multi-Agent Systems, 9th International Workshop,
               {CLIMA} IX, Dresden, Germany, September 29-30, 2008. Revised Selected
               and Invited Papers},
  pages     = {132--153},
  year      = {2008},
  crossref  = {DBLP:conf/clima/2008},
  url       = {https://doi.org/10.1007/978-3-642-02734-5_9},
  doi       = {10.1007/978-3-642-02734-5_9},
  timestamp = {Thu, 15 Jun 2017 21:42:21 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/clima/CostantiniTT08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lanmr/CostantiniF08,
  author    = {Stefania Costantini and
               Andrea Formisano},
  title     = {Conditional preferences in {P-RASP}},
  booktitle = {Proceedings of the fourth Latin American Workshop on Non-Monotonic
               Reasoning 2008 (LANMR'08) Facultad de Ciencias de la Computaci{\'{o}}n
               de la Benem{\'{e}}rita Universidad Aut{\'{o}}noma de Puebla,
               Puebla, M{\'{e}}xico, October 22-24, 2008},
  year      = {2008},
  crossref  = {DBLP:conf/lanmr/2008},
  url       = {http://ceur-ws.org/Vol-408/Paper11.pdf},
  timestamp = {Tue, 17 Oct 2017 19:01:22 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lanmr/CostantiniF08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 = {Logical Formalizations of Commonsense Reasoning, Papers from the 2007
               {AAAI} Spring Symposium, Technical Report SS-07-05, Stanford, California,
               USA, March 26-28, 2007},
  pages     = {41--46},
  year      = {2007},
  crossref  = {DBLP:conf/aaaiss/2007-5},
  url       = {http://www.aaai.org/Library/Symposia/Spring/2007/ss07-05-008.php},
  timestamp = {Fri, 17 Feb 2012 14:14:44 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aaaiss/CostantiniTD07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 2007: Artificial Intelligence and Human-Oriented Computing,
               10th Congress of the Italian Association for Artificial Intelligence,
               Rome, Italy, September 10-13, 2007, Proceedings},
  pages     = {121--132},
  year      = {2007},
  crossref  = {DBLP:conf/aiia/2007},
  url       = {https://doi.org/10.1007/978-3-540-74782-6_12},
  doi       = {10.1007/978-3-540-74782-6_12},
  timestamp = {Mon, 17 Jul 2017 17:08:26 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aiia/CostantiniTTT07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/clima/CostantiniTT07,
  author    = {Stefania Costantini and
               Arianna Tocchio and
               Panagiota Tsintza},
  title     = {A Heuristic Approach to {P2P} Negotiation},
  booktitle = {Computational Logic in Multi-Agent Systems, 8th International Workshop,
               {CLIMA} VIII, Porto, Portugal, September 10-11, 2007. Revised Selected
               and Invited Papers},
  pages     = {177--192},
  year      = {2007},
  crossref  = {DBLP:conf/clima/2007},
  url       = {https://doi.org/10.1007/978-3-540-88833-8_10},
  doi       = {10.1007/978-3-540-88833-8_10},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/clima/CostantiniTT07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ifiptm/MostardaTIC07,
  author    = {Leonardo Mostarda and
               Arianna Tocchio and
               Paola Inverardi and
               Stefania Costantini},
  title     = {A Geo Time Authentication System},
  booktitle = {Trust Management - Proceedings of {IFIPTM} 2007: Joint iTrust and
               {PST} Conferences on Privacy, Trust Management and Security, July
               30- August 2, 2007, New Brunswick, Canada},
  pages     = {123--138},
  year      = {2007},
  crossref  = {DBLP:conf/ifiptm/2007},
  url       = {https://doi.org/10.1007/978-0-387-73655-6_9},
  doi       = {10.1007/978-0-387-73655-6_9},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ifiptm/MostardaTIC07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 = {Proceedings of the Nineteenth International Conference on Software
               Engineering {\&} Knowledge Engineering (SEKE'2007), Boston, Massachusetts,
               USA, July 9-11, 2007},
  pages     = {660},
  year      = {2007},
  crossref  = {DBLP:conf/seke/2007},
  timestamp = {Wed, 19 Sep 2007 09:23:46 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/seke/CostantiniMTT07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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} 2007: Dagli Oggetti agli Agenti. 8th AI*IA/TABOO Joint Workshop
               "From Objects to Agents": Agents and Industry: Technological Applications
               of Software Agents, 24-25 September 2007, Genova, Italy},
  pages     = {78--86},
  year      = {2007},
  crossref  = {DBLP:conf/woa/2007},
  url       = {http://woa07.disi.unige.it/papers/AgentSecurity.pdf},
  timestamp = {Mon, 15 Dec 2008 07:53:52 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/woa/CostantiniTTM07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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},
  url       = {https://doi.org/10.1017/S1471068405002589},
  doi       = {10.1017/S1471068405002589},
  timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/tplp/Costantini06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 = {Proceedings of the 7th {WOA} 2006 Workshop, From Objects to Agents
               (Dagli Oggetti Agli Agenti), Catania, Italy, September 26-27, 2006.},
  year      = {2006},
  crossref  = {DBLP:conf/woa/2006},
  url       = {http://ceur-ws.org/Vol-204/P05.pdf},
  timestamp = {Mon, 30 May 2016 16:57:34 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/woa/CostantiniDT06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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},
  timestamp = {Thu, 21 Apr 2005 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ia/CostantiniTV05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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},
  url       = {https://doi.org/10.1017/S1471068404002339},
  doi       = {10.1017/S1471068404002339},
  timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/tplp/CostantiniP05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dalt/CostantiniT05,
  author    = {Stefania Costantini and
               Arianna Tocchio},
  title     = {About Declarative Semantics of Logic-Based Agent Languages},
  booktitle = {Declarative Agent Languages and Technologies III, Third International
               Workshop, {DALT} 2005, Utrecht, The Netherlands, July 25, 2005, Selected
               and Revised Papers},
  pages     = {106--123},
  year      = {2005},
  crossref  = {DBLP:conf/dalt/2005},
  url       = {https://doi.org/10.1007/11691792_7},
  doi       = {10.1007/11691792_7},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/dalt/CostantiniT05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/woa/CostantiniT05,
  author    = {Stefania Costantini and
               Arianna Tocchio},
  title     = {Learning by Knowledge Exchange in Logical Agents},
  booktitle = {{WOA} 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop
               "From Objects to Agents": Simulation and Formal Analysis of Complex
               Systems, 14-16 November 2005, Camerino, MC, Italy},
  pages     = {1--8},
  year      = {2005},
  crossref  = {DBLP:conf/woa/2005},
  url       = {http://lia.deis.unibo.it/books/woa2005/papers/1.pdf},
  timestamp = {Fri, 06 Jan 2006 09:55:54 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/woa/CostantiniT05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/clima/CostantiniT04,
  author    = {Stefania Costantini and
               Arianna Tocchio},
  title     = {Planning Experiments in the {DALI} Logic Programming Language},
  booktitle = {Computational Logic in Multi-Agent Systems, 4th International Workshop,
               {CLIMA} IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected
               and Invited Papers},
  pages     = {89--107},
  year      = {2004},
  crossref  = {DBLP:conf/clima/2004},
  url       = {https://doi.org/10.1007/978-3-540-30200-1_6},
  doi       = {10.1007/978-3-540-30200-1_6},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/clima/CostantiniT04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/jelia/CostantiniT04,
  author    = {Stefania Costantini and
               Arianna Tocchio},
  title     = {The {DALI} Logic Programming Agent-Oriented Language},
  booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA}
               2004, Lisbon, Portugal, September 27-30, 2004, Proceedings},
  pages     = {685--688},
  year      = {2004},
  crossref  = {DBLP:conf/jelia/2004},
  url       = {https://doi.org/10.1007/978-3-540-30227-8_57},
  doi       = {10.1007/978-3-540-30227-8_57},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/jelia/CostantiniT04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lanmr/Costantini04,
  author    = {Stefania Costantini},
  title     = {Component-Based Answer Set Programming},
  booktitle = {Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of
               the 1st Intl. {LA-NMR04} Workshop, Antiguo Colegio de San Ildefonso,
               Mexico City, {D.F} , Mexico, April 26th 2004},
  year      = {2004},
  crossref  = {DBLP:conf/lanmr/2004},
  url       = {http://ceur-ws.org/Vol-92/costantini.pdf},
  timestamp = {Fri, 29 Sep 2017 08:09:19 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lanmr/Costantini04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/woa/TocchioCV04,
  author    = {Arianna Tocchio and
               Stefania Costantini and
               Alessia Verticchio},
  title     = {A Game-Theoretic Operational Semantics},
  booktitle = {{WOA} 2004: Dagli Oggetti agli Agenti. 5th AI*IA/TABOO Joint Workshop
               "From Objects to Agents": Complex Systems and Rational Agents, 30
               November - 1 December 2004, Torino, Italy},
  pages     = {13--21},
  year      = {2004},
  crossref  = {DBLP:conf/woa/2004},
  timestamp = {Mon, 17 Jan 2005 15:51:59 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/woa/TocchioCV04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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},
  url       = {http://arxiv.org/abs/cs/0412105},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-cs-0412105},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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},
  url       = {http://arxiv.org/abs/cs.AI/0410014},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/cs-AI-0410014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{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,
               {COST} Action 274, TARSKI, Revised Papers},
  pages     = {87--106},
  year      = {2003},
  crossref  = {DBLP:conf/RelMiCS/2003},
  url       = {https://doi.org/10.1007/978-3-540-24615-2_5},
  doi       = {10.1007/978-3-540-24615-2_5},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/RelMiCS/CaianielloCO03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 = {2003 Joint Conference on Declarative Programming, AGP-2003, Reggio
               Calabria, Italy, September 3-5, 2003},
  pages     = {147--158},
  year      = {2003},
  crossref  = {DBLP:conf/agp/2003},
  timestamp = {Wed, 01 Dec 2004 15:29:03 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/agp/CostantiniFO03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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, Advances in Theory and Implementation, Proceedings
               of the 2nd Intl. ASP'03 Workshop, Messina, Italy, September 26-28,
               2003},
  year      = {2003},
  crossref  = {DBLP:conf/asp/2003},
  url       = {http://ceur-ws.org/Vol-78/asp03-final-costantini.pdf},
  timestamp = {Mon, 30 May 2016 15:43:43 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/asp/CostantiniFO03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/context/CostantiniT03,
  author    = {Stefania Costantini and
               Arianna Tocchio},
  title     = {Context-Based Commonsense Reasoning in the {DALI} Logic Programming
               Language},
  booktitle = {Modeling and Using Context, 4th International and Interdisciplinary
               Conference, {CONTEXT} 2003, Stanford, CA, USA, June 23-25, 2003, Proceedings},
  pages     = {443--450},
  year      = {2003},
  crossref  = {DBLP:conf/context/2003},
  url       = {https://doi.org/10.1007/3-540-44958-2_36},
  doi       = {10.1007/3-540-44958-2_36},
  timestamp = {Mon, 29 May 2017 16:53:43 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/context/CostantiniT03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 = {Declarative Agent Languages and Technologies, First International
               Workshop, {DALT} 2003, Melbourne, Australia, July 15, 2003, Revised
               Selected and Invited Papers},
  pages     = {17--36},
  year      = {2003},
  crossref  = {DBLP:conf/dalt/2003},
  url       = {https://doi.org/10.1007/978-3-540-25932-9_2},
  doi       = {10.1007/978-3-540-25932-9_2},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/dalt/CastaldiCGT03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/woa/CostantiniT03,
  author    = {Stefania Costantini and
               Arianna Tocchio},
  title     = {Strips-like Planning in the {DALI} Logic Programmming Language},
  booktitle = {{WOA} 2003: Dagli Oggetti agli Agenti. 4th AI*IA/TABOO Joint Workshop
               "From Objects to Agents": Intelligent Systems and Pervasive Computing,
               10-11 September 2003, Villasimius, CA, Italy},
  pages     = {115--120},
  year      = {2003},
  crossref  = {DBLP:conf/woa/2003},
  timestamp = {Tue, 18 Jan 2005 10:04:54 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/woa/CostantiniT03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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},
  url       = {https://doi.org/10.1016/S0020-0190(02)00290-9},
  doi       = {10.1016/S0020-0190(02)00290-9},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ipl/CostantiniDP02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Costantini02,
  author    = {Stefania Costantini},
  title     = {Meta-reasoning: {A} Survey},
  booktitle = {Computational Logic: Logic Programming and Beyond, Essays in Honour
               of Robert A. Kowalski, Part {II}},
  pages     = {253--288},
  year      = {2002},
  crossref  = {DBLP:conf/birthday/2002kowalski2},
  url       = {https://doi.org/10.1007/3-540-45632-5_11},
  doi       = {10.1007/3-540-45632-5_11},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/Costantini02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 = {Foundations of Intelligent Systems, 13th International Symposium,
               {ISMIS} 2002, Lyon, France, June 27-29, 2002, Proceedings},
  pages     = {294--302},
  year      = {2002},
  crossref  = {DBLP:conf/ismis/2002},
  url       = {https://doi.org/10.1007/3-540-48050-1_33},
  doi       = {10.1007/3-540-48050-1_33},
  timestamp = {Fri, 26 May 2017 14:09:15 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ismis/CostantiniOPS02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/jelia/CostantiniT02,
  author    = {Stefania Costantini and
               Arianna Tocchio},
  title     = {A Logic Programming Language for Multi-agent Systems},
  booktitle = {Logics in Artificial Intelligence, European Conference, {JELIA} 2002,
               Cosenza, Italy, September, 23-26, Proceedings},
  pages     = {1--13},
  year      = {2002},
  crossref  = {DBLP:conf/jelia/2002},
  url       = {https://doi.org/10.1007/3-540-45757-7_1},
  doi       = {10.1007/3-540-45757-7_1},
  timestamp = {Thu, 15 Jun 2017 21:42:21 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/jelia/CostantiniT02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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, Towards Efficient and Scalable Knowledge Representation
               and Reasoning, Proceedings of the 1st Intl. ASP'01 Workshop, Stanford,
               March 26-28, 2001},
  year      = {2001},
  crossref  = {DBLP:conf/asp/2001},
  url       = {http://www.cs.nmsu.edu/~tson/ASP2001/7.ps},
  timestamp = {Tue, 25 Apr 2006 15:46:56 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/asp/Costantini01},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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},
  url       = {https://doi.org/10.1093/logcom/10.6.743},
  doi       = {10.1093/logcom/10.6.743},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/logcom/BarklundDCL00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
               Italy, September 6-9, 1999},
  pages     = {575--588},
  year      = {1999},
  crossref  = {DBLP:conf/agp/1999},
  timestamp = {Wed, 01 Dec 2004 15:33:47 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/agp/CostantiniM99},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 = {Flexible Query-Answering Systems, Proceedings of the 1996 Workshop,
               FQAS'96, Roskilde, Denmark, May 22-24, 1996},
  pages     = {155--166},
  year      = {1996},
  crossref  = {DBLP:conf/fqas/1996},
  timestamp = {Thu, 08 Jun 2017 18:10:44 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fqas/BarklundDCL96},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CostantiniLM96,
  author    = {Stefania Costantini and
               Gaetano Aurelio Lanzarone and
               Giuseppe Magliocco},
  title     = {Asserting Lemmas in the Stable Model Semantics},
  booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
               and Symposium on Logic Programming, Bonn, Germany, September 2-6,
               1996},
  pages     = {438--452},
  year      = {1996},
  crossref  = {DBLP:conf/iclp/1996},
  url       = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278908},
  timestamp = {Thu, 17 Aug 2017 12:43:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iclp/CostantiniLM96},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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},
  url       = {https://doi.org/10.1007/BF00872530},
  doi       = {10.1007/BF00872530},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ail/CostantiniL95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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},
  url       = {https://doi.org/10.1007/BF01530892},
  doi       = {10.1007/BF01530892},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/amai/CostantiniLS95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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},
  url       = {https://doi.org/10.1016/0304-3975(94)00259-L},
  doi       = {10.1016/0304-3975(94)00259-L},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/tcs/Costantini95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 = {Logic Programming, Proceedings of the Twelfth International Conference
               on Logic Programming, Tokyo, Japan, June 13-16, 1995},
  pages     = {830},
  year      = {1995},
  crossref  = {DBLP:conf/iclp/1995},
  timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iclp/BarklundDCL95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 = {Logic Programming, Proceedings of the 1995 International Symposium,
               Portland, Oregon, USA, December 4-7, 1995},
  pages     = {288--302},
  year      = {1995},
  crossref  = {DBLP:conf/slp/1995},
  url       = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6300533},
  timestamp = {Thu, 17 Aug 2017 12:56:40 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/slp/BarklundDCL95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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},
  url       = {https://doi.org/10.1080/09528139408953789},
  doi       = {10.1080/09528139408953789},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jetai/CostantiniL94},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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},
  timestamp = {Mon, 05 Dec 2011 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/mlcs/CostantiniL94},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/agp/BertarelloCL94,
  author    = {S. Bertarello and
               Stefania Costantini and
               Gaetano Aurelio Lanzarone},
  title     = {Extending Explanation-Based Generalization with Metalogic Programming},
  booktitle = {1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Pe{\~{n}}iscola,
               Spain, September 19-22, 1994, Volume 2},
  pages     = {16--31},
  year      = {1994},
  crossref  = {DBLP:conf/agp/1994-2},
  timestamp = {Wed, 01 Dec 2004 15:33:41 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/agp/BertarelloCL94},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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} 1994, Workshop {W10:} Proof-Theoretical Extensions on Logic
               Programming, Santa Margherita Ligure, Italy, June 1994},
  year      = {1994},
  crossref  = {DBLP:conf/iclp/1994w10},
  timestamp = {Mon, 02 Dec 2013 17:40:45 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iclp/BarklundCDL94},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 = {Logic Programming, Proceedings of the Eleventh International Conference
               on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994},
  pages     = {742},
  year      = {1994},
  crossref  = {DBLP:conf/iclp/1994},
  timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iclp/BarklundDCL94},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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} 1994 Workshop {W12:} Legal Application of Logic Programming,
               Santa Margherita Ligure, Italy, June 1994},
  year      = {1994},
  crossref  = {DBLP:conf/iclp/1994w12},
  timestamp = {Mon, 02 Dec 2013 17:40:43 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iclp/BertarelloCL94},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 = {Logics in Artificial Intelligence, European Workshop, {JELIA} '94,
               York, UK, September 5-8, 1994, Proceedings},
  pages     = {400--413},
  year      = {1994},
  crossref  = {DBLP:conf/jelia/1994},
  url       = {https://doi.org/10.1007/BFb0021987},
  doi       = {10.1007/BFb0021987},
  timestamp = {Sat, 20 May 2017 15:32:53 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/jelia/ConstantiniDL94},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/nmelp/CostantiniL94,
  author    = {Stefania Costantini and
               Gaetano Aurelio Lanzarone},
  title     = {Static Semantics as Program Transformation and Well-founded Computation},
  booktitle = {Non-Monotonic Extensions of Logic Programming (NMELP'94), {ICLP} '94
               Workshop, Santa Margherita Ligure, Italy, June 17, 1994, Selected
               Papers},
  pages     = {156--180},
  year      = {1994},
  crossref  = {DBLP:conf/nmelp/1994},
  url       = {https://doi.org/10.1007/BFb0030664},
  doi       = {10.1007/BFb0030664},
  timestamp = {Sat, 20 May 2017 15:32:49 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/nmelp/CostantiniL94},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 = {Logic Programming, Proceedings of the 1994 International Symposium,
               Ithaca, New York, USA, November 13-17, 1994},
  pages     = {554--568},
  year      = {1994},
  crossref  = {DBLP:conf/slp/1994},
  timestamp = {Wed, 04 Dec 2013 14:42:58 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/slp/BarklundDCL94},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 = {8th Italian Conference on Logic Programming, GULP'93, Gizzeria, Italy,
               June 15-18, 1993},
  pages     = {285--300},
  year      = {1993},
  crossref  = {DBLP:conf/agp/1993},
  timestamp = {Thu, 02 Dec 2004 11:00:44 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/agp/ConcariCL93},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Costantini93,
  author    = {Stefania Costantini},
  title     = {Contributions to the Stable Model Semantics of Logic Programs with
               Negation},
  booktitle = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
               Second International Workshop, Lisbon, Portugal, June 1993},
  pages     = {190--205},
  year      = {1993},
  crossref  = {DBLP:conf/lpnmr/1993},
  timestamp = {Mon, 20 Mar 2017 14:37:29 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lpnmr/Costantini93},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/meta/CostantiniDL92,
  author    = {Stefania Costantini and
               Pierangelo Dell'Acqua and
               Gaetano Aurelio Lanzarone},
  title     = {Reflective Agents in Metalogic Programming},
  booktitle = {Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala,
               Sweden, June 10-12, 1992, Proceedings},
  pages     = {135--147},
  year      = {1992},
  crossref  = {DBLP:conf/meta/1992},
  url       = {https://doi.org/10.1007/3-540-56282-6_9},
  doi       = {10.1007/3-540-56282-6_9},
  timestamp = {Sat, 20 May 2017 15:32:52 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/meta/CostantiniDL92},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/aiia/CostantiniL91,
  author    = {Stefania Costantini and
               Gaetano Aurelio Lanzarone},
  title     = {Metalevel Represantation of Analogical Inference},
  booktitle = {Trends in Artificial Intelligence, 2nd Congress of the Italian Association
               for Artificial Intelligence, AI*IA, Palermo, Italy, October, 29-31,
               1991, Proceedings},
  pages     = {460--464},
  year      = {1991},
  crossref  = {DBLP:conf/aiia/1991},
  url       = {https://doi.org/10.1007/3-540-54712-6_262},
  doi       = {10.1007/3-540-54712-6_262},
  timestamp = {Sat, 20 May 2017 15:32:53 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aiia/CostantiniL91},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lpar/CostantiniL91,
  author    = {Stefania Costantini and
               Gaetano Aurelio Lanzarone},
  title     = {On Procedural Semantics of Metalevel Negation},
  booktitle = {Logic Programming, First Russian Conference on Logic Programming,
               Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference
               on Logic Programming, St. Petersburg, Russia, September 11-16, 1991,
               Proceedings},
  pages     = {140--151},
  year      = {1991},
  crossref  = {DBLP:conf/lpar/1991},
  url       = {https://doi.org/10.1007/3-540-55460-2_10},
  doi       = {10.1007/3-540-55460-2_10},
  timestamp = {Sat, 20 May 2017 15:32:54 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lpar/CostantiniL91},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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},
  url       = {https://doi.org/10.1142/S0129054190000175},
  doi       = {10.1142/S0129054190000175},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ijfcs/Costantini90},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/CostantiniL90,
  author    = {Stefania Costantini and
               Gaetano Aurelio Lanzarone},
  title     = {Metalevel Negation in Non-Monotonic Reasoning},
  booktitle = {Proceedings of the Workshop Logic Programming and Non-Monotonic Logic,
               Austin, TX, USA, November 1-2, 1990},
  pages     = {19--26},
  year      = {1990},
  crossref  = {DBLP:conf/lpnmr/1990},
  timestamp = {Mon, 20 Mar 2017 14:37:29 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lpnmr/CostantiniL90},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CostantiniL89,
  author    = {Stefania Costantini and
               Gaetano Aurelio Lanzarone},
  title     = {A Metalogic Programming Language},
  booktitle = {Logic Programming, Proceedings of the Sixth International Conference,
               Lisbon, Portugal, June 19-23, 1989},
  pages     = {218--233},
  year      = {1989},
  crossref  = {DBLP:conf/iclp/1989},
  timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iclp/CostantiniL89},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/2017aspocp,
  editor    = {Bart Bogaerts and
               Amelia Harrison},
  title     = {Proceedings of the 10th Workshop on Answer Set Programming and Other
               Computing Paradigms co-located with the 14th International Conference
               on Logic Programming and Nonmonotonic Reasoning, ASPOCP@LPNMR 2017,
               Espoo, Finland, July 3, 2017},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1868},
  publisher = {CEUR-WS.org},
  year      = {2017},
  url       = {http://ceur-ws.org/Vol-1868},
  urn       = {urn:nbn:de:0074-1868-5},
  timestamp = {Wed, 19 Jul 2017 18:07:39 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lpnmr/2017aspocp},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/padl/2017,
  editor    = {Yuliya Lierler and
               Walid Taha},
  title     = {Practical Aspects of Declarative Languages - 19th International Symposium,
               {PADL} 2017, Paris, France, January 16-17, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10137},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-51676-9},
  doi       = {10.1007/978-3-319-51676-9},
  isbn      = {978-3-319-51675-2},
  timestamp = {Wed, 17 May 2017 14:24:45 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/padl/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/atal/2016v,
  editor    = {Nardine Osman and
               Carles Sierra},
  title     = {Autonomous Agents and Multiagent Systems - {AAMAS} 2016 Workshops,
               - Visionary Papers - , Singapore, Singapore, May 9-10, 2016, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {10003},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-46840-2},
  doi       = {10.1007/978-3-319-46840-2},
  isbn      = {978-3-319-46839-6},
  timestamp = {Tue, 23 May 2017 01:11:59 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/atal/2016v},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/atal/2016emas,
  editor    = {Matteo Baldoni and
               J{\"{o}}rg P. M{\"{u}}ller and
               Ingrid Nunes and
               Rym Zalila{-}Wenkstern},
  title     = {Engineering Multi-Agent Systems - 4th International Workshop, {EMAS}
               2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and
               Invited Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {10093},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-50983-9},
  doi       = {10.1007/978-3-319-50983-9},
  isbn      = {978-3-319-50982-2},
  timestamp = {Tue, 23 May 2017 01:11:59 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/atal/2016emas},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/atal/2016,
  editor    = {Catholijn M. Jonker and
               Stacy Marsella and
               John Thangarajah and
               Karl Tuyls},
  title     = {Proceedings of the 2016 International Conference on Autonomous Agents
               {\&} Multiagent Systems, Singapore, May 9-13, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {http://dl.acm.org/citation.cfm?id=2936924},
  isbn      = {978-1-4503-4239-1},
  timestamp = {Fri, 20 May 2016 20:33:29 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/atal/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ecai/2016,
  editor    = {Gal A. Kaminka and
               Maria Fox and
               Paolo Bouquet and
               Eyke H{\"{u}}llermeier and
               Virginia Dignum and
               Frank Dignum and
               Frank van Harmelen},
  title     = {{ECAI} 2016 - 22nd European Conference on Artificial Intelligence,
               29 August-2 September 2016, The Hague, The Netherlands - Including
               Prestigious Applications of Artificial Intelligence {(PAIS} 2016)},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {285},
  publisher = {{IOS} Press},
  year      = {2016},
  isbn      = {978-1-61499-671-2},
  timestamp = {Tue, 30 Aug 2016 10:30:24 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ecai/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/paams/2016w,
  editor    = {Javier Bajo and
               Mar{\'{\i}}a Jos{\'{e}} Escalona and
               Sylvain Giroux and
               Patrycja Hoffa{-}Dabrowska and
               Vicente Juli{\'{a}}n and
               Paulo Novais and
               Nayat S{\'{a}}nchez Pi and
               Rainer Unland and
               Ricardo Azambuja Silveira},
  title     = {Highlights of Practical Applications of Scalable Multi-Agent Systems.
               The {PAAMS} Collection - International Workshops of {PAAMS} 2016,
               Sevilla, Spain, June 1-3, 2016. Proceedings},
  series    = {Communications in Computer and Information Science},
  volume    = {616},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-39387-2},
  doi       = {10.1007/978-3-319-39387-2},
  isbn      = {978-3-319-39386-5},
  timestamp = {Mon, 05 Jun 2017 12:42:30 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/paams/2016w},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ruleml/2016,
  editor    = {Jos{\'{e}} J{\'{u}}lio Alferes and
               Leopoldo E. Bertossi and
               Guido Governatori and
               Paul Fodor and
               Dumitru Roman},
  title     = {Rule Technologies. Research, Tools, and Applications - 10th International
               Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9718},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-42019-6},
  doi       = {10.1007/978-3-319-42019-6},
  isbn      = {978-3-319-42018-9},
  timestamp = {Thu, 15 Jun 2017 21:33:04 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ruleml/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/aiia/2015,
  editor    = {Marco Gavanelli and
               Evelina Lamma and
               Fabrizio Riguzzi},
  title     = {AI*IA 2015, Advances in Artificial Intelligence - XIVth International
               Conference of the Italian Association for Artificial Intelligence,
               Ferrara, Italy, September 23-25, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9336},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-24309-2},
  doi       = {10.1007/978-3-319-24309-2},
  isbn      = {978-3-319-24308-5},
  timestamp = {Tue, 23 May 2017 01:11:31 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aiia/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/atal/2015emas,
  editor    = {Matteo Baldoni and
               Luciano Baresi and
               Mehdi Dastani},
  title     = {Engineering Multi-Agent Systems - Third International Workshop, {EMAS}
               2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9318},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-26184-3},
  doi       = {10.1007/978-3-319-26184-3},
  isbn      = {978-3-319-26183-6},
  timestamp = {Tue, 23 May 2017 01:11:59 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/atal/2015emas},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cilc/2015,
  editor    = {Davide Ancona and
               Marco Maratea and
               Viviana Mascardi},
  title     = {Proceedings of the 30th Italian Conference on Computational Logic,
               Genova, Italy, July 1-3, 2015},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1459},
  publisher = {CEUR-WS.org},
  year      = {2015},
  url       = {http://ceur-ws.org/Vol-1459},
  urn       = {urn:nbn:de:0074-1459-5},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cilc/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dcai/2015,
  editor    = {Sigeru Omatu and
               Qutaibah M. Malluhi and
               Sara Rodr{\'{\i}}guez{-}Gonz{\'{a}}lez and
               Grzegorz Bocewicz and
               Edgardo Bucciarelli and
               Gianfranco Giulioni and
               Farkhund Iqba},
  title     = {Distributed Computing and Artificial Intelligence, 12th International
               Conference, {DCAI} 2015, Salamanca, Spain, June 3-5, 2015},
  series    = {Advances in Intelligent Systems and Computing},
  volume    = {373},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-19638-1},
  doi       = {10.1007/978-3-319-19638-1},
  isbn      = {978-3-319-19637-4},
  timestamp = {Thu, 15 Jun 2017 21:45:28 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/dcai/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/2015,
  editor    = {Francesco Calimeri and
               Giovambattista Ianni and
               Miroslaw Truszczynski},
  title     = {Logic Programming and Nonmonotonic Reasoning - 13th International
               Conference, {LPNMR} 2015, Lexington, KY, USA, September 27-30, 2015.
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9345},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-23264-5},
  doi       = {10.1007/978-3-319-23264-5},
  isbn      = {978-3-319-23263-8},
  timestamp = {Sun, 04 Jun 2017 10:03:54 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lpnmr/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ruleml/2015c,
  editor    = {Nick Bassiliades and
               Paul Fodor and
               Adrian Giurca and
               Georg Gottlob and
               Tom{\'{a}}s Kliegr and
               Grzegorz J. Nalepa and
               Monica Palmirani and
               Adrian Paschke and
               Mark Proctor and
               Dumitru Roman and
               Fariba Sadri and
               Nenad Stojanovic},
  title     = {Proceedings of the RuleML 2015 Challenge, the Special Track on Rule-based
               Recommender Systems for the Web of Data, the Special Industry Track
               and the RuleML 2015 Doctoral Consortium hosted by the 9th International
               Web Rule Symposium (RuleML 2015), Berlin, Germany, August 2-5, 2015},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1417},
  publisher = {CEUR-WS.org},
  year      = {2015},
  url       = {http://ceur-ws.org/Vol-1417},
  urn       = {urn:nbn:de:0074-1417-1},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ruleml/2015c},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/atal/2014,
  editor    = {Ana L. C. Bazzan and
               Michael N. Huhns and
               Alessio Lomuscio and
               Paul Scerri},
  title     = {International conference on Autonomous Agents and Multi-Agent Systems,
               {AAMAS} '14, Paris, France, May 5-9, 2014},
  publisher = {{IFAAMAS/ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2615731},
  isbn      = {978-1-4503-2738-1},
  timestamp = {Thu, 25 Sep 2014 07:46:15 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/atal/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cilc/2014,
  editor    = {Laura Giordano and
               Valentina Gliozzi and
               Gian Luca Pozzato},
  title     = {Proceedings of the 29th Italian Conference on Computational Logic,
               Torino, Italy, June 16-18, 2014},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1195},
  publisher = {CEUR-WS.org},
  year      = {2014},
  url       = {http://ceur-ws.org/Vol-1195},
  urn       = {urn:nbn:de:0074-1195-6},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cilc/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/atal/2013,
  editor    = {Maria L. Gini and
               Onn Shehory and
               Takayuki Ito and
               Catholijn M. Jonker},
  title     = {International conference on Autonomous Agents and Multi-Agent Systems,
               {AAMAS} '13, Saint Paul, MN, USA, May 6-10, 2013},
  publisher = {{IFAAMAS}},
  year      = {2013},
  url       = {http://dl.acm.org/citation.cfm?id=2484920},
  isbn      = {978-1-4503-1993-5},
  timestamp = {Fri, 28 Jun 2013 12:19:40 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/atal/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cilc/2013,
  editor    = {Domenico Cantone and
               Marianna Nicolosi Asmundo},
  title     = {Proceedings of the 28th Italian Conference on Computational Logic,
               Catania, Italy, September 25-27, 2013},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1068},
  publisher = {CEUR-WS.org},
  year      = {2013},
  url       = {http://ceur-ws.org/Vol-1068},
  urn       = {urn:nbn:de:0074-1068-8},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cilc/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dcai/2013,
  editor    = {Sigeru Omatu and
               Jos{\'{e}} Neves and
               Juan M. Corchado Rodr{\'{\i}}guez and
               Juan F. De Paz Santana and
               Sara Rodr{\'{\i}}guez{-}Gonz{\'{a}}lez},
  title     = {Distributed Computing and Artificial Intelligence - 10th International
               Conference, {DCAI} 2013, Salamanca, Spain, May 22-24, 2013},
  series    = {Advances in Intelligent Systems and Computing},
  volume    = {217},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-319-00551-5},
  doi       = {10.1007/978-3-319-00551-5},
  isbn      = {978-3-319-00550-8},
  timestamp = {Fri, 02 Jun 2017 20:51:43 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/dcai/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/2013,
  editor    = {Pedro Cabalar and
               Tran Cao Son},
  title     = {Logic Programming and Nonmonotonic Reasoning, 12th International Conference,
               {LPNMR} 2013, Corunna, Spain, September 15-19, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8148},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40564-8},
  doi       = {10.1007/978-3-642-40564-8},
  isbn      = {978-3-642-40563-1},
  timestamp = {Tue, 23 May 2017 01:06:09 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lpnmr/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/aiia/2012pai,
  editor    = {Matteo Baldoni and
               Federico Chesani and
               Bernardo Magnini and
               Paola Mello and
               Marco Montali},
  title     = {Popularize Artificial Intelligence, Proceedings of the AI*IA Workshop
               and Prize for Celebrating 100th Anniversary of Alan Turing's Birth,
               Rome, Italy, June 15, 2012},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {860},
  publisher = {CEUR-WS.org},
  year      = {2012},
  url       = {http://ceur-ws.org/Vol-860},
  timestamp = {Thu, 16 Mar 2017 15:42:11 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aiia/2012pai},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/birthday/2012lifschitz,
  editor    = {Esra Erdem and
               Joohyung Lee and
               Yuliya Lierler and
               David Pearce},
  title     = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
               Lifschitz},
  series    = {Lecture Notes in Computer Science},
  volume    = {7265},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-30743-0},
  doi       = {10.1007/978-3-642-30743-0},
  isbn      = {978-3-642-30742-3},
  timestamp = {Tue, 23 May 2017 01:06:45 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/2012lifschitz},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cilc/2012,
  editor    = {Francesca A. Lisi},
  title     = {Proceedings of the 9th Italian Convention on Computational Logic,
               Rome, Italy, June 6-7, 2012},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {857},
  publisher = {CEUR-WS.org},
  year      = {2012},
  url       = {http://ceur-ws.org/Vol-857},
  urn       = {urn:nbn:de:0074-857-8},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cilc/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lanmr/2012,
  editor    = {Mauricio Osorio and
               Claudia Zepeda and
               Iv{\'{a}}n Olmos and
               Jos{\'{e}} Luis Carballido and
               R. Carolina Medina Ram{\'{\i}}rez},
  title     = {Proceedings of the Eighth Latin American Workshop on Logic / Languages,
               Algorithms and New Methods of Reasoning 2012, Unidad Iztapalapa, M{\'{e}}xico,
               D.F., September 10-11, 2012},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {911},
  publisher = {CEUR-WS.org},
  year      = {2012},
  url       = {http://ceur-ws.org/Vol-911},
  urn       = {urn:nbn:de:0074-911-3},
  timestamp = {Fri, 29 Sep 2017 08:09:19 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lanmr/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/paams/2012,
  editor    = {Yves Demazeau and
               J{\"{o}}rg P. M{\"{u}}ller and
               Juan M. Corchado Rodr{\'{\i}}guez and
               Javier Bajo P{\'{e}}rez},
  title     = {Advances on Practical Applications of Agents and Multi-Agent Systems
               - 10th International Conference on Practical Applications of Agents
               and Multi-Agent Systems, {PAAMS} 2012, Salamanca, Spain, 28-30 March,
               2012},
  series    = {Advances in Intelligent and Soft Computing},
  volume    = {155},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-28786-2},
  doi       = {10.1007/978-3-642-28786-2},
  isbn      = {978-3-642-28785-5},
  timestamp = {Fri, 19 May 2017 01:26:06 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/paams/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ruleml/2012,
  editor    = {Antonis Bikakis and
               Adrian Giurca},
  title     = {Rules on the Web: Research and Applications - 6th International Symposium,
               RuleML 2012, Montpellier, France, August 27-29, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7438},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-32689-9},
  doi       = {10.1007/978-3-642-32689-9},
  isbn      = {978-3-642-32688-2},
  timestamp = {Thu, 25 May 2017 00:39:18 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ruleml/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/aaaiss/2011-6,
  title     = {Logical Formalizations of Commonsense Reasoning, Papers from the 2011
               {AAAI} Spring Symposium, Technical Report SS-11-06, Stanford, California,
               USA, March 21-23, 2011},
  publisher = {{AAAI}},
  year      = {2011},
  url       = {http://www.aaai.org/Library/Symposia/Spring/ss11-06.php},
  timestamp = {Mon, 13 Feb 2012 17:07:39 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aaaiss/2011-6},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/birthday/2011gelfond,
  editor    = {Marcello Balduccini and
               Tran Cao Son},
  title     = {Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
               - Essays Dedicated to Michael Gelfond on the Occasion of His 65th
               Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {6565},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-20832-4},
  doi       = {10.1007/978-3-642-20832-4},
  isbn      = {978-3-642-20831-7},
  timestamp = {Tue, 23 May 2017 01:06:47 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/2011gelfond},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cilc/2011,
  editor    = {Fabio Fioravanti},
  title     = {Proceedings of the 26th Italian Conference on Computational Logic,
               Pescara, Italy, August 31 - September 2, 2011},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {810},
  publisher = {CEUR-WS.org},
  year      = {2011},
  url       = {http://ceur-ws.org/Vol-810},
  urn       = {urn:nbn:de:0074-810-0},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cilc/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/gkr/2012,
  editor    = {Madalina Croitoru and
               Sebastian Rudolph and
               Nic Wilson and
               John Howse and
               Olivier Corby},
  title     = {Graph Structures for Knowledge Representation and Reasoning - Second
               International Workshop, {GKR} 2011, Barcelona, Spain, July 16, 2011.
               Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7205},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-29449-5},
  doi       = {10.1007/978-3-642-29449-5},
  isbn      = {978-3-642-29448-8},
  timestamp = {Tue, 23 May 2017 01:11:29 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/gkr/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ic3k/2011kdir,
  editor    = {Joaquim Filipe and
               Ana L. N. Fred},
  title     = {{KDIR} 2011 - Proceedings of the International Conference on Knowledge
               Discovery and Information Retrieval, Paris, France, 26-29 October,
               2011},
  publisher = {SciTePress},
  year      = {2011},
  isbn      = {978-989-8425-79-9},
  timestamp = {Fri, 04 May 2012 14:53:05 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ic3k/2011kdir},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lanmr/2011,
  editor    = {Mauricio Osorio and
               Claudia Zepeda and
               Iv{\'{a}}n Olmos and
               Jos{\'{e}} Luis Carballido and
               Jos{\'{e}} Arrazola and
               Carolina Medina},
  title     = {Proceedings of the Seventh Latin American Workshop on Non-Monotonic
               Reasoning, {LANMR} 2011, Toluca, Estado de M{\'{e}}xico, M{\'{e}}xico,
               November 7-8, 2011},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {804},
  publisher = {CEUR-WS.org},
  year      = {2011},
  url       = {http://ceur-ws.org/Vol-804},
  timestamp = {Fri, 29 Sep 2017 08:09:19 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lanmr/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/2011,
  editor    = {James P. Delgrande and
               Wolfgang Faber},
  title     = {Logic Programming and Nonmonotonic Reasoning - 11th International
               Conference, {LPNMR} 2011, Vancouver, Canada, May 16-19, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6645},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-20895-9},
  doi       = {10.1007/978-3-642-20895-9},
  isbn      = {978-3-642-20894-2},
  timestamp = {Tue, 23 May 2017 01:06:10 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lpnmr/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ruleml/2011e,
  editor    = {Nick Bassiliades and
               Guido Governatori and
               Adrian Paschke},
  title     = {Rule-Based Reasoning, Programming, and Applications - 5th International
               Symposium, RuleML 2011 - Europe, Barcelona, Spain, July 19-21, 2011.
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6826},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-22546-8},
  doi       = {10.1007/978-3-642-22546-8},
  isbn      = {978-3-642-22545-1},
  timestamp = {Thu, 15 Jun 2017 21:33:04 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ruleml/2011e},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cilc/2010,
  editor    = {Wolfgang Faber and
               Nicola Leone},
  title     = {Proceedings of the 25th Italian Conference on Computational Logic,
               Rende, Italy, July 7-9, 2010},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {598},
  publisher = {CEUR-WS.org},
  year      = {2010},
  url       = {http://ceur-ws.org/Vol-598},
  urn       = {urn:nbn:de:0074-598-1},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cilc/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/clima/2010,
  editor    = {J{\"{u}}rgen Dix and
               Jo{\~{a}}o Leite and
               Guido Governatori and
               Wojtek Jamroga},
  title     = {Computational Logic in Multi-Agent Systems, 11th International Workshop,
               {CLIMA} XI, Lisbon, Portugal, August 16-17, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6245},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-14977-1},
  doi       = {10.1007/978-3-642-14977-1},
  isbn      = {978-3-642-14976-4},
  timestamp = {Fri, 02 Jun 2017 20:50:36 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/clima/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/datalog/2010,
  editor    = {Oege de Moor and
               Georg Gottlob and
               Tim Furche and
               Andrew Jon Sellers},
  title     = {Datalog Reloaded - First International Workshop, Datalog 2010, Oxford,
               UK, March 16-19, 2010. Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {6702},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-24206-9},
  doi       = {10.1007/978-3-642-24206-9},
  isbn      = {978-3-642-24205-2},
  timestamp = {Fri, 26 May 2017 00:51:12 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/datalog/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lanmr/2009,
  editor    = {Mauricio Osorio and
               Claudia Zepeda and
               Iv{\'{a}}n Olmos and
               Carolina Medina and
               Jos{\'{e}} Arrazola},
  title     = {Proceedings of the Fifth Latin American Workshop on Non-Monotonic
               Reasoning 2009 (LANMR'09) , Facultad de Ciencias B{\'{a}}sicas,
               Ingenier{\'{\i}}a y Tecnolog{\'{\i}}a , Universidad Aut{\'{o}}noma
               de Tlaxcala {(UAT)} , Apizaco, Tlaxcala, M{\'{e}}xico, November
               5-6, 2009},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {533},
  publisher = {CEUR-WS.org},
  year      = {2009},
  url       = {http://ceur-ws.org/Vol-533},
  urn       = {urn:nbn:de:0074-533-8},
  timestamp = {Fri, 29 Sep 2017 08:09:19 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lanmr/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/2009,
  editor    = {Esra Erdem and
               Fangzhen Lin and
               Torsten Schaub},
  title     = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
               {LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5753},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-04238-6},
  doi       = {10.1007/978-3-642-04238-6},
  isbn      = {978-3-642-04237-9},
  timestamp = {Tue, 23 May 2017 01:06:10 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lpnmr/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/aaaiss/2008-2,
  title     = {Architectures for Intelligent Theory-Based Agents, Papers from the
               2008 {AAAI} Spring Symposium, Technical Report SS-08-02, Stanford,
               California, USA, March 26-28, 2008},
  publisher = {{AAAI}},
  year      = {2008},
  url       = {http://www.aaai.org/Library/Symposia/Spring/ss08-02.php},
  timestamp = {Fri, 17 Feb 2012 14:17:25 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aaaiss/2008-2},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/birthday/2008martelli,
  editor    = {Matteo Baldoni and
               Cristina Baroglio},
  title     = {Il Milione (i.e. 2{\&}circ;6), Proceedings of the Day Dedicated
               to Prof. Alberto Martelli, Turin, Italy, June 3, 2008},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {487},
  publisher = {CEUR-WS.org},
  year      = {2008},
  url       = {http://ceur-ws.org/Vol-487},
  timestamp = {Thu, 06 Apr 2017 10:49:53 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/2008martelli},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/clima/2008,
  editor    = {Michael Fisher and
               Fariba Sadri and
               Michael Thielscher},
  title     = {Computational Logic in Multi-Agent Systems, 9th International Workshop,
               {CLIMA} IX, Dresden, Germany, September 29-30, 2008. Revised Selected
               and Invited Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {5405},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02734-5},
  doi       = {10.1007/978-3-642-02734-5},
  isbn      = {978-3-642-02733-8},
  timestamp = {Thu, 15 Jun 2017 21:42:21 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/clima/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lanmr/2008,
  editor    = {Mauricio Osorio and
               Iv{\'{a}}n Olmos},
  title     = {Proceedings of the fourth Latin American Workshop on Non-Monotonic
               Reasoning 2008 (LANMR'08) Facultad de Ciencias de la Computaci{\'{o}}n
               de la Benem{\'{e}}rita Universidad Aut{\'{o}}noma de Puebla,
               Puebla, M{\'{e}}xico, October 22-24, 2008},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {408},
  publisher = {CEUR-WS.org},
  year      = {2008},
  url       = {http://ceur-ws.org/Vol-408},
  urn       = {urn:nbn:de:0074-408-2},
  timestamp = {Tue, 17 Oct 2017 19:01:22 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lanmr/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/aaaiss/2007-5,
  title     = {Logical Formalizations of Commonsense Reasoning, Papers from the 2007
               {AAAI} Spring Symposium, Technical Report SS-07-05, Stanford, California,
               USA, March 26-28, 2007},
  publisher = {{AAAI}},
  year      = {2007},
  url       = {http://www.aaai.org/Library/Symposia/Spring/ss07-05.php},
  timestamp = {Fri, 17 Feb 2012 14:14:44 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aaaiss/2007-5},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/aiia/2007,
  editor    = {Roberto Basili and
               Maria Teresa Pazienza},
  title     = {AI*IA 2007: Artificial Intelligence and Human-Oriented Computing,
               10th Congress of the Italian Association for Artificial Intelligence,
               Rome, Italy, September 10-13, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4733},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-74782-6},
  doi       = {10.1007/978-3-540-74782-6},
  isbn      = {978-3-540-74781-9},
  timestamp = {Mon, 17 Jul 2017 17:08:26 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aiia/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/clima/2007,
  editor    = {Fariba Sadri and
               Ken Satoh},
  title     = {Computational Logic in Multi-Agent Systems, 8th International Workshop,
               {CLIMA} VIII, Porto, Portugal, September 10-11, 2007. Revised Selected
               and Invited Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {5056},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-88833-8},
  doi       = {10.1007/978-3-540-88833-8},
  isbn      = {978-3-540-88832-1},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/clima/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ifiptm/2007,
  editor    = {Sandro Etalle and
               Stephen Marsh},
  title     = {Trust Management - Proceedings of {IFIPTM} 2007: Joint iTrust and
               {PST} Conferences on Privacy, Trust Management and Security, July
               30- August 2, 2007, New Brunswick, Canada},
  series    = {{IFIP}},
  volume    = {238},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-0-387-73655-6},
  doi       = {10.1007/978-0-387-73655-6},
  isbn      = {978-0-387-73654-9},
  timestamp = {Wed, 24 May 2017 08:31:19 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ifiptm/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/seke/2007,
  title     = {Proceedings of the Nineteenth International Conference on Software
               Engineering {\&} Knowledge Engineering (SEKE'2007), Boston, Massachusetts,
               USA, July 9-11, 2007},
  publisher = {Knowledge Systems Institute Graduate School},
  year      = {2007},
  isbn      = {1-891706-20-9},
  timestamp = {Wed, 19 Sep 2007 09:23:46 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/seke/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/woa/2007,
  editor    = {Matteo Baldoni and
               Antonio Boccalatte and
               Flavio De Paoli and
               Maurizio Martelli and
               Viviana Mascardi},
  title     = {{WOA} 2007: Dagli Oggetti agli Agenti. 8th AI*IA/TABOO Joint Workshop
               "From Objects to Agents": Agents and Industry: Technological Applications
               of Software Agents, 24-25 September 2007, Genova, Italy},
  publisher = {Seneca Edizioni Torino},
  year      = {2007},
  isbn      = {978-88-6122-061-4},
  timestamp = {Mon, 15 Dec 2008 07:53:52 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/woa/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/woa/2006,
  editor    = {Flavio De Paoli and
               Antonella Di Stefano and
               Andrea Omicini and
               Corrado Santoro},
  title     = {Proceedings of the 7th {WOA} 2006 Workshop, From Objects to Agents
               (Dagli Oggetti Agli Agenti), Catania, Italy, September 26-27, 2006},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {204},
  publisher = {CEUR-WS.org},
  year      = {2006},
  url       = {http://ceur-ws.org/Vol-204},
  urn       = {urn:nbn:de:0074-204-1},
  timestamp = {Mon, 30 May 2016 16:57:34 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/woa/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dalt/2005,
  editor    = {Matteo Baldoni and
               Ulle Endriss and
               Andrea Omicini and
               Paolo Torroni},
  title     = {Declarative Agent Languages and Technologies III, Third International
               Workshop, {DALT} 2005, Utrecht, The Netherlands, July 25, 2005, Selected
               and Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {3904},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11691792},
  doi       = {10.1007/11691792},
  isbn      = {3-540-33106-9},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/dalt/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/woa/2005,
  editor    = {Flavio Corradini and
               Flavio De Paoli and
               Emanuela Merelli and
               Andrea Omicini},
  title     = {{WOA} 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop
               "From Objects to Agents": Simulation and Formal Analysis of Complex
               Systems, 14-16 November 2005, Camerino, MC, Italy},
  publisher = {Pitagora Editrice Bologna},
  year      = {2005},
  isbn      = {88-371-1590-3},
  timestamp = {Fri, 06 Jan 2006 09:55:54 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/woa/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/clima/2004,
  editor    = {J{\"{u}}rgen Dix and
               Jo{\~{a}}o Alexandre Leite},
  title     = {Computational Logic in Multi-Agent Systems, 4th International Workshop,
               {CLIMA} IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected
               and Invited Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {3259},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b104175},
  doi       = {10.1007/b104175},
  isbn      = {3-540-24010-1},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/clima/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/jelia/2004,
  editor    = {Jos{\'{e}} J{\'{u}}lio Alferes and
               Jo{\~{a}}o Alexandre Leite},
  title     = {Logics in Artificial Intelligence, 9th European Conference, {JELIA}
               2004, Lisbon, Portugal, September 27-30, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3229},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b100483},
  doi       = {10.1007/b100483},
  isbn      = {3-540-23242-7},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/jelia/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lanmr/2004,
  editor    = {Mauricio Osorio and
               Alessandro Provetti},
  title     = {Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of
               the 1st Intl. {LA-NMR04} Workshop, Antiguo Colegio de San Ildefonso,
               Mexico City, {D.F} , Mexico, April 26th 2004},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {92},
  publisher = {CEUR-WS.org},
  year      = {2004},
  url       = {http://ceur-ws.org/Vol-92},
  urn       = {urn:nbn:de:0074-92-8},
  timestamp = {Fri, 29 Sep 2017 08:09:19 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lanmr/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/woa/2004,
  editor    = {Matteo Baldoni and
               Flavio De Paoli and
               Alberto Martelli and
               Andrea Omicini},
  title     = {{WOA} 2004: Dagli Oggetti agli Agenti. 5th AI*IA/TABOO Joint Workshop
               "From Objects to Agents": Complex Systems and Rational Agents, 30
               November - 1 December 2004, Torino, Italy},
  publisher = {Pitagora Editrice Bologna},
  year      = {2004},
  isbn      = {88-371-1533-4},
  timestamp = {Mon, 17 Jan 2005 15:51:59 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/woa/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/RelMiCS/2003,
  editor    = {Harrie C. M. de Swart and
               Ewa Orlowska and
               Gunther Schmidt and
               Marc Roubens},
  title     = {Theory and Applications of Relational Structures as Knowledge Instruments,
               {COST} Action 274, TARSKI, Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {2929},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b94817},
  doi       = {10.1007/b94817},
  isbn      = {3-540-20780-5},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/RelMiCS/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/agp/2003,
  editor    = {Francesco Buccafurri},
  title     = {2003 Joint Conference on Declarative Programming, AGP-2003, Reggio
               Calabria, Italy, September 3-5, 2003},
  year      = {2003},
  timestamp = {Wed, 01 Dec 2004 15:29:03 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/agp/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/asp/2003,
  editor    = {Marina De Vos and
               Alessandro Provetti},
  title     = {Answer Set Programming, Advances in Theory and Implementation, Proceedings
               of the 2nd Intl. ASP'03 Workshop, Messina, Italy, September 26-28,
               2003},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {78},
  publisher = {CEUR-WS.org},
  year      = {2003},
  url       = {http://ceur-ws.org/Vol-78},
  urn       = {urn:nbn:de:0074-78-6},
  timestamp = {Mon, 30 May 2016 15:43:43 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/asp/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/context/2003,
  editor    = {Patrick Blackburn and
               Chiara Ghidini and
               Roy M. Turner and
               Fausto Giunchiglia},
  title     = {Modeling and Using Context, 4th International and Interdisciplinary
               Conference, {CONTEXT} 2003, Stanford, CA, USA, June 23-25, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2680},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-44958-2},
  doi       = {10.1007/3-540-44958-2},
  isbn      = {3-540-40380-9},
  timestamp = {Mon, 29 May 2017 16:53:43 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/context/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dalt/2003,
  editor    = {Jo{\~{a}}o Alexandre Leite and
               Andrea Omicini and
               Leon Sterling and
               Paolo Torroni},
  title     = {Declarative Agent Languages and Technologies, First International
               Workshop, {DALT} 2003, Melbourne, Australia, July 15, 2003, Revised
               Selected and Invited Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {2990},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b97923},
  doi       = {10.1007/b97923},
  isbn      = {3-540-22124-7},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/dalt/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/woa/2003,
  editor    = {Giuliano Armano and
               Flavio De Paoli and
               Andrea Omicini and
               Eloisa Vargiu},
  title     = {{WOA} 2003: Dagli Oggetti agli Agenti. 4th AI*IA/TABOO Joint Workshop
               "From Objects to Agents": Intelligent Systems and Pervasive Computing,
               10-11 September 2003, Villasimius, CA, Italy},
  publisher = {Pitagora Editrice Bologna},
  year      = {2003},
  isbn      = {88-371-1413-3},
  timestamp = {Tue, 18 Jan 2005 10:04:54 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/woa/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/birthday/2002kowalski2,
  editor    = {Antonis C. Kakas and
               Fariba Sadri},
  title     = {Computational Logic: Logic Programming and Beyond, Essays in Honour
               of Robert A. Kowalski, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2408},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45632-5},
  doi       = {10.1007/3-540-45632-5},
  isbn      = {3-540-43960-9},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/2002kowalski2},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ismis/2002,
  editor    = {Mohand{-}Said Hacid and
               Zbigniew W. Ras and
               Djamel A. Zighed and
               Yves Kodratoff},
  title     = {Foundations of Intelligent Systems, 13th International Symposium,
               {ISMIS} 2002, Lyon, France, June 27-29, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2366},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-48050-1},
  doi       = {10.1007/3-540-48050-1},
  isbn      = {3-540-43785-1},
  timestamp = {Fri, 26 May 2017 14:09:15 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ismis/2002},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/jelia/2002,
  editor    = {Sergio Flesca and
               Sergio Greco and
               Nicola Leone and
               Giovambattista Ianni},
  title     = {Logics in Artificial Intelligence, European Conference, {JELIA} 2002,
               Cosenza, Italy, September, 23-26, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2424},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45757-7},
  doi       = {10.1007/3-540-45757-7},
  isbn      = {3-540-44190-5},
  timestamp = {Thu, 15 Jun 2017 21:42:21 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/jelia/2002},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/asp/2001,
  editor    = {Alessandro Provetti and
               Tran Cao Son},
  title     = {Answer Set Programming, Towards Efficient and Scalable Knowledge Representation
               and Reasoning, Proceedings of the 1st Intl. ASP'01 Workshop, Stanford,
               March 26-28, 2001},
  year      = {2001},
  timestamp = {Tue, 25 Apr 2006 15:46:56 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/asp/2001},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/agp/1999,
  editor    = {Maria Chiara Meo and
               Manuel Vilares Ferro},
  title     = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
               Italy, September 6-9, 1999},
  year      = {1999},
  timestamp = {Wed, 01 Dec 2004 15:33:47 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/agp/1999},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fqas/1996,
  editor    = {Henning Christiansen and
               Henrik Legind Larsen and
               Troels Andreasen},
  title     = {Flexible Query-Answering Systems, Proceedings of the 1996 Workshop,
               FQAS'96, Roskilde, Denmark, May 22-24, 1996},
  series    = {Datalogiske Skrifter (Writings on Computer Science)},
  volume    = {62},
  publisher = {Roskilde University},
  year      = {1996},
  timestamp = {Thu, 08 Jun 2017 18:10:44 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fqas/1996},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iclp/1996,
  editor    = {Michael J. Maher},
  title     = {Logic Programming, Proceedings of the 1996 Joint International Conference
               and Symposium on Logic Programming, Bonn, Germany, September 2-6,
               1996},
  publisher = {{MIT} Press},
  year      = {1996},
  url       = {http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267515},
  isbn      = {0-262-63173-3},
  timestamp = {Thu, 17 Aug 2017 12:43:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iclp/1996},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iclp/1995,
  editor    = {Leon Sterling},
  title     = {Logic Programming, Proceedings of the Twelfth International Conference
               on Logic Programming, Tokyo, Japan, June 13-16, 1995},
  publisher = {{MIT} Press},
  year      = {1995},
  isbn      = {0-262-69177-9},
  timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iclp/1995},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/slp/1995,
  editor    = {John W. Lloyd},
  title     = {Logic Programming, Proceedings of the 1995 International Symposium,
               Portland, Oregon, USA, December 4-7, 1995},
  publisher = {{MIT} Press},
  year      = {1995},
  url       = {http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276853},
  isbn      = {0-262-62099-5},
  timestamp = {Thu, 17 Aug 2017 12:56:40 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/slp/1995},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/agp/1994-2,
  editor    = {Mar{\'{\i}}a Alpuente and
               Roberto Barbuti and
               Isidro Ramos},
  title     = {1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Pe{\~{n}}iscola,
               Spain, September 19-22, 1994, Volume 2},
  year      = {1994},
  timestamp = {Wed, 01 Dec 2004 15:33:41 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/agp/1994-2},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iclp/1994w10,
  editor    = {Roy Dyckhoff and
               Lars{-}Henrik Eriksson and
               Alberto Momigliano and
               Mario Ornaghi},
  title     = {{ICLP} 1994, Workshop {W10:} Proof-Theoretical Extensions on Logic
               Programming, Santa Margherita Ligure, Italy, June 1994},
  year      = {1994},
  timestamp = {Mon, 02 Dec 2013 17:40:45 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iclp/1994w10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iclp/1994,
  editor    = {Pascal Van Hentenryck},
  title     = {Logic Programming, Proceedings of the Eleventh International Conference
               on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994},
  publisher = {{MIT} Press},
  year      = {1994},
  isbn      = {0-262-72022-1},
  timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iclp/1994},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iclp/1994w12,
  editor    = {Carlo Biagioli and
               Giovanni Sartor and
               Daniela Tiscornia},
  title     = {{ICLP} 1994 Workshop {W12:} Legal Application of Logic Programming,
               Santa Margherita Ligure, Italy, June 1994},
  year      = {1994},
  timestamp = {Mon, 02 Dec 2013 17:40:43 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iclp/1994w12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/jelia/1994,
  editor    = {Craig MacNish and
               David Pearce and
               Lu{\'{\i}}s Moniz Pereira},
  title     = {Logics in Artificial Intelligence, European Workshop, {JELIA} '94,
               York, UK, September 5-8, 1994, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {838},
  publisher = {Springer},
  year      = {1994},
  url       = {https://doi.org/10.1007/BFb0021960},
  doi       = {10.1007/BFb0021960},
  isbn      = {3-540-58332-7},
  timestamp = {Sat, 20 May 2017 15:32:53 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/jelia/1994},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/nmelp/1994,
  editor    = {J{\"{u}}rgen Dix and
               Lu{\'{\i}}s Moniz Pereira and
               Teodor C. Przymusinski},
  title     = {Non-Monotonic Extensions of Logic Programming (NMELP'94), {ICLP} '94
               Workshop, Santa Margherita Ligure, Italy, June 17, 1994, Selected
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {927},
  publisher = {Springer},
  year      = {1995},
  url       = {https://doi.org/10.1007/BFb0030655},
  doi       = {10.1007/BFb0030655},
  isbn      = {3-540-59467-1},
  timestamp = {Sat, 20 May 2017 15:32:49 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/nmelp/1994},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/slp/1994,
  editor    = {Maurice Bruynooghe},
  title     = {Logic Programming, Proceedings of the 1994 International Symposium,
               Ithaca, New York, USA, November 13-17, 1994},
  publisher = {{MIT} Press},
  year      = {1994},
  isbn      = {0-262-52191-1},
  timestamp = {Wed, 04 Dec 2013 14:42:58 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/slp/1994},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/agp/1993,
  editor    = {Domenico Sacc{\`{a}}},
  title     = {8th Italian Conference on Logic Programming, GULP'93, Gizzeria, Italy,
               June 15-18, 1993},
  year      = {1993},
  timestamp = {Thu, 02 Dec 2004 11:00:44 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/agp/1993},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/1993,
  editor    = {Lu{\'{\i}}s Moniz Pereira and
               Anil Nerode},
  title     = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
               Second International Workshop, Lisbon, Portugal, June 1993},
  publisher = {{MIT} Press},
  year      = {1993},
  isbn      = {0-262-66083-0},
  timestamp = {Mon, 20 Mar 2017 14:37:29 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lpnmr/1993},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/meta/1992,
  editor    = {Alberto Pettorossi},
  title     = {Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala,
               Sweden, June 10-12, 1992, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {649},
  publisher = {Springer},
  year      = {1992},
  url       = {https://doi.org/10.1007/3-540-56282-6},
  doi       = {10.1007/3-540-56282-6},
  isbn      = {3-540-56282-6},
  timestamp = {Sat, 20 May 2017 15:32:52 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/meta/1992},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/aiia/1991,
  editor    = {Edoardo Ardizzone and
               Salvatore Gaglio and
               Filippo Sorbello},
  title     = {Trends in Artificial Intelligence, 2nd Congress of the Italian Association
               for Artificial Intelligence, AI*IA, Palermo, Italy, October, 29-31,
               1991, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {549},
  publisher = {Springer},
  year      = {1991},
  url       = {https://doi.org/10.1007/3-540-54712-6},
  doi       = {10.1007/3-540-54712-6},
  isbn      = {3-540-54712-6},
  timestamp = {Sat, 20 May 2017 15:32:53 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aiia/1991},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lpar/1991,
  editor    = {Andrei Voronkov},
  title     = {Logic Programming, First Russian Conference on Logic Programming,
               Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference
               on Logic Programming, St. Petersburg, Russia, September 11-16, 1991,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {592},
  publisher = {Springer},
  year      = {1992},
  url       = {https://doi.org/10.1007/3-540-55460-2},
  doi       = {10.1007/3-540-55460-2},
  isbn      = {3-540-55460-2},
  timestamp = {Sat, 20 May 2017 15:32:54 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lpar/1991},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/1990,
  editor    = {V. Wiktor Marek and
               Anil Nerode and
               Dino Pedreschi and
               V. S. Subrahmanian},
  title     = {Proceedings of the Workshop Logic Programming and Non-Monotonic Logic,
               Austin, TX, USA, November 1-2, 1990},
  year      = {1990},
  timestamp = {Mon, 20 Mar 2017 14:37:29 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lpnmr/1990},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iclp/1989,
  editor    = {Giorgio Levi and
               Maurizio Martelli},
  title     = {Logic Programming, Proceedings of the Sixth International Conference,
               Lisbon, Portugal, June 19-23, 1989},
  publisher = {{MIT} Press},
  year      = {1989},
  isbn      = {0-262-62065-0},
  timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iclp/1989},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier