Academic literature on the topic 'Event Detection, Event Calculus, Answer Set Programming'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Event Detection, Event Calculus, Answer Set Programming.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "Event Detection, Event Calculus, Answer Set Programming"
Lee, J., and R. Palla. "Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming." Journal of Artificial Intelligence Research 43 (April 24, 2012): 571–620. http://dx.doi.org/10.1613/jair.3489.
Full textARIAS, JOAQUÍN, MANUEL CARRO, ZHUO CHEN, and GOPAL GUPTA. "Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming." Theory and Practice of Logic Programming 22, no. 1 (November 2, 2021): 51–80. http://dx.doi.org/10.1017/s1471068421000156.
Full textHall, Brendan, Sarat Chandra Varanasi, Jan Fiedor, Joaquín Arias, Kinjal Basu, Fang Li, Devesh Bhatt, Kevin Driscoll, Elmer Salazar, and Gopal Gupta. "Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming." Electronic Proceedings in Theoretical Computer Science 344 (September 13, 2021): 79–90. http://dx.doi.org/10.4204/eptcs.344.6.
Full textMeli, Daniele, Mohan Sridharan, and Paolo Fiorini. "Inductive learning of answer set programs for autonomous surgical task planning." Machine Learning 110, no. 7 (June 15, 2021): 1739–63. http://dx.doi.org/10.1007/s10994-021-06013-7.
Full textKATZOURIS, NIKOS, GEORGIOS PALIOURAS, and ALEXANDER ARTIKIS. "Online Learning Probabilistic Event Calculus Theories in Answer Set Programming." Theory and Practice of Logic Programming, August 1, 2021, 1–25. http://dx.doi.org/10.1017/s1471068421000107.
Full textDissertations / Theses on the topic "Event Detection, Event Calculus, Answer Set Programming"
Berreby, Fiona. "Models of Ethical Reasoning." Electronic Thesis or Diss., Sorbonne université, 2018. http://www.theses.fr/2018SORUS137.
Full textThis thesis is part of the ANR eThicAa project, which has aimed to define moral autonomous agents, provide a formal representation of ethical conflicts and of their objects (within one artificial moral agent, between an artificial moral agent and the rules of the system it belongs to, between an artificial moral agent and a human operator, between several artificial moral agents), and design explanation algorithms for the human user. The particular focus of the thesis pertains to exploring ethical conflicts within a single agent, as well as designing explanation algorithms. The work presented here investigates the use of high-level action languages for designing such ethically constrained autonomous agents. It proposes a novel and modular logic-based framework for representing and reasoning over a variety of ethical theories, based on a modified version of the event calculus and implemented in Answer Set Programming. The ethical decision-making process is conceived of as a multi-step procedure captured by four types of interdependent models which allow the agent to represent situations, reason over accountability and make ethically informed choices. More precisely, an action model enables the agent to appraise its environment and the changes that take place in it, a causal model tracks agent responsibility, a model of the Good makes a claim about the intrinsic value of goals or events, and a model of the Right considers what an agent should do, or is most justified in doing, given the circumstances of its actions. The causalmodel plays a central role here, because it permits identifying some properties that causal relations assume and that determine how, as well as to what extent, we may ascribe ethical responsibility on their basis. The overarching ambition of the presented research is twofold. First, to allow the systematic representation of an unbounded number of ethical reasoning processes, through a framework that is adaptable and extensible by virtue of its designed hierarchisation and standard syntax. Second, to avoid the pitfall of some works in current computational ethics that too readily embed moralinformation within computational engines, thereby feeding agents with atomic answers that fail to truly represent underlying dynamics. We aim instead to comprehensively displace the burden of moral reasoning from the programmer to the program itself
khan, Abdullah. "Event Detection in Videos." Doctoral thesis, 2020. http://hdl.handle.net/2158/1206034.
Full textBook chapters on the topic "Event Detection, Event Calculus, Answer Set Programming"
Arias, Joaquín, Zhuo Chen, Manuel Carro, and Gopal Gupta. "Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming." In Logic-Based Program Synthesis and Transformation, 139–55. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-45260-5_9.
Full textConference papers on the topic "Event Detection, Event Calculus, Answer Set Programming"
Katzouris, Nikos, and Alexander Artikis. "WOLED: A tool for Online Learning Weighted Answer Set Rules for Temporal Reasoning Under Uncertainty." In 17th International Conference on Principles of Knowledge Representation and Reasoning {KR-2020}. California: International Joint Conferences on Artificial Intelligence Organization, 2020. http://dx.doi.org/10.24963/kr.2020/81.
Full text