A social semantics for multi-agent systems
(2005) : Buccafurri, Francesco Caminiti...
DOI: https://doi.org/10.1007/11546207
#social #MAS #logic #rule #semantics #__printed #ASP #answer_set_programming #my_bibtex

Debugging ASP using ILP
(2015) : Li, Tingting et al
url: http://ceur-ws.org/Vol-1433/tc_26.pdf
#inductive_logic #answer_set_programming #debugging #methodology #ASP #my_bibtex

Representing Action and Change By Logic Programs
(1993) : Gelfond, Michael Lifschitz, Vl...
DOI: https://doi.org/10.1016/0743-1066(93)90035-f
#answer_set_programming #action_language #logic #my_bibtex

ASP-Core-2 Input Language Format
(2012) : Calimeri, Francesco et al
url: https://www.mat.unical.it/aspcomp2013/ASPStandardization
#answer_set_programming #standardization #technical_standards #ASP #programming_language #my_bibtex

I-Abm
(2013) : Balke, Tina Vos, Marina De Pad...
DOI: https://doi.org/10.1007/s10506-013-9143-1
#prolog #answer_set_programming #enforcement #ASP #logic #protocol #ABM #institution #sanction #I_ABM #InstaL #ansprolog #framework #MAS #my_bibtex

Representing Action and Change By Logic Programs
(1993) : Gelfond, Michael Lifschitz, Vl...
DOI: https://doi.org/10.1016/0743-1066(93)90035-f
#logic #action_language #answer_set_programming #my_bibtex

Analytics of Game Player Data using Datalog
(2023) : Butler, Eric Bauer, Aaron
url: http://courses.cs.washington.edu/courses/cse544/13sp/final-projects/p03-aaronb22.pdf
#answer_set_programming #scala #datalog #metrics #my_bibtex

Normative Design Using Inductive Learning
(2011) : CORAPI, DOMENICO et al
DOI: https://doi.org/10.1017/S1471068411000305
#answer_set_programming #programming #institution #events #ASP #methods #logic #norms #framework #theory_revision #my_bibtex

A User's Guide To Gringo, Clasp, Clingo, and Iclingo
(2008) : Eiter, Thomas et al
url: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.475.541
#logic #answer_set_programming #clingo #prolog #ansprolog #text_book #my_bibtex

Rule-Based AI in Emergency Response Coordination: Exploring Usage of Rule-Based AI for Complex Emergency Response Coordination
(2022) : Markus Dreyer
url: http://urn.nb.no/URN:NBN:no-98391
#ai #answer_set_programming #delegation #delegation_and_seque
#my_bibtex

Rasp and Asp As a Fragment of Linear Logic
(2013) : Stefania Costantini and Andrea Formisano
DOI: https://doi.org/10.1080/11663081.2013.798997
#ASP #RASP #answer_set_programming #linear_logic #resource_management
#my_bibtex

Multi-shot ASP solving with clingo
(2018) : Martin Gebser and Roland Kaminski and Benjamin Kaufmann and Torsten Schaub
DOI: https://doi.org/10.1017/s1471068418000054
#ASP #answer_set_programming #clingo #logic_programming #multi_shot_solving
#my_bibtex

Representing the Language of the Causal Calculator in Answer Set Programming
(2011) : Casolary, Michael
url: https://hdl.handle.net/2286/R.I.9389
#ASP #action_language #answer_set_programming #c_plus #causal_calculator
#my_bibtex

Reformulating Action Language C+ in Answer Set Programming
(2012) : Joohyung Lee
DOI: https://doi.org/10.1007/978-3-642-30743-0_28
#ASP #action_language #answer_set_programming #c_plus #ccalc
#my_bibtex

Epistemic Multiagent Reasoning with Collaborative Robots
(2022) : Davide Sold{\`a} and Francesco Fabiano and Agostino Dovier
url: http://ceur-ws.org/Vol-3204/
#ASP #MAS #action_language #answer_set_programming #epistemic_logic #planning #robotics
#my_bibtex

Tools and Methodologies for Verifying Answer Set Programs
(2022) : Zach Hansen
DOI: https://doi.org/10.48550/ARXIV.2208.03096
#formal_verification #answer_set_programming #ASP #ANTHEM
#my_bibtex

Complex Reactivity With Preferences in Rule-Based Agents
(2012) : Stefania Costantini and Giovanni De Gasperis
DOI: https://doi.org/10.1007/978-3-642-32689-9_13
#ASP #DALI #__come_back_to #agents #answer_set_programming #modal_logic #preference #reac
#my_bibtex

Answer Set Programming With Resources
(2010) : S. Costantini and A. Formisano
DOI: https://doi.org/10.1093/logcom/exp071
#ASP #answer_set_programming #non_monotonic_logic #programming_langauge_design #quantitative_reasoning
#my_bibtex

Automata Techniques for Temporal Answer Set Programming
(2021) : Susana Hahn
DOI: https://doi.org/10.48550/ARXIV.2109.08279
#answer_set_programming #automata #temporal_logic
#my_bibtex

Editorial: 29th International Conference on Logic Programming Special Issue
(2013) : Evelina Lamma and Terrance Swift
DOI: https://doi.org/10.1017/s1471068413000112
#MAS #answer_set_programming #constraint_programming #constraints #logic_programming
#my_bibtex