Marcello Balduccini (2007):
Modules and signature declarations for a-prolog: Progress report.
Workshop on Software Engineering for Answer Set Programming (SEA’07),
pp. 41–55.
Chitta Baral, Juraj Dzifcak & Hiro Takahashi (2006):
Macros, macro calls and use of ensembles in modular answer set programming.
In: Logic Programming.
Springer,
pp. 376–390,
doi:10.1007/11799573_28.
Gerhard Brewka & Thomas Eiter (2007):
Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems.
In: Proc. of the 22nd AAAI Conf. on Artificial Intelligence.
AAAI Press,
pp. 385–390.
Available at http://www.aaai.org/Library/AAAI/2007/aaai07-060.php.
Gerhard Brewka, Thomas Eiter & Michael Fink (2011):
Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources.
In: Marcello Balduccini & Tran Cao Son: Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday,
Lecture Notes in Computer Science 6565.
Springer,
pp. 233–258,
doi:10.1007/978-3-642-20832-4_16.
Gerhard Brewka, Stefan Ellmauthaler & Jörg Pührer (2014):
Multi-Context Systems for Reactive Reasoning in Dynamic Environments.
In: Torsten Schaub: ECAI 2014, Proc. of the 21st European Conf. on Artificial Intelligence.
IJCAI/AAAI,
pp. 159–164,
doi:10.1016/j.artint.2017.11.007.
Pedro Cabalar, Stefania Costantini, Giovanni De Gasperis & Andrea Formisano (2019):
Multi-context systems in dynamic environments.
Ann. Math. Artif. Intell. 86(1-3),
pp. 87–120,
doi:10.1007/s10472-019-09622-0.
S. Costantini (2011):
Answer Set Modules for Logical Agents.
In: Oege de Moor, Georg Gottlob, Tim Furche & Andrew Jon Sellers: Datalog Reloaded - First Intl. Workshop, Datalog 2010, Revised Selected Papers,
Lecture Notes in Computer Science 6702.
Springer,
pp. 37–58,
doi:10.1007/978-3-642-24206-9_3.
S. Costantini & A. Tocchio (2002):
A logic programming language for multi-agent systems.
In: Logics in Artificial Intelligence, Proc. of the 8th Europ. Conf.,JELIA 2002,
LNAI 2424.
Springer-Verlag, Berlin,
pp. 1–13,
doi:10.1007/3-540-45757-7_1.
S. Costantini & A. Tocchio (2004):
The DALI logic programming agent-oriented language.
In: Logics in Artificial Intelligence, Proc. of the 9th European Conf., Jelia 2004,
LNAI 3229.
Springer-Verlag, Berlin,
pp. 685–688,
doi:10.1007/978-3-540-30227-8_57.
S. Costantini & A. Tocchio (2006):
ABout declarative semantics of logic-based agent languages.
In: Declarative Agent Languages and Technologies,
LNAI 3229.
Springer-Verlag, Berlin,
doi:10.1007/11691792_7.
Stefania Costantini (2006):
On the existence of stable models of non-stratified logic programs.
Theory and Practice of Logic Programming 6(1-2),
doi:10.1017/S1471068405002589.
Stefania Costantini (2019):
About Epistemic Negation and World Views in Epistemic Logic Programs.
Theory Pract. Log. Program. 19(5-6),
pp. 790–807,
doi:10.1017/S147106841900019X.
Stefania Costantini & Andrea Formisano (2013):
Negation as a Resource: A Novel View on Answer Set Semantics.
In: Pedro Cabalar & Tran Cao Son: Logic Programming and Nonmonotonic Reasoning, 12th Intl. Conf., LPNMR 2013,
Lecture Notes in Computer Science 8148.
Springer,
pp. 257–263,
doi:10.3233/FI-2015-1255.
Stefania Costantini & Andrea Formisano (2016):
Query answering in resource-based answer set semantics.
Theory and Practice of Logic Programming 16(5-6),
pp. 619–635,
doi:10.1017/S1471068416000478.
Minh Dao-Tran, Thomas Eiter, Michael Fink & Thomas Krennwallner (2009):
Modular nonmonotonic logic programming revisited.
In: Logic Programming.
Springer,
pp. 145–159,
doi:10.1007/978-3-642-02846-5_16.
Giovanni De Gasperis, Stefania Costantini & Giulio Nazzicone (2014):
DALI Multi Agent Systems Framework, DOI 10.5281/zenodo.11042.
DALI GitHub Software Repository.
DALI: 101210\p@ plus2\p@ minus5\p@ \z@ plus3\p@ 6\p@ plus3\p@ minus3\p@ \defłeftmarginłeftmargini 2.5\p@ plus1.5\p@ minus\p@ 5\p@ plus2\p@ minus5\p@ıtemsep 2.5\p@ plus1.5\p@ minus\p@łeftmarginłeftmargini 6\p@ plus2\p@ minus2\p@ 3\p@ plus2\p@ minus\p@ıtemsep http://github.com/AAAI-DISIM-UnivAQ/DALI.
Lorenzo De Lauretis (2019):
From Monolithic Architecture to Microservices Architecture.
In: 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).
IEEE,
pp. 93–96,
doi:10.1109/ISSREW.2019.00050.
Nicola Dragoni, Saverio Giallorenzo, Alberto Lluch Lafuente, Manuel Mazzara, Fabrizio Montesi, Ruslan Mustafin & Larisa Safina (2017):
Microservices: yesterday, today, and tomorrow.
In: Present and ulterior software engineering.
Springer,
pp. 195–216,
doi:10.1007/978-3-319-67425-4_12.
Abeer Dyoub, Stefania Costantini & Giovanni De Gasperis (2018):
Answer set programming and agents.
Knowledge Eng. Review 33,
pp. e19,
doi:10.1017/S0269888918000164.
Thomas Eiter, Georg Gottlob & Helmut Veith (1997):
Modular logic programming and generalized quantifiers.
In: Logic Programming and Nonmonotonic Reasoning.
Springer,
pp. 289–308,
doi:10.1007/3-540-63255-7_22.
Wolfgang Faber & Stefan Woltran (2009):
Manifold answer-set programs for meta-reasoning.
In: Logic Programming and Nonmonotonic Reasoning.
Springer,
pp. 115–128,
doi:10.1007/978-3-642-04238-6_12.
Haim Gaifman & Ehud Shapiro (1989):
Fully abstract compositional semantics for logic programs.
In: Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages.
ACM,
pp. 134–142,
doi:10.1145/75277.75289.
Giovambattista Ianni, Giuseppe Ielpa, Adriana Pietramala, Maria Carmela Santoro & Francesco Calimeri (2004):
Enhancing answer set programming with templates..
In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Proceedings,
pp. 233–239.
Pooyan Jamshidi, Claus Pahl, Nabor C. Mendonça, James Lewis & Stefan Tilkov (2018):
Microservices: The Journey So Far and Challenges Ahead.
IEEE Software 35(3),
pp. 24–35,
doi:10.1109/MS.2018.2141039.
Tomi Janhunen, Emilia Oikarinen, Hans Tompits & Stefan Woltran (2009):
Modularity aspects of disjunctive stable models.
Journal of Artificial Intelligence Research,
pp. 813–857,
doi:10.1613/jair.2810.
Petar Krivic, Pavle Skocir, Mario Kusek & Gordan Jezic (2017):
Microservices as agents in IoT systems.
In: KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications.
Springer,
pp. 22–31,
doi:10.1007/978-3-319-59394-4_3.
Christine Legner & Roger Heutschi (2007):
SOA adoption in practice-findings from early SOA implementations.
Association for Information Systems.
Yuliya Lierler & Miroslaw Truszczyński (2013):
Modular answer set solving.
Late-Breaking Developments in the Field of Artificial Intelligence, AAAI WS-13-17.
Vladimir Lifschitz (2008):
Twelve Definitions of a Stable Model.
In: Maria Garcia de la Banda & Enrico Pontelli: Proc. of the 24th Intl.+.1667em Conf. on Logic Programming,
LNCS 5366.
Springer,
pp. 37–51,
doi:10.1007/978-3-540-89982-2_8.
Vladimir Lifschitz & Hudson Turner (1994):
Splitting a Logic Program..
In: Logic Programming, Proceedings of the Eleventh International Conference on Logic Programming 94.
MIT Press,
pp. 23–37.
Emilia Oikarinen (2008):
Modularity in answer set programs.
Helsinki University of Technology, Finland.
Yi-Dong Shen & Thomas Eiter (2016):
Evaluating epistemic negation in answer set programming.
Artificial Intelligence 237,
pp. 115–135,
doi:10.1016/j.artint.2016.04.004.
Luis Tari, Chitta Baral & Saadat Anwar (2005):
A Language for Modular Answer Set Programming: Application to ACC Tournament Scheduling..
In: Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 3rd Intl. ASP'05 Workshop,
CEUR Workshop Proceedings 142.
CEUR-WS.org.
eptcs@eptcs.org