{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,21]],"date-time":"2026-09-21T18:14:04Z","timestamp":1790014444199,"version":"4.0.1"},"reference-count":124,"publisher":"Oxford University Press (OUP)","issue":"2","license":[{"start":{"date-parts":[[2022,1,25]],"date-time":"2022-01-25T00:00:00Z","timestamp":1643068800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,2,26]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Autonomous intelligent agents are employed in many applications upon which the life and welfare of living beings and vital social functions may depend. Therefore, agents should be trustworthy. A priori certification techniques (i.e. techniques applied prior to system\u2019s deployment) can be useful, but are not sufficient for agents that evolve, and thus modify their epistemic and belief state, and for open multi-agent systems, where heterogeneous agents can join or leave the system at any stage of its operation. In this paper, we propose\/refine\/extend dynamic (runtime) logic-based self-checking techniques, devised in order to be able to ensure agents\u2019 trustworthy and ethical behaviour.<\/jats:p>","DOI":"10.1093\/logcom\/exab091","type":"journal-article","created":{"date-parts":[[2021,12,28]],"date-time":"2021-12-28T20:27:11Z","timestamp":1640723231000},"page":"443-478","source":"Crossref","is-referenced-by-count":4,"title":["Ensuring trustworthy and ethical behaviour in intelligent logical agents"],"prefix":"10.1093","volume":"32","author":[{"given":"Stefania","family":"Costantini","sequence":"first","affiliation":[{"name":"Universit\u00e0 degli Studi dell\u2019Aquila Dipartimento di Ingegneria e Scienze dell\u2019Informazione, e Matematica, Via Vetoio snc, Loc. Coppito, I-67010 L\u2019Aquila, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"286","published-online":{"date-parts":[[2022,1,25]]},"reference":[{"key":"2022022805591254300_ref1","article-title":"Human compatible: AI and the problem of control","author":"Russel","year":"2019","journal-title":"Viking"},{"key":"2022022805591254300_ref2","first-page":"33","article-title":"A survey of programming languages and platforms for multi-agent systems","volume":"30","author":"Bordini","year":"2006","journal-title":"Informatica (Slovenia)"},{"key":"2022022805591254300_ref3","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1016\/B978-0-12-809633-8.20328-2","article-title":"Intelligent agents: Multi-agent systems","volume-title":"Encyclopedia of Bioinformatics and Computational Biology: Volume 1","author":"Garro","year":"2019"},{"key":"2022022805591254300_ref4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s10458-020-09478-3","article-title":"Logic-based technologies for multi-agent systems: A systematic literature review","volume":"35","author":"Calegari","year":"2021","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"2022022805591254300_ref5","first-page":"473","article-title":"Modeling rational agents within a BDI-architecture","volume-title":"Proc. of the Second Int. Conf. on Principles of Knowledge Representation and Reasoning (KR\u201991)","author":"Rao","year":"1991"},{"key":"2022022805591254300_ref6","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1086\/599985","article-title":"Intention, practical rationality, and self-governance","volume":"119","author":"Bratman","year":"2009","journal-title":"Ethics"},{"key":"2022022805591254300_ref7","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1109\/MC.2015.205","article-title":"Self-aware and self-expressive systems","volume":"48","author":"T\u00f8rresen","year":"2015","journal-title":"IEEE Computer"},{"key":"2022022805591254300_ref8","article-title":"Report on DARPA workshop on self aware computer systems","volume-title":"Technical Report","author":"Amir","year":"2007"},{"key":"2022022805591254300_ref9","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1093\/logcom\/exh034","article-title":"Logic, self-awareness and self-improvement: The metacognitive loop and the problem of brittleness","volume":"15","author":"Anderson","year":"2005","journal-title":"Journal of Logic and Computation"},{"key":"2022022805591254300_ref10","doi-asserted-by":"crossref","DOI":"10.1016\/B978-0-444-88074-1.50021-4","article-title":"Temporal and modal logic","volume-title":"Handbook of Theoretical Comp. Sc., Vol. B","author":"Emerson","year":"1990"},{"key":"2022022805591254300_ref11","first-page":"128","article-title":"Foundations for restraining bolts: Reinforcement learning with LTLf\/LDLf restraining specifications","volume-title":"Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, ICAPS 2018","author":"De Giacomo","year":"2019"},{"key":"2022022805591254300_ref12","article-title":"Ensuring agent properties under arbitrary sequences of incoming events","volume-title":"CEUR Workshop Proceedings 616","author":"Costantini","year":"2010"},{"key":"2022022805591254300_ref13","article-title":"Self-checking logical agents","volume-title":"Proc. of LA-NMR 2012","author":"Costantini","year":"2012"},{"key":"2022022805591254300_ref14","first-page":"1329","article-title":"Self-checking logical agents","volume-title":"Intl. Conf. on Autonomous Agents and Multi-Agent Systems, AAMAS \u201813, Proc. IFAAMAS","author":"Costantini","year":"2013"},{"key":"2022022805591254300_ref15","article-title":"Trustworthiness and safety for intelligent ethical logical agents via interval temporal logic and runtime self-checking","volume-title":"2018 AAAI Spring Symposia","author":"Costantini","year":"2018"},{"key":"2022022805591254300_ref16","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1109\/MTS.2018.2857638","article-title":"Ethics of robotic deception [opinion]","volume":"37","author":"Arkin","year":"2018","journal-title":"IEEE Technology and Society Magazine"},{"key":"2022022805591254300_ref17","volume-title":"Foundations of Logic Pr","author":"Lloyd","year":"1987"},{"key":"2022022805591254300_ref18","doi-asserted-by":"crossref","DOI":"10.1007\/s10458-020-09487-2","article-title":"Towards a framework for certification of reliable autonomous systems","volume":"35","author":"Fisher","year":"2021","journal-title":"Autonomous Agents and Multi Agent Systems"},{"key":"2022022805591254300_ref19","first-page":"639","article-title":"Model checking: Software and beyond","volume":"13","author":"Clarke","year":"2007","journal-title":"Journal of Universal Computer Science"},{"key":"2022022805591254300_ref20","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-10575-8","volume-title":"Handbook of Model Checking","author":"Clarke","year":"2018"},{"key":"2022022805591254300_ref21","first-page":"238","article-title":"Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints","volume-title":"Conf. Record of the Fourth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Pr. Languages","author":"Cousot","year":"1977"},{"key":"2022022805591254300_ref22","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-6984-2_10","article-title":"The cognitive agents specification language and verification environment","author":"Shapiro","year":"2010"},{"key":"2022022805591254300_ref23","first-page":"19","article-title":"The cognitive agents specification language and verification environment for multiagent systems","volume-title":"Proc. of the First Int. Joint Conf. on Autonomous Agents and Multiagent Systems, AAMAS \u201802","author":"Shapiro","year":"2002"},{"key":"2022022805591254300_ref24","first-page":"279","article-title":"The model checker spin","volume":"199","author":"Holzmann","journal-title":"IEEE Transactions on Software Engineering"},{"key":"2022022805591254300_ref25","first-page":"189","article-title":"Model checking multi-agent systems","volume":"29","author":"Bourahla","year":"2005","journal-title":"Informatica (Slovenia)"},{"key":"2022022805591254300_ref26","first-page":"638","article-title":"Verification of multiagent systems via unbounded model checking","volume-title":"Proc. of the Third Int. Joint Conf. on Autonomous Agents and Multiagent Systems, AAMAS \u201804","author":"Kacprzak","year":"2004"},{"key":"2022022805591254300_ref27","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-3190-6","volume-title":"Symbolic Model Checking","author":"McMillan","year":"1993"},{"key":"2022022805591254300_ref28","volume-title":"Design and Validation of Computer Protocols","author":"Holzmann","year":"1991"},{"key":"2022022805591254300_ref29","first-page":"1","article-title":"Branching vs. linear time: Final showdown","volume-title":"Proc. of the 2001 Conf. on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2001","author":"Vardi","year":"2001"},{"key":"2022022805591254300_ref30","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/s10009-010-0140-3","article-title":"LTL satisfiability checking","volume":"12","author":"Rozier","year":"2010","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"2022022805591254300_ref31","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/j.cosrev.2010.06.002","article-title":"Linear temporal logic symbolic model checking","volume":"5","author":"Rozier","year":"2011","journal-title":"Computer Science Review"},{"key":"2022022805591254300_ref32","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/j.jal.2005.12.009","article-title":"Verifiable agent dialogues","volume":"5","author":"Walton","year":"2007","journal-title":"Journal of Applied Logics"},{"key":"2022022805591254300_ref33","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/s10458-006-5955-7","article-title":"Verifying multi-agent programs by model checking","volume":"12","author":"Bordini","year":"2006","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"2022022805591254300_ref34","article-title":"Distributed BDD-based BMC for the verification of multi-agent systems","volume-title":"Proc. of the 9th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2010)","author":"Jones","year":"2010"},{"key":"2022022805591254300_ref35","first-page":"440","article-title":"Verification from declarative specifications using logic programming","volume-title":"24th Int. Conf. on Logic Programming (ICLP\u201908)","author":"Montali","year":"2008"},{"key":"2022022805591254300_ref36","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/s10009-015-0378-x","article-title":"MCMAS: An open-source model checker for the verification of multi-agent systems","volume":"19","author":"Lomuscio","year":"2017","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"2022022805591254300_ref37","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-45133-4_10","article-title":"Bounded model checking for interpreted systems: Preliminary experimental results","volume-title":"Proc. of FAABS II","author":"Lomuscio","year":"2003"},{"key":"2022022805591254300_ref38","first-page":"114","article-title":"Symbolic model checking multi-agent systems against CTL$\\ast $K specifications","volume-title":"Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017","author":"Kong","year":"2017"},{"key":"2022022805591254300_ref39","first-page":"409","article-title":"Model checking AgentSpeak","volume-title":"Proc. of the Second Int. Joint Conf. on Autonomous Agents and Multiagent Systems AAMAS03","author":"Fisher","year":"2003"},{"key":"2022022805591254300_ref40","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1023\/A:1022920129859","article-title":"Model checking programs","volume":"10","author":"Visser","year":"2003","journal-title":"Automated Software Engineering"},{"key":"2022022805591254300_ref41","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/s10515-014-0168-9","article-title":"Practical verification of decision-making in agent-based autonomous systems","volume":"23","author":"Dennis","year":"2016","journal-title":"Automated Software Engineering"},{"key":"2022022805591254300_ref42","doi-asserted-by":"crossref","first-page":"617","DOI":"10.21105\/joss.00617","article-title":"The MCAPL framework including the agent infrastructure layer an agent java pathfinder","volume":"3","author":"Dennis","year":"2018","journal-title":"Journal of Open Source Software"},{"key":"2022022805591254300_ref43","first-page":"11470","article-title":"Verifiable machine ethics in changing contexts","volume-title":"Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event","author":"Dennis","year":"2021"},{"key":"2022022805591254300_ref44","first-page":"238","article-title":"A dialogue games framework for the operational semantics of logic agent-oriented languages","volume-title":"Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI","author":"Costantini","year":"2010"},{"key":"2022022805591254300_ref45","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45757-7_1","article-title":"A logic programming language for multi-agent systems","volume-title":"Logics in Artificial Intelligence, European Conference, JELIA 2002","author":"Costantini","year":"2002"},{"key":"2022022805591254300_ref46","first-page":"685","article-title":"The DALI logic programming agent-oriented language","volume-title":"Logics in Artificial Intelligence, 9th European Conference, JELIA 2004","author":"Costantini","year":"2004"},{"key":"2022022805591254300_ref47","first-page":"106","article-title":"About declarative semantics of logic-based agent languages","volume-title":"Declarative Agent Languages and Technologies III, Third Intl. Works. DALT 2005, Selected and Revised Papers","author":"Costantini","year":"2006"},{"key":"2022022805591254300_ref48","article-title":"Dali multi agent systems framework","author":"De Gasperis"},{"key":"2022022805591254300_ref49","volume-title":"Multi-Agent Systems in Comp. Logic","author":"Tocchio","year":"2005"},{"key":"2022022805591254300_ref50","article-title":"Identifying incorrect behavior: The impact of behavior models on detectable error manifestations","volume-title":"Proc. of the Fourteenth Conf. on Behavior Representation in Modeling and Simulation (BRIMS-05)","author":"Wallace","year":"2005"},{"key":"2022022805591254300_ref51","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1007\/978-3-319-48869-1_2","article-title":"Specification: The biggest bottleneck in formal methods and autonomy","volume-title":"Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Revised Selected Papers","author":"Rozier","year":"2016"},{"key":"2022022805591254300_ref52","first-page":"263","article-title":"Verifying and validating autonomous systems: Towards an integrated approach","volume-title":"Runtime Verification: 18th International Conference, RV 2018","author":"Ferrando","year":"2018"},{"key":"2022022805591254300_ref53","first-page":"43","article-title":"On enactability of agent interaction protocols: Towards a unified approach","volume-title":"Engineering Multi-Agent Systems: 7th International Workshop, EMAS 2019, Revised Selected Papers","author":"Ferrando","year":"2019"},{"key":"2022022805591254300_ref54","doi-asserted-by":"crossref","first-page":"160","DOI":"10.1016\/j.scico.2018.11.008","article-title":"The early bird catches the worm: First verify, then monitor!","volume":"172","author":"Ferrando","year":"2019","journal-title":"Science of Computer Programming"},{"key":"2022022805591254300_ref55","article-title":"From model checking to runtime verification and back","author":"Kejstov\u00e1","year":"2018","journal-title":"CoRR"},{"key":"2022022805591254300_ref56","doi-asserted-by":"crossref","first-page":"509","DOI":"10.1109\/JPROC.2019.2900622","article-title":"Machine ethics: The design and governance of ethical AI and autonomous systems","volume":"107","author":"Winfield","year":"2019","journal-title":"Proceedings of the IEEE"},{"key":"2022022805591254300_ref57","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1080\/09528130050111428","article-title":"Prolegomena to any future artificial moral agent","volume":"12","author":"Allen","year":"2000","journal-title":"Journal of Experimental and Theoretical Artificial Intelligence"},{"key":"2022022805591254300_ref58","doi-asserted-by":"crossref","first-page":"9","DOI":"10.29173\/irie134","article-title":"What should we want from a robot ethic?","volume":"6","author":"Asaro","year":"2006","journal-title":"International Review of Information Ethics"},{"key":"2022022805591254300_ref59","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/s10676-006-0004-4","article-title":"Artificial morality: Top-down, bottom-up, and hybrid approaches","volume":"7","author":"Allen","year":"2005","journal-title":"Ethics and Information Technology"},{"key":"2022022805591254300_ref60","first-page":"87","article-title":"The Dartmouth College artificial intelligence conference: The next fifty years","volume":"27","author":"Moor","year":"2006","journal-title":"AI Magazine"},{"key":"2022022805591254300_ref61","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1109\/MIS.2006.77","article-title":"Prospects for a kantian machine","volume":"21","author":"Powers","year":"2006","journal-title":"IEEE Intelligent Systems"},{"key":"2022022805591254300_ref62","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1109\/MIS.2006.64","article-title":"An approach to computing ethics","volume":"21","author":"Anderson","year":"2006","journal-title":"IEEE Intelligent Systems"},{"key":"2022022805591254300_ref63","volume-title":"Towards Ethical Chatbots: Evaluating the Ethical Behavior of Employees in Customer Service Online Chat","author":"Dyoub","year":"2019"},{"key":"2022022805591254300_ref64","article-title":"Landscape of machine implemented ethics","author":"Nallur","year":"2020","journal-title":"CoRR"},{"key":"2022022805591254300_ref65","first-page":"6","article-title":"Logic programming and machine ethics","volume-title":"Proceedings 36th International Conference on Logic Programming, ICLP2020 Technical Communications","author":"Dyoub","year":"2020"},{"key":"2022022805591254300_ref66","doi-asserted-by":"crossref","first-page":"132:1","DOI":"10.1145\/3419633","article-title":"Implementations in machine ethics: A survey","volume":"53","author":"Tolmeijer","year":"2021","journal-title":"ACM Computing Surveys"},{"key":"2022022805591254300_ref67","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-29354-7","volume-title":"Programming Machine Ethics","author":"Pereira","year":"2016"},{"key":"2022022805591254300_ref68","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-030-39630-5","volume-title":"Machine Ethics: From Machine Morals to the Machinery of Morality","author":"Pereira","year":"2020"},{"key":"2022022805591254300_ref69","first-page":"222","article-title":"The deontic component of action language nC+","volume-title":"Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science, DEON 2006","author":"Sergot","year":"2006"},{"key":"2022022805591254300_ref70","first-page":"1","article-title":"Action and agency in norm-governed multi-agent systems","volume-title":"Engineering Societies in the Agents World VIII, 8th International Workshop, ESAW 2007, Revised Selected Papers","author":"Sergot","year":"2007"},{"key":"2022022805591254300_ref71","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1459010.1459011","article-title":"Specifying norm-governed computational societies","volume":"10","author":"Artikis","year":"2009","journal-title":"ACM Transactions on Computational Logic"},{"key":"2022022805591254300_ref72","first-page":"2","article-title":"Norms, action and agency in multi-agent systems","volume-title":"Deontic Logic in Computer Science, 10th International Conference, DEON 2010","author":"Sergot","year":"2010"},{"key":"2022022805591254300_ref73","doi-asserted-by":"crossref","DOI":"10.1609\/aimag.v37i3.2669","article-title":"Answer set programming: Special issue","volume":"37","author":"Brewka","year":"2016","journal-title":"AI Magazine"},{"key":"2022022805591254300_ref74","first-page":"1070","article-title":"The stable model semantics for logic programming","volume-title":"Logic Programming, Proceedings of the Fifth International Conference and Symposium","author":"Gelfond","year":"1988"},{"key":"2022022805591254300_ref75","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF03037169","article-title":"Classical negation in logic programs and disjunctive databases","volume":"9","author":"Gelfond","year":"1991","journal-title":"New Generation Computing"},{"key":"2022022805591254300_ref76","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/978-3-642-60085-2_17","article-title":"Stable models and an alternative logic programming paradigm","volume-title":"The Logic Programming Paradigm","author":"Marek","year":"1999"},{"key":"2022022805591254300_ref77","first-page":"23","article-title":"Answer set planning","volume-title":"Logic Programming: The 1999 International Conference","author":"Lifschitz","year":"1999"},{"key":"2022022805591254300_ref78","first-page":"5450","article-title":"Evaluation techniques and systems for answer set programming: A survey","volume-title":"Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI-18, International Joint Conferences on Artificial Intelligence Organization","author":"Gebser","year":"2018"},{"key":"2022022805591254300_ref79","first-page":"1106","article-title":"Ethical judgment of agents\u2019 behaviors in multi-agent systems","volume-title":"Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems","author":"Cointe","year":"2016"},{"key":"2022022805591254300_ref80","first-page":"96","article-title":"A declarative modular framework for representing and applying ethical principles","volume-title":"Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017","author":"Berreby","year":"2017"},{"key":"2022022805591254300_ref81","first-page":"147","article-title":"Event-based and scenario-based causality for computational ethics","volume-title":"Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2018","author":"Berreby","year":"2018"},{"key":"2022022805591254300_ref82","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/BF03037383","article-title":"A logic-based calculus of events","volume":"4","author":"Kowalski","year":"1986","journal-title":"New Generation Computing"},{"key":"2022022805591254300_ref83","first-page":"11470","article-title":"Verifiable machine ethics in changing contexts","volume-title":"Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, 2021","author":"Dennis","year":"2021"},{"key":"2022022805591254300_ref84","first-page":"333","article-title":"Towards ethical machines via logic programming","volume-title":"Proceedings 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 Technical Communications","author":"Dyoub","year":"2019"},{"key":"2022022805591254300_ref85","first-page":"300","article-title":"Learning answer set programming rules for ethical machines","volume-title":"Proceedings of the 34th Italian Conference on Computational Logic","author":"Dyoub","year":"2019"},{"key":"2022022805591254300_ref86","first-page":"300","article-title":"Learning answer set programming rules for ethical machines","volume-title":"Proceedings of the 34th Italian Conference on Computational Logic","author":"Dyoub","year":"2019"},{"key":"2022022805591254300_ref87","first-page":"169","article-title":"Logic-based machine learning for transparent ethical agents","volume-title":"Proceedings of the 35th Italian Conference on Computational Logic\u2014CILC 2020","author":"Dyoub","year":"2020"},{"key":"2022022805591254300_ref88","first-page":"23","article-title":"Analysis of metaprograms","volume-title":"Meta-Programming in Logic Programming","author":"Hill","year":"1988"},{"key":"2022022805591254300_ref89","first-page":"383","article-title":"What is a meta-variable in Prolog?","volume-title":"Meta-Programming in Logic Programming","author":"Barklund","year":"1989"},{"key":"2022022805591254300_ref90","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/3-540-56282-6_6","article-title":"Definable naming relations in meta-level systems","volume-title":"Meta-Programming in Logic","author":"van Harmelen","year":"1992"},{"key":"2022022805591254300_ref91","first-page":"288","article-title":"Semantical properties of encodings in logic programming","volume-title":"Logic Programming: Proc. 1995 Int. Symp.","author":"Barklund","year":"1995"},{"key":"2022022805591254300_ref92","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1093\/oso\/9780198537465.003.0005","article-title":"Meta-languages, reflection principles, and self-reference","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 2: Deduction Methodologies","author":"Perlis","year":"1994"},{"key":"2022022805591254300_ref93","first-page":"288","article-title":"Semantical properties of encodings in logic programming","volume-title":"Logic Programming, Proceedings of the 1995 International Symposium","author":"Barklund","year":"1995"},{"key":"2022022805591254300_ref94","first-page":"253","article-title":"Meta-reasoning: A survey","volume-title":"Comp. Logic: Logic Pr. and beyond, Essays in Honour of Robert A. Kowalski, Part II","author":"Costantini","year":"2002"},{"key":"2022022805591254300_ref95","first-page":"218","article-title":"A metalogic programming language","volume-title":"Logic Programming, Proceedings of the Sixth International Conference","author":"Costantini","year":"1989"},{"key":"2022022805591254300_ref96","first-page":"19","article-title":"Metalevel negation in non-monotonic reasoning","volume-title":"LPNMR: Proceedings of the Workshop on Logic Programming and Non-Monotonic Logic at ICLP","author":"Costantini","year":"1990"},{"key":"2022022805591254300_ref97","doi-asserted-by":"crossref","first-page":"71","DOI":"10.3233\/FI-2021-2051","article-title":"Adding metalogic features to knowledge representation languages","volume":"181","author":"Costantini","year":"2021","journal-title":"Fundamenta Informaticae"},{"key":"2022022805591254300_ref98","doi-asserted-by":"crossref","first-page":"227","DOI":"10.3233\/FI-1995-2233","article-title":"A classification theory of semantics of normal logic programs: I. Strong properties","volume":"22","author":"Dix","year":"1995","journal-title":"Fundamenta Informaticae"},{"key":"2022022805591254300_ref99","first-page":"42","article-title":"AgentSpeak(L): BDI agents speak out in a logical computable language","volume-title":"Agents Breaking Away, 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World","author":"Rao","year":"1996"},{"key":"2022022805591254300_ref100","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/978-0-387-89299-3_4","article-title":"Programming rational agents in goal","volume-title":"Multi-Agent Programming","author":"Hindriks","year":"2009"},{"key":"2022022805591254300_ref101","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/0-387-26350-0_2","article-title":"Programming multi-agent systems in 3APL","volume-title":"Multi-Agent Programming","author":"Dastani","year":"2005"},{"key":"2022022805591254300_ref102","first-page":"300","article-title":"Learning answer set programming rules for ethical machines","volume-title":"CEUR Workshop Proceedings vol. 2396","author":"Dyoub","year":"2019"},{"key":"2022022805591254300_ref103","first-page":"26","article-title":"Towards an ILP application in machine ethics","volume-title":"Inductive Logic Programming: 29th International Conference, ILP 2019","author":"Dyoub","year":"2019"},{"key":"2022022805591254300_ref104","first-page":"333","article-title":"Towards ethical machines via logic programming","volume-title":"Proceedings 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 Technical Communications","author":"Dyoub","year":"2019"},{"key":"2022022805591254300_ref105","first-page":"106","article-title":"About declarative semantics of logic-based agent languages","volume-title":"Declarative Agent Languages and Technologies III, Third International Workshop, DALT 2005, Selected and Revised Papers","author":"Costantini","year":"2006"},{"key":"2022022805591254300_ref106","first-page":"217","article-title":"Reasoning about memory management in resource-bounded agents","volume-title":"Proceedings of the 34th Italian Conference on Computational Logic","author":"Costantini","year":"2019"},{"key":"2022022805591254300_ref107","first-page":"340","article-title":"A temporal module for logical frameworks","volume-title":"Proceedings 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 Technical Communications","author":"Pitoni","year":"2019"},{"key":"2022022805591254300_ref108","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1007\/BFb0031995","article-title":"Timed transition systems","volume-title":"Real-Time: Theory in Practice, REX Works.","author":"Henzinger","year":"1992"},{"key":"2022022805591254300_ref109","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/978-3-642-20895-9_24","article-title":"Weight constraints with preferences in ASP","volume-title":"Logic Programming and Nonmonotonic Reasoning: 11th International Conference, LPNMR 2011","author":"Costantini","year":"2011"},{"key":"2022022805591254300_ref110","first-page":"47","article-title":"Preferences and priorities in ASP","volume-title":"Proceedings of the 9th Italian Convention on Computational Logic","author":"Costantini","year":"2012"},{"key":"2022022805591254300_ref111","first-page":"3","article-title":"Modeling preferences and conditional preferences on resource consumption and production in ASP","volume":"64","author":"Costantini","year":"2009","journal-title":"Journal of Algorithms in Cognition, Informatics and Logic"},{"key":"2022022805591254300_ref112","article-title":"Answer set modules for logical agents","volume-title":"Datalog 2.0","author":"Costantini","year":"2012"},{"key":"2022022805591254300_ref113","first-page":"286","article-title":"DALI: A multi agent system framework for the web, cognitive robotic and complex event processing","volume-title":"Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-Located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N)","author":"Costantini","year":"2017"},{"key":"2022022805591254300_ref114","first-page":"39","article-title":"Communication and trust in the DALI logic programming agent-oriented language","volume":"2","author":"Costantini","year":"2005","journal-title":"Intelligenza Artificiale"},{"key":"2022022805591254300_ref115","article-title":"Sicstus Prolog\u2014the first 25 years","volume":"12","author":"Carlsson","year":"2022","journal-title":"Theory and Practice of Logic Programming"},{"key":"2022022805591254300_ref116","first-page":"286","article-title":"Dali: A multi agent system framework for the web, cognitive robotic and complex event processing","volume-title":"Proceedings of the 32nd Italian Conference on Computational Logic","author":"Costantini","year":"2017"},{"key":"2022022805591254300_ref117","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1007\/978-3-319-51676-9_10","article-title":"DALI for cognitive robotics: Principles and prototype implementation","volume-title":"Practical Aspects of Declarative Languages: 19th International Symposium","author":"Costantini","year":"2017"},{"key":"2022022805591254300_ref118","first-page":"691","article-title":"A normative extension for the BDI agent model","volume-title":"Proceedings of the 17th International Conference on Climbing and Walking Robots and the Support Technologies for Mobile Machines","author":"Tufis","year":"2014"},{"key":"2022022805591254300_ref119","doi-asserted-by":"crossref","first-page":"101","DOI":"10.3233\/IA-2011-0011","article-title":"Modeling and verifying business processes and choreographies through the abductive proof procedure sciff and its extensions","volume":"5","author":"Montali","year":"2011","journal-title":"Intelligenza Artificiale"},{"key":"2022022805591254300_ref120","first-page":"440","article-title":"Verification from declarative specifications using logic programming","volume-title":"24th International Conference on Logic Programming (ICLP\u201908)","author":"Montali","year":"2008"},{"key":"2022022805591254300_ref121","doi-asserted-by":"crossref","first-page":"675","DOI":"10.1093\/logcom\/exn076","article-title":"Rule systems for run-time monitoring: From eagle to ruler","volume":"20","author":"Barringer","year":"2010","journal-title":"Journal of Logic and Computation"},{"key":"2022022805591254300_ref122","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/MIS.2006.82","article-title":"Toward a general logicist methodology for engineering ethically correct robots","volume":"21","author":"Bringsjord","year":"2006","journal-title":"IEEE Intelligent Systems"},{"key":"2022022805591254300_ref123","doi-asserted-by":"crossref","first-page":"597","DOI":"10.1007\/978-3-319-00551-5_71","article-title":"Application of hybrid agents to smart energy management of a prosumer node","volume-title":"Distributed Computing and Artificial Intelligence: 10th International Conference, DCAI 2013","author":"Caianiello","year":"2013"},{"key":"2022022805591254300_ref124","first-page":"21","article-title":"Runtime certification","volume-title":"Runtime Verification, 8th Intl. Works, RV 2008. Selected Papers","author":"Rushby","year":"2008"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/32\/2\/443\/42618022\/exab091.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/32\/2\/443\/42618022\/exab091.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,14]],"date-time":"2023-11-14T22:57:26Z","timestamp":1700002646000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/32\/2\/443\/6513773"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,1,25]]},"references-count":124,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2022,1,25]]},"published-print":{"date-parts":[[2022,2,26]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exab091","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2022,3]]},"published":{"date-parts":[[2022,1,25]]}}}