Littérature scientifique sur le sujet « Event Detection, Event Calculus, Answer Set Programming »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Event Detection, Event Calculus, Answer Set Programming ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Articles de revues sur le sujet "Event Detection, Event Calculus, Answer Set Programming"
Lee, J., et 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 (24 avril 2012) : 571–620. http://dx.doi.org/10.1613/jair.3489.
Texte intégralARIAS, JOAQUÍN, MANUEL CARRO, ZHUO CHEN et GOPAL GUPTA. « Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming ». Theory and Practice of Logic Programming 22, no 1 (2 novembre 2021) : 51–80. http://dx.doi.org/10.1017/s1471068421000156.
Texte intégralHall, Brendan, Sarat Chandra Varanasi, Jan Fiedor, Joaquín Arias, Kinjal Basu, Fang Li, Devesh Bhatt, Kevin Driscoll, Elmer Salazar et 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 (13 septembre 2021) : 79–90. http://dx.doi.org/10.4204/eptcs.344.6.
Texte intégralMeli, Daniele, Mohan Sridharan et Paolo Fiorini. « Inductive learning of answer set programs for autonomous surgical task planning ». Machine Learning 110, no 7 (15 juin 2021) : 1739–63. http://dx.doi.org/10.1007/s10994-021-06013-7.
Texte intégralKATZOURIS, NIKOS, GEORGIOS PALIOURAS et ALEXANDER ARTIKIS. « Online Learning Probabilistic Event Calculus Theories in Answer Set Programming ». Theory and Practice of Logic Programming, 1 août 2021, 1–25. http://dx.doi.org/10.1017/s1471068421000107.
Texte intégralThèses sur le sujet "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.
Texte intégralThis 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.
Texte intégralChapitres de livres sur le sujet "Event Detection, Event Calculus, Answer Set Programming"
Arias, Joaquín, Zhuo Chen, Manuel Carro et Gopal Gupta. « Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming ». Dans 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.
Texte intégralActes de conférences sur le sujet "Event Detection, Event Calculus, Answer Set Programming"
Katzouris, Nikos, et Alexander Artikis. « WOLED : A tool for Online Learning Weighted Answer Set Rules for Temporal Reasoning Under Uncertainty ». Dans 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.
Texte intégral