{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,7]],"date-time":"2024-08-07T07:38:06Z","timestamp":1723016286665},"publisher-location":"California","reference-count":0,"publisher":"International Joint Conferences on Artificial Intelligence Organization","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,7]]},"abstract":"<jats:p>The paper proposes a framework for capturing how an agent\u2019s beliefs evolve over time  in response to observations and for answering the question of whether  statements made by a third party can be believed. The basic components of the framework are a formalism for reasoning about actions, changes, and observations and a formalism for default reasoning. \nThe paper describes a concrete implementation that leverages answer set programming for determining the evolution of an agent's ``belief state'', based on observations, knowledge about the effects of actions, and a theory about how these influence an agent's beliefs. The beliefs are then used to assess whether statements made by a third party can be accepted as truthful. The paper investigates an application of the proposed framework in the detection of man-in-the-middle attacks targeting computers and cyber-physical systems. Finally, we briefly discuss related work and possible extensions.<\/jats:p>","DOI":"10.24963\/kr.2020\/8","type":"proceedings-article","created":{"date-parts":[[2020,8,20]],"date-time":"2020-08-20T04:39:16Z","timestamp":1597898356000},"page":"69-78","source":"Crossref","is-referenced-by-count":2,"title":["An Answer Set Programming Framework for Reasoning about Agents' Beliefs and Truthfulness of Statements"],"prefix":"10.24963","author":[{"given":"Marcello","family":"Balduccini","sequence":"first","affiliation":[{"name":"Saint Joseph's University"}]},{"given":"Michael","family":"Gelfond","sequence":"additional","affiliation":[{"name":"Texas Tech University"}]},{"given":"Enrico","family":"Pontelli","sequence":"additional","affiliation":[{"name":"New Mexico State University"}]},{"given":"Tran Cao","family":"Son","sequence":"additional","affiliation":[{"name":"New Mexico State University"}]}],"member":"10584","event":{"number":"17","sponsor":["Artificial Intelligence Journal","Principles of Knowledge Representation and Reasoning Inc.","Association for Logic Programming","Center for Perspicuous Computing","European Association for Artificial Intelligence","Ontopic - The Virtual Knowledge Graph Company"],"acronym":"KR-2020","name":"17th International Conference on Principles of Knowledge Representation and Reasoning {KR-2020}","start":{"date-parts":[[2020,9,12]]},"theme":"Artificial Intelligence","location":"Rhodes, Greece","end":{"date-parts":[[2020,9,18]]}},"container-title":["Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning"],"original-title":[],"deposited":{"date-parts":[[2020,11,5]],"date-time":"2020-11-05T21:18:30Z","timestamp":1604611110000},"score":1,"resource":{"primary":{"URL":"https:\/\/proceedings.kr.org\/2020\/8"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2020,7]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/kr.2020\/8","relation":{},"subject":[],"published":{"date-parts":[[2020,7]]}}}