@article(service:2015,
 author       = {David Ameller and Xavier Burgu\'es and Oriol Collell and Dolors Costal and Xavier Franch and Mike P. Papazoglou},
 year         = {2015},
 title        = {Development of service-oriented architectures using model-driven development: A mapping study},
 journal      = {Information and Software Technology},
 volume       = {62},
 pages        = {42 -- 66},
 doi          = {10.1016/j.infsof.2015.02.006},
 url          = {http://www.sciencedirect.com/science/article/pii/S0950584915000361},
)
@article(balduccini2007modules,
 author       = {Marcello Balduccini},
 year         = {2007},
 title        = {Modules and signature declarations for a-prolog: Progress report},
 journal      = {Workshop on Software Engineering for Answer Set Programming ({SEA}’07)},
 pages        = {41--55},
)
@incollection(baral2006macros,
 author       = {Chitta Baral and Juraj Dzifcak and Hiro Takahashi},
 year         = {2006},
 title        = {Macros, macro calls and use of ensembles in modular answer set programming},
 booktitle    = {Logic Programming},
 publisher    = {Springer},
 pages        = {376--390},
 doi          = {10.1007/11799573_28},
)
@inproceedings(BrewkaE07,
 author       = {Gerhard Brewka and Thomas Eiter},
 year         = {2007},
 title        = {Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems},
 booktitle    = {Proc. of the 22nd AAAI Conf. on Artificial Intelligence},
 publisher    = {AAAI Press},
 pages        = {385--390},
 url          = {http://www.aaai.org/Library/AAAI/2007/aaai07-060.php},
)
@article(ASPJournal2016,
 author       = {Gerhard Brewka and Thomas Eiter and Miroslaw Truszczynski (eds.)},
 year         = {2016},
 title        = {Answer Set Programming: Special Issue},
 journal      = {{AI} Magazine},
 volume       = {37},
 number       = {3},
 url          = {https://dblp.org/rec/journals/aim/BrewkaEL16.bib},
 doi          = {10.1609/aimag.v37i3.2669},
)
@inproceedings(BrewkaEF11,
 author       = {Gerhard Brewka and Thomas Eiter and Michael Fink},
 year         = {2011},
 title        = {Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources},
 editor       = {Marcello Balduccini and Tran Cao Son},
 booktitle    = {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},
 pages        = {233--258},
 doi          = {10.1007/978-3-642-20832-4_16},
)
@inproceedings(BrewkaEP14,
 author       = {Gerhard Brewka and Stefan Ellmauthaler and J{\"o}rg P{\"u}hrer},
 year         = {2014},
 title        = {Multi-Context Systems for Reactive Reasoning in Dynamic Environments},
 editor       = {Torsten Schaub},
 booktitle    = {ECAI 2014, Proc. of the 21st European Conf. on Artificial Intelligence},
 publisher    = {IJCAI/AAAI},
 pages        = {159--164},
 doi          = {10.1016/j.artint.2017.11.007},
)
@article(CabalarCGF19,
 author       = {Pedro Cabalar and Stefania Costantini and Giovanni De Gasperis and Andrea Formisano},
 year         = {2019},
 title        = {Multi-context systems in dynamic environments},
 journal      = {Ann. Math. Artif. Intell.},
 volume       = {86},
 number       = {1-3},
 pages        = {87--120},
 doi          = {10.1007/s10472-019-09622-0},
)
@incollection(Cos2012ASP-modules,
 author       = {S. Costantini},
 year         = {2011},
 title        = {Answer Set Modules for Logical Agents},
 editor       = {Oege de Moor and Georg Gottlob and Tim Furche and Andrew Jon Sellers},
 booktitle    = {Datalog Reloaded - First Intl. Workshop, Datalog 2010, Revised Selected Papers},
 series       = {Lecture Notes in Computer Science},
 volume       = {6702},
 publisher    = {Springer},
 pages        = {37--58},
 doi          = {10.1007/978-3-642-24206-9_3},
)
@inproceedings(jelia02,
 author       = {S. Costantini and A. Tocchio},
 year         = {2002},
 title        = {A logic programming language for multi-agent systems},
 booktitle    = {Logics in Artificial Intelligence, Proc. of the 8th Europ. Conf.,JELIA 2002},
 series       = {LNAI 2424},
 publisher    = {Springer-Verlag, Berlin},
 pages        = {1--13},
 doi          = {10.1007/3-540-45757-7\_1},
)
@inproceedings(jelia04,
 author       = {S. Costantini and A. Tocchio},
 year         = {2004},
 title        = {The {{DALI}} logic programming agent-oriented language},
 booktitle    = {Logics in Artificial Intelligence, Proc. of the 9th European Conf., Jelia 2004},
 series       = {LNAI 3229},
 publisher    = {Springer-Verlag, Berlin},
 pages        = {685--688},
 doi          = {10.1007/978-3-540-30227-8_57},
)
@incollection(postdalt06,
 author       = {S. Costantini and A. Tocchio},
 year         = {2006},
 title        = {{AB}out declarative semantics of logic-based agent languages},
 booktitle    = {Declarative Agent Languages and Technologies},
 series       = {LNAI 3229},
 publisher    = {Springer-Verlag, Berlin},
 doi          = {10.1007/11691792\_7},
)
@article(Cos06,
 author       = {Stefania Costantini},
 year         = {2006},
 title        = {On the existence of stable models of non-stratified logic programs},
 journal      = {Theory and Practice of Logic Programming},
 volume       = {6},
 number       = {1-2},
 doi          = {10.1017/S1471068405002589},
)
@article(Costantini19,
 author       = {Stefania Costantini},
 year         = {2019},
 title        = {About Epistemic Negation and World Views in Epistemic Logic Programs},
 journal      = {Theory Pract. Log. Program.},
 volume       = {19},
 number       = {5-6},
 pages        = {790--807},
 doi          = {10.1017/S147106841900019X},
)
@inproceedings(CostantiniF13,
 author       = {Stefania Costantini and Andrea Formisano},
 year         = {2013},
 title        = {Negation as a Resource: A Novel View on Answer Set Semantics},
 editor       = {Pedro Cabalar and Tran Cao Son},
 booktitle    = {Logic Programming and Nonmonotonic Reasoning, 12th Intl. Conf., LPNMR 2013},
 series       = {Lecture Notes in Computer Science},
 volume       = {8148},
 publisher    = {Springer},
 pages        = {257--263},
 doi          = {10.3233/FI-2015-1255},
)
@article(CostantiniF16,
 author       = {Stefania Costantini and Andrea Formisano},
 year         = {2016},
 title        = {Query answering in resource-based answer set semantics},
 journal      = {{Theory and Practice of Logic Programming}},
 volume       = {16},
 number       = {5-6},
 pages        = {619--635},
 doi          = {10.1017/S1471068416000478},
)
@incollection(dao2009modular,
 author       = {Dao-Tran, Minh and Thomas Eiter and Michael Fink and Thomas Krennwallner},
 year         = {2009},
 title        = {Modular nonmonotonic logic programming revisited},
 booktitle    = {Logic Programming},
 publisher    = {Springer},
 pages        = {145--159},
 doi          = {10.1007/978-3-642-02846-5_16},
)
@misc(daliDOI,
 author       = {{De Gasperis}, Giovanni and Stefania Costantini and Giulio Nazzicone},
 year         = {2014},
 title        = {DALI Multi Agent Systems Framework, DOI 10.5281/zenodo.11042},
 howpublished = {DALI GitHub Software Repository},
 note         = {{{DALI}:~{\relax\fontsize {10}{12}\selectfont\abovedisplayskip 10\p@ plus2\p@ minus5\p@ \abovedisplayshortskip\z@ plus3\p@ \belowdisplayshortskip6\p@ plus3\p@ minus3\p@ \def\leftmargin \leftmargini\parsep 2.5\p@ plus1.5\p@ minus\p@ \topsep5\p@ plus2\p@ minus5\p@ \itemsep2.5\p@ plus1.5\p@ minus\p@ {\leftmargin\leftmargini \topsep6\p@ plus2\p@ minus2\p@ \parsep3\p@ plus2\p@ minus\p@ \itemsep\parsep }\belowdisplayskip\abovedisplayskip \url{http://github.com/AAAI-DISIM-UnivAQ/DALI}}}},
)
@inproceedings(de2019monolithic,
 author       = {De Lauretis, Lorenzo},
 year         = {2019},
 title        = {From Monolithic Architecture to Microservices Architecture},
 booktitle    = {2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)},
 organization = {IEEE},
 pages        = {93--96},
 doi          = {10.1109/ISSREW.2019.00050},
)
@incollection(dragoni:2017,
 author       = {Nicola Dragoni and Saverio Giallorenzo and Alberto Lluch Lafuente and Manuel Mazzara and Fabrizio Montesi and Ruslan Mustafin and Larisa Safina},
 year         = {2017},
 title        = {Microservices: yesterday, today, and tomorrow},
 booktitle    = {Present and ulterior software engineering},
 publisher    = {Springer},
 pages        = {195--216},
 doi          = {10.1007/978-3-319-67425-4_12},
)
@article(DyoubCG18,
 author       = {Abeer Dyoub and Stefania Costantini and Giovanni De Gasperis},
 year         = {2018},
 title        = {Answer set programming and agents},
 journal      = {Knowledge Eng. Review},
 volume       = {33},
 pages        = {e19},
 doi          = {10.1017/S0269888918000164},
)
@incollection(eiter1997modular,
 author       = {Thomas Eiter and Georg Gottlob and Helmut Veith},
 year         = {1997},
 title        = {Modular logic programming and generalized quantifiers},
 booktitle    = {Logic Programming and Nonmonotonic Reasoning},
 publisher    = {Springer},
 pages        = {289--308},
 doi          = {10.1007/3-540-63255-7_22},
)
@incollection(faber2009manifold,
 author       = {Wolfgang Faber and Stefan Woltran},
 year         = {2009},
 title        = {Manifold answer-set programs for meta-reasoning},
 booktitle    = {Logic Programming and Nonmonotonic Reasoning},
 publisher    = {Springer},
 pages        = {115--128},
 doi          = {10.1007/978-3-642-04238-6_12},
)
@inproceedings(gaifman1989fully,
 author       = {Haim Gaifman and Ehud Shapiro},
 year         = {1989},
 title        = {Fully abstract compositional semantics for logic programs},
 booktitle    = {Proceedings of the 16th {ACM SIGPLAN-SIGACT} symposium on Principles of programming languages},
 organization = {{ACM}},
 pages        = {134--142},
 doi          = {10.1145/75277.75289},
)
@inproceedings(ianni2004enhancing,
 author       = {Giovambattista Ianni and Giuseppe Ielpa and Adriana Pietramala and Maria Carmela Santoro and Francesco Calimeri},
 year         = {2004},
 title        = {Enhancing answer set programming with templates.},
 booktitle    = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004), Proceedings},
 pages        = {233--239},
)
@article(JamshidiPMLT18,
 author       = {Pooyan Jamshidi and Claus Pahl and Mendon{\c{c}}a, Nabor C. and James Lewis and Stefan Tilkov},
 year         = {2018},
 title        = {Microservices: The Journey So Far and Challenges Ahead},
 journal      = {{IEEE} Software},
 volume       = {35},
 number       = {3},
 pages        = {24--35},
 doi          = {10.1109/MS.2018.2141039},
)
@article(janhunen2009modularity,
 author       = {Tomi Janhunen and Emilia Oikarinen and Hans Tompits and Stefan Woltran},
 year         = {2009},
 title        = {Modularity aspects of disjunctive stable models},
 journal      = {Journal of Artificial Intelligence Research},
 pages        = {813--857},
 doi          = {10.1613/jair.2810},
)
@inproceedings(krivic2017microservices,
 author       = {Petar Krivic and Pavle Skocir and Mario Kusek and Gordan Jezic},
 year         = {2017},
 title        = {Microservices as agents in IoT systems},
 booktitle    = {KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications},
 organization = {Springer},
 pages        = {22--31},
 doi          = {10.1007/978-3-319-59394-4_3},
)
@inproceedings(service:2007,
 author       = {Christine Legner and Roger Heutschi},
 year         = {2007},
 title        = {SOA adoption in practice-findings from early SOA implementations},
 organization = {Association for Information Systems},
)
@article(lierler2013modular,
 author       = {Yuliya Lierler and Miroslaw Truszczy{\'n}ski},
 year         = {2013},
 title        = {Modular answer set solving},
 journal      = {Late-Breaking Developments in the Field of Artificial Intelligence, {AAAI}},
 volume       = {{WS-13-17}},
)
@inproceedings(Lifschitz08,
 author       = {Vladimir Lifschitz},
 year         = {2008},
 title        = {Twelve Definitions of a Stable Model},
 editor       = {{Garcia de la Banda}, Maria and Enrico Pontelli},
 booktitle    = {Proc.\ of the 24th Intl.\tmspace+\thinmuskip{.1667em} Conf. on Logic Programming},
 series       = {LNCS},
 volume       = {5366},
 publisher    = {Springer},
 pages        = {37--51},
 doi          = {10.1007/978-3-540-89982-2_8},
)
@inproceedings(lifschitz1994splitting,
 author       = {Vladimir Lifschitz and Hudson Turner},
 year         = {1994},
 title        = {Splitting a Logic Program.},
 booktitle    = {Logic Programming, Proceedings of the Eleventh International Conference on Logic Programming},
 volume       = {94},
 publisher    = {{MIT} Press},
 pages        = {23--37},
)
@phdthesis(oikarinen2008modularity,
 author       = {Emilia Oikarinen},
 year         = {2008},
 title        = {Modularity in answer set programs},
 school       = {Helsinki University of Technology, Finland},
)
@article(ShenE16,
 author       = {Yi{-}Dong Shen and Thomas Eiter},
 year         = {2016},
 title        = {Evaluating epistemic negation in answer set programming},
 journal      = {Artificial Intelligence},
 volume       = {237},
 pages        = {115--135},
 doi          = {10.1016/j.artint.2016.04.004},
)
@inproceedings(tari2005language,
 author       = {Luis Tari and Chitta Baral and Saadat Anwar},
 year         = {2005},
 title        = {A Language for Modular Answer Set Programming: Application to {ACC} Tournament Scheduling.},
 booktitle    = {Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 3rd Intl. {ASP}'05 Workshop},
 series       = {{CEUR} Workshop Proceedings},
 volume       = {142},
 publisher    = {{CEUR-WS}.org},
)