English
Related papers

Related papers: Foundations for a Probabilistic Event Calculus

200 papers

Recently, prompt-tuning has attracted growing interests in event argument extraction (EAE). However, the existing prompt-tuning methods have not achieved satisfactory performance due to the lack of consideration of entity information. In…

Computation and Language · Computer Science 2022-10-31 Lu Dai , Bang Wang , Wei Xiang , Yijun Mo

Affective Computing is a rapidly growing field spurred by advancements in artificial intelligence, but often, held back by the inability to translate psychological theories of emotion into tractable computational models. To address this, we…

Artificial Intelligence · Computer Science 2020-08-03 Desmond C. Ong , Harold Soh , Jamil Zaki , Noah D. Goodman

Context Oriented Programming (COP) concerns the ability of programs to adapt to changes in their running environment. A number of programming languages endowed with COP constructs and features have been developed. However, some foundational…

Programming Languages · Computer Science 2013-02-27 Pierpaolo Degano , Gian-Luigi Ferrari , Letterio Galletta , Gianluca Mezzetti

Formal, mathematically rigorous programming language semantics are the essential prerequisite for the design of logics and calculi that permit automated reasoning about concurrent programs. We propose a novel modular semantics designed to…

Programming Languages · Computer Science 2022-02-25 Crystal Chang Din , Reiner Hähnle , Ludovic Henrio , Einar Broch Johnsen , Violet Ka I Pun , Silvia Lizeth Tapia Tarifa

We extend probabilistic action language pBC+ with the notion of utility as in decision theory. The semantics of the extended pBC+ can be defined as a shorthand notation for a decision-theoretic extension of the probabilistic answer set…

Artificial Intelligence · Computer Science 2020-10-05 Yi Wang , Joohyung Lee

This work studies Complex Event Recognition (CER) under time constraints regarding its query language, computational models, and streaming evaluation algorithms. We start by introducing an extension of Complex Event Logic (CEL), called…

Databases · Computer Science 2025-04-02 Julián García , Cristian Riveros

We introduce a natural language interface for building stochastic pi calculus models of biological systems. In this language, complex constructs describing biochemical events are built from basic primitives of association, dissociation and…

Programming Languages · Computer Science 2009-11-13 Ozan Kahramanoğullari , Luca Cardelli , Emmanuelle Caron

Situated question answering is the problem of answering questions about an environment such as an image or diagram. This problem requires jointly interpreting a question and an environment using background knowledge to select the correct…

Computation and Language · Computer Science 2016-09-27 Jayant Krishnamurthy , Oyvind Tafjord , Aniruddha Kembhavi

Propositional Dynamic Logic or PDL was invented as a logic for reasoning about regular programming constructs. We propose a new perspective on PDL as a multi-agent strategic logic (MASL). This logic for strategic reasoning has group…

Computer Science and Game Theory · Computer Science 2013-10-28 Jan van Eijck

'Actions' play a vital role in how humans interact with the world. Thus, autonomous agents that would assist us in everyday tasks also require the capability to perform 'Reasoning about Actions & Change' (RAC). This has been an important…

Computer Vision and Pattern Recognition · Computer Science 2022-12-09 Shailaja Keyur Sampat , Pratyay Banerjee , Yezhou Yang , Chitta Baral

Counterfactual explanations (CEs) are methods for generating an alternative scenario that produces a different desirable outcome. For example, if a student is predicted to fail a course, then counterfactual explanations can provide the…

Machine Learning · Statistics 2023-01-09 Bevan I. Smith

We propose a formal language for describing and explaining statistical causality. Concretely, we define Statistical Causality Language (StaCL) for expressing causal effects and specifying the requirements for causal inference. StaCL…

Artificial Intelligence · Computer Science 2023-10-04 Yusuke Kawamoto , Tetsuya Sato , Kohei Suenaga

Understanding why real-world events occur is important for both natural language processing and practical decision-making, yet direct-cause inference remains underexplored in evidence-rich settings. To address this gap, we organized…

Computation and Language · Computer Science 2026-03-24 Pengfei Cao , Mingxuan Yang , Yubo Chen , Chenlong Zhang , Mingxuan Liu , Kang Liu , Jun Zhao

We present a probabilistic model of events in continuous time in which each event triggers a Poisson process of successor events. The ensemble of observed events is thereby modeled as a superposition of Poisson processes. Efficient…

Machine Learning · Computer Science 2012-03-19 Aleksandr Simma , Michael I. Jordan

Electroencephalography (EEG) recordings of brain activity taken while participants read or listen to language are widely used within the cognitive neuroscience and psycholinguistics communities as a tool to study language comprehension.…

Computation and Language · Computer Science 2019-11-05 Dan Schwartz , Tom Mitchell

Event Structures (ESs) address the representation of direct relationships between individual events, usually capturing the notions of causality and conflict. Up to now, such relationships have been static, i.e., they cannot change during a…

Logic in Computer Science · Computer Science 2023-06-22 Youssef Arbach , David S. Karcher , Kirstin Peters , Uwe Nestmann

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

The paper presents an extension of temporal epistemic logic with operators that quantify over strategies. The language also provides a natural way to represent what agents would know were they to be aware of the strategies being used by…

Logic in Computer Science · Computer Science 2014-04-04 Xiaowei Huang , Ron van der Meyden

Traditional event detection classifies a word or a phrase in a given sentence for a set of predefined event types. The limitation of such predefined set is that it prevents the adaptation of the event detection models to new event types. We…

Machine Learning · Computer Science 2019-10-28 Viet Dac Lai , Thien Huu Nguyen

Causal knowledge extraction is the task of extracting relevant causes and effects from text by detecting the causal relation. Although this task is important for language understanding and knowledge discovery, recent works in this domain…

Computation and Language · Computer Science 2023-08-09 Anik Saha , Oktie Hassanzadeh , Alex Gittens , Jian Ni , Kavitha Srinivas , Bulent Yener
‹ Prev 1 8 9 10 Next ›