paper-with-me

홈 › Papers

Neural Temporal Logic Programming

2021-09-29 · Karan Samel, Zelin Zhao, Binghong Chen, Shuang Li, Dharmashankar Subramanian, Irfan Essa, Le Song

Events across a timeline are a common data representation, seen in different temporal modalities. Individual atomic events can occur in a certain temporal ordering to compose higher level composite events. Examples of a composite event are a patient's medical symptom or a baseball player hitting a home run, caused distinct temporal orderings of patient vitals and player movements respectively. Such salient composite events are provided as labels in temporal datasets and most works optimize models to predict these composite event labels directly. We focus uncovering the underlying atomic events and their relations that lead to the composite events within a noisy temporal data setting. We propose Neural Temporal Logic Programming (Neural TLP) which first learns implicit temporal relations between atomic events and then lifts logic rules for composite events, given only the composite events labels for supervision. This is done through efficiently searching through the combinatorial space of all temporal logic rules in an end-to-end differentiable manner. We evaluate our method on video and on healthcare data where it outperforms the baseline methods for rule discovery.

📄 PDF Abstract BibTeX

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming

2026-03-16 · Pedro Cabalar, Martín Diéguez, David Fernández-Duque, François Laferrière 외 arxiv

The relationship between intuitionistic or intermediate logics and logic programming has been extensively studied, prominently featuring Pearce's equilibrium logic and Osorio's safe beliefs. Equilibrium logic admits a fi…

Temporal Answer Set Programming

2020-09-14 · Felicidad Aguado, Pedro Cabalar, Martin Dieguez, Gilberto Perez 외

We present an overview on Temporal Logic Programming under the perspective of its application for Knowledge Representation and declarative problem solving. Such programs are the result of combining usual rules with tempo…

Model SelectionTranslation

Towards Metric Temporal Answer Set Programming

2020-08-05 · Pedro Cabalar, Martin Dieguez, Torsten Schaub, Anna Schuhmann

We elaborate upon the theoretical foundations of a metric temporal extension of Answer Set Programming. In analogy to previous extensions of ASP with constructs from Linear Temporal and Dynamic Logic, we accomplish this …

Meta-Programming for Linear-time Temporal Answer Set Programming

2026-05-28 · Susana Hahn, Amadé Nemes, Javier Romero, Torsten Schaub arxiv

The development of temporal extensions of Answer Set Programming (ASP) has led to the emergence of non-monotonic linear-time (TEL), dynamic (DEL), and metric (MEL) temporal equilibrium logics. However, the inherent rigid…

Implementing Dynamic Answer Set Programming

2020-02-17 · Pedro Cabalar, Martín Diéguez, Torsten Schaub, François Laferrière

We introduce an implementation of an extension of Answer Set Programming (ASP) with language constructs from dynamic (and temporal) logic that provides an expressive computational framework for modeling dynamic applicati…

Translation