English
Related papers

Related papers: A Probabilistic Logic Programming Event Calculus

200 papers

Tracking entities throughout a procedure described in a text is challenging due to the dynamic nature of the world described in the process. Firstly, we propose to formulate this task as a question answering problem. This enables us to use…

Computation and Language · Computer Science 2021-04-16 Hossein Rajaby Faghihi , Parisa Kordjamshidi

The paper introduces a knowledge representation language that combines the event calculus with description logic in a logic programming framework. The purpose is to provide the user with an expressive language for modelling and analysing…

Logic in Computer Science · Computer Science 2021-09-13 Peter Baumgartner

Temporal logic inference is the process of extracting formal descriptions of system behaviors from data in the form of temporal logic formulas. The existing temporal logic inference methods mostly neglect uncertainties in the data, which…

Artificial Intelligence · Computer Science 2021-06-01 Nasim Baharisangari , Jean-Raphaël Gaglione , Daniel Neider , Ufuk Topcu , Zhe Xu

There is uncertainty associated with the occurrence of many events in real life. In this paper we develop a temporal logic to deal with such uncertain events and outline a possible implementation in an extension of PROLOG. Events are…

Artificial Intelligence · Computer Science 2013-04-10 Soumitra Dutta

We present an approach to labeling short video clips with English verbs as event descriptions. A key distinguishing aspect of this work is that it labels videos with verbs that describe the spatiotemporal interaction between event…

Event log analysis is an important task that security professionals undertake. Event logs record key information on activities that occur on computing devices, and due to the substantial number of events generated, they consume a large…

Artificial Intelligence · Computer Science 2025-02-04 Siraaj Akhtar , Saad Khan , Simon Parkinson

Next-generation intelligent systems must plan and execute complex tasks with imperfect information about their environment. As a result, plans must also include actions to learn about the environment. This is known as active perception.…

Systems and Control · Electrical Eng. & Systems 2021-11-04 Rafael Rodrigues da Silva , Vince Kurtz , Hai Lin

Event definitions in Complex Event Processing systems are constrained by the expressiveness of each system's language. Some systems allow the definition of instantaneous complex events, while others allow the definition of durative complex…

Logic in Computer Science · Computer Science 2021-08-31 Manolis Pitsikalis , Alexei Lisitsa , Shan Luo

Recent advancements in Multimodal Large Language Models (MLLMs) have significantly enhanced the comprehension of multimedia content, bringing together diverse modalities such as text, images, and videos. However, a critical challenge faced…

Computer Vision and Pattern Recognition · Computer Science 2024-01-19 Li Sun , Liuan Wang , Jun Sun , Takayuki Okatani

Complex Event Recognition (CER) systems detect event occurrences in streaming time-stamped input using predefined event patterns. Logic-based approaches are of special interest in CER, since, via Statistical Relational AI, they combine…

Artificial Intelligence · Computer Science 2021-04-02 Nikos Katzouris , Alexander Artikis , Georgios Paliouras

We present a novel framework for finding complex activities matching user-described queries in cluttered surveillance videos. The wide diversity of queries coupled with unavailability of annotated activity data limits our ability to train…

Multimedia · Computer Science 2018-08-23 Yuting Chen , Joseph Wang , Yannan Bai , Gregory Castañón , Venkatesh Saligrama

We present and discuss a runtime architecture that integrates sensorial data and classifiers with a logic-based decision-making system in the context of an e-Health system for the rehabilitation of children with neuromotor disorders. In…

Artificial Intelligence · Computer Science 2022-09-28 Fabio Aurelio D'Asaro , Luca Raggioli , Salim Malek , Marco Grazioso , Silvia Rossi

Argumentation problems are concerned with determining the acceptability of a set of arguments from their relational structure. When the available information is uncertain, probabilistic argumentation frameworks provide modelling tools to…

Artificial Intelligence · Computer Science 2023-04-18 Pietro Totis , Angelika Kimmig , Luc De Raedt

Understanding human activity is a crucial yet intricate task in egocentric vision, a field that focuses on capturing visual perspectives from the camera wearer's viewpoint. Traditional methods heavily rely on representation learning that is…

Computer Vision and Pattern Recognition · Computer Science 2024-07-19 Sanghwan Kim , Daoji Huang , Yongqin Xian , Otmar Hilliges , Luc Van Gool , Xi Wang

Human activity, which usually consists of several actions, generally covers interactions among persons and or objects. In particular, human actions involve certain spatial and temporal relationships, are the components of more complicated…

Computer Vision and Pattern Recognition · Computer Science 2020-06-30 Zhenyu Liu , Yaqiang Yao , Yan Liu , Yuening Zhu , Zhenchao Tao , Lei Wang , Yuhong Feng

Current approaches for activity recognition often ignore constraints on computational resources: 1) they rely on extensive feature computation to obtain rich descriptors on all frames, and 2) they assume batch-mode access to the entire test…

Computer Vision and Pattern Recognition · Computer Science 2016-04-05 Yu-Chuan Su , Kristen Grauman

The generation of comprehensible explanations is an essential feature of modern artificial intelligence systems. In this work, we consider probabilistic logic programming, an extension of logic programming which can be useful to model…

Artificial Intelligence · Computer Science 2023-08-17 Germán Vidal

The field of statistical relational learning aims at unifying logic and probability to reason and learn from data. Perhaps the most successful paradigm in the field is probabilistic logic programming: the enabling of stochastic primitives…

Machine Learning · Computer Science 2018-09-20 Stefanie Speichert , Vaishak Belle

Providing accurate/suitable information on behaviors in sma\-rt environments is a challenging and crucial task in pervasive computing where context-awareness and pro-activity are of fundamental importance. Behavioral identifications enable…

Logic in Computer Science · Computer Science 2016-01-21 Radoslaw Klimek

In this paper we present an approach for classifying the activity performed by a group of people in a video sequence. This problem of group activity recognition can be addressed by examining individual person actions and their relations.…

Computer Vision and Pattern Recognition · Computer Science 2016-07-12 Mostafa S. Ibrahim , Srikanth Muralidharan , Zhiwei Deng , Arash Vahdat , Greg Mori