yusuke1997/dblp-id-title huggingface dataset:
Formal Modeling and Analysis of a Distributed Transaction Protocol in UPPAAL
Interval Algebra Networks with Infinite Intervals
Optimal Design of Consistent Simple Temporal Networks
A New Metric Temporal Logic for Hybrid Systems
Dynamic Controllability Made Simple
31st International Symposium on Temporal Representation and Reasoning, TIME 2024, Montpellier, France, October 28-30, 2024
Toward a Unifying View of Point and Interval Temporal Data Model
Similarity of Event Sequences
QualiNet: Acquiring Bird's Eye View Qualitative Spatial Representation from 2D Images in Automated Vehicle Perception (Short Paper)
The Tail-Recursive Fragment of Timed Recursive CTL
An Event Calculus for Run-Time Reasoning (Extended Abstract)
Temporal Reasoning in a Meta Constraint Logic Programming Architecture
29th International Symposium on Temporal Representation and Reasoning, TIME 2022, Virtual Conference, November 7-9, 2022
A Bounded Domain Property for an Expressive Fragment of First-Order Linear Temporal Logic
Visual Query Operators for Temporal Databases
A Proper Ontology for Reasoning about Knowledge and Planning
28th International Symposium on Temporal Representation and Reasoning, TIME 2021, Klagenfurt, Austria, September 27-29, 2021
On the Complexity of the Realisability Problem for Visit Events in Trajectory Sample Databases
Deciding FO-Rewritability of Ontology-Mediated Queries in Linear Temporal Logic
Incorporating Decision Nodes into Conditional Simple Temporal Networks
Realizability Problem for Constraint LTL
Achieving a Sequenced, Relational Query Language with Log-Segmented Timestamps
On Expressiveness of Halpern-Shoham Logic and its Horn Fragments
Customizing BPMN Diagrams Using Timelines
Advances in Symbolic Model Checking for Multi-agent Systems
A Novel Approach to Model NOW in Temporal Databases
WCTAnalyze-Collecting, Indexing, Accessing and Visualizing Temporally Indexed Textual Resources
MulTiSEX - A Multi-language Timex Sequential Extractor
A Graph-Theoretic Approach to Efficiently Reason about Partially Ordered Events in the Event Calculus
High-Level Operations for Creation and Maintenance of Temporal and Conventional Schema in the tauXSchema Framework
Historical Queries on Wikipedia: A Usability-Driven Approach
Analysis of Timed Processes with Data Using Algebraic Transformations
Spatiotemporal databases: Recent Achievements and Opportunities for Future Research
Torwards Infinite-State Verification and Planning with Linear Temporal Logic Modulo Theories (Extended Abstract)
The Many Ways of Facing Temporal Uncertainty in Planning and Scheduling
A Tableau for the Combination of CTL and BCTL*
Quantitative Verification in Rational Environments
Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning
Extending Topological Nexttime Logic
Temporal Control Structures in Expert Critiquing Systems
Towards a Comprehensive Treatment of Temporal Constraints in Clinical Guidelines
Qualitative Reasoning and Data Mining
An Efficient Algorithm for Minimizing Time Granularity Periodical Representations
Enhancements to the Ground Processing Scheduling System
Simple Temporal Networks: A Practical Foundation for Temporal Representation and Reasoning (Invited Talk)
Getting to the CORE of Complex Event Recognition (Invited Talk)
A More Efficient and Informed Algorithm to Check Weak Controllability of Simple Temporal Networks with Uncertainty
Dynamic Purpose Decomposition of Mobility Flows Based on Geographical Data
A Comparison of Statistical and Rule-Induction Learners for Automatic Tagging of Time Expressions in English
On Restricted Disjunctive Temporal Problems: Faster Algorithms and Tractability Frontier
A Faster Execution Algorithm for Dynamically Controllable STNUs
Recurrent Neural Networks Applied to GNSS Time Series for Denoising and Prediction
Extracting Unsatisfiable Cores for LTL via Temporal Resolution
Interval Temporal Random Forests with an Application to COVID-19 Diagnosis
Contextual Logic of Change and Contextual Proofs
Allen's Hourglass: Probabilistic Treatment of Interval Relations
Cellular Ontology as a Basis for Spatiotemporal Reasoning
A Spatiotemporal Database for Ozone in the Conterminous U.S
BCTL: A Branching Clock Temporal Logic
Complexity Analysis of a Unifying Algorithm for Model Checking Interval Temporal Logic
Fitting's Style Many-Valued Interval Temporal Logic Tableau System: Theory and Implementation
A Local Method for Prioritized Fusion of Temporal Information
Conditional Simple Temporal Networks with Uncertainty and Decisions
Similarity Search in Trajectory Databases
Collective Singleton-Based Consistency for Qualitative Constraint Networks
Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS
Time in a Causal Theory
Synthesis of LTL Formulas from Natural Language Texts: State of the Art and Research Directions
Dynamic Temporal Interpretation Contexts for Temporal Abstraction
Taming Strategy Logic: Non-Recurrent Fragments
Temporal Representation for Multimedia Systems
The Role of Labeled Partitionings for Modeling Periodic Temporal Notions
Neural-Symbolic Temporal Decision Trees for Multivariate Time Series Classification
Towards a Science of Temporal Databases
On Verifying Timed Hyperproperties
Optimization in Constraint Reasoning about Repeating Events
Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking
Resolution-Based Proof for Multi-Modal Temporal Logics of Knowledge
An Approach to Model and Query Event-Based Temporal Data
Towards Certified Model Checking for PLTL Using One-Pass Tableaux
Remodeling Temporal Geometry
Efficient Temporal Propagation Algorithm for Scheduling
A Symbolic Decision Procedure for Robust Safety of Timed Systems
Verify LTL with Fairness Assumptions Efficiently
Best Time and Content for Delay Notification
A Team Based Variant of CTL
On the Expressivity of RoCTL*
A Sound and Complete Tableau System for Fuzzy Halpern and Shoham's Interval Temporal Logic
Applying Local Search to Temporal Reasoning
Belief Revision in a Discrete Temporal Probability-Logic
Decomposition of Decidable First-Order Logics over Integers and Reals
Representing and Reasoning with Temporal Constraints in Multimedia Presentations
A Visualization Method of Time Expressions using Starting/Ending Point Plane
Reducing epsilon-DC Checking for Conditional Simple Temporal Networks to DC Checking
Computational Complexity of a Core Fragment of Halpern-Shoham Logic
A Modal Temporal Logic and its Models Underlying Variants of Planning Algorithms
Towards a Temporal Reasoning Approach Dealing with Instance-of, Part-of and Periodicity
A Mathematical Framework for the Semantics of Symbolic Languages Representing Periodic Time
A Uniform Algebraic Characterization of Temporal Functional Dependencies
Generalization for Calendar Attributes using Domain Generalization Graphs
Propositional Interval Temporal Logics: Some Promising Paths
Faster Algorithm for Converting an STNU into Minimal Dispatchable Form
A Framework for Managing Temporal Dimensions in Archaeological Data
Strong Temporal, Weak Spatial Logic for Rule Based Filters
The Calculus of Temporal Influence
Optimal Control for Simple Linear Hybrid Systems
First Order Modal Logics with Generalized Intervals
Proceedings of the TIME-94 International Workshop on Temporal Reasoning, Pensacola, Florida, USA, May 4, 1994
Interleaved Programs and Rely-Guarantee Reasoning with ITL
Temporal Queries in XML Document Archives and Web Warehouses
About the Temporal Decrease of Sets
Temporal Tableau Queries
Timelines Are Expressive Enough to Capture Action-Based Temporal Planning
Full Characterisation of Extended CTL
Reasoning with Disjunctive Fuzzy Temporal Constraint Networks
Undecidability of Chop
Learning Temporal Logic Formulas from Time-Series Data (Invited Talk)
Indexing Inventory Snapshots
Tensed Ontology Based on Simple Partial Logic
Constraint-Based Qualitative Simulation
Open the Chests: An Environment for Activity Recognition and Sequential Decision Problems Using Temporal Logic
Time Accountability for Lattice Computers
Bi-Intervals for Backtracking on Temporal Constraint Networks
Event-Oriented Data Models and Temporal Queries in Transaction-Time Databases
Database Technology for Processing Temporal Data (Invited Paper)
2013 20th International Symposium on Temporal Representation and Reasoning, Pensacola, FL, USA, September 26-28, 2013
Reasoning about Generalized Intervals: Horn Representability and Tractability
Embarrassingly Greedy Inconsistency Resolution of Qualitative Constraint Networks
LTL Fragments are Hard for Standard Parameterisations
Model Checking Branching Time Logics
Using Oracle Extensibility Framework for Supporting Temporal and Spatio-Temporal Applications
Two-Dimensional Rule Language for Querying Sensor Log Data: A Framework and Use Cases
Time and the Semantic Web
Practical First-Order Temporal Reasoning
Automatic Analysis of Temporal Relations within a Discourse
Giving Instructions in Linear Temporal Logic
Constraint Databases and Temporal Reasoning
A Tool for Deciding the Satisfiability of Continuous-Time Metric Temporal Logic
Temporal Reasoning: A Three Way Analysis
Local Polynomial Regression Models for Average Traffic Speed Estimation and Forecasting in Linear Constraint Databases
The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border
Rethinking Logics of Action and Time
Deciding the Consistency of Branching Time Interval Networks
Temporal Association Rules from Motifs (Short Paper)
Spatio-Temporal Data Mining with Expected Distribution Domain Generalization Graphs
Word Proximity Constraints: Information Retrieval Meets Temporal Reasoning
Bidirectional Inference in Probabilistic Temporal Reasoning
Representing Periodic Temporal Information with Automata
Guarded Ord-Horn: A Tractable Fragment of Quantified Constraint Satisfaction
Intelligent Navigation Process for Autonomous Underwater Vehicles (AUVs) Using Time-based Fuzzy Temporal Reasoning
Extended Message Sequence Charts with Time-Interval Semantics
Event Tracking for an Intelligent Automated Agent
Resolution-Based Model Construction for PLTL
On the Counting of Strategies
Assessing the (In)Ability of LLMs to Reason in Interval Temporal Logic
A Similarity Search Method of Time Series Data with Combination of Fourier and Wavelet Transforms
Qualitative and Quantitive Temporal Constraints about Numerically Quantified Periodic Events
Representing Interaction of Agents at Different Time Granularities
LTL Satisfiability Checking Revisited
A Temporal Logic for Modelling Activities of Daily Living
FastMinTC+: A Fast and Effective Heuristic for Minimum Timeline Cover on Temporal Networks
Modeling Temporal Aspects of Visual and Textual Objects in Multimedia Databases
32nd International Symposium on Temporal Representation and Reasoning, TIME 2025, Queen Mary University of London, UK, August 27-29, 2025
CTL Model Checking for Labelled Tree Queries
Preserving Anonymity of Recurrent Location-Based Queries
Networks of Qualitative Interval Relations: Combining Circuit Consistency and Path Consistency in the Search for a Solution
Modelling, Specifying, and Verifying Message Passing Systems
9th International Symposium on Temporal Representation and Reasoning, TIME-2002, Manchester, UK, July 7-9, 2002
The Specification and Implementation of a First Order Logic for Uncertain Temporal Domains
Task-Oriented Extraction of Temporal Information: The Case of Clinical Narratives
Representing and Learning Temporal Relationships among Experimental Variables
Processes as Continuants (Abstract)
Proceedings of the Third International Workshop on Temporal Representation and Reasoning, TIME-96, Key West, Florida, USA, May 19-20, 1996
Heuristics for Covering the Timeline in Temporal Graphs
Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach
Answer Set Automata: A Learnable Pattern Specification Framework for Complex Event Recognition (Extended Abstract)
An Integrity Constraint Checking Method for Temporal Deductive Databases
Temporal GraphQL: A Tree Grammar Approach
From Language to Time: A Temporal Expression Anchorer
Automata Representations for Concurrent METATEM
Rule-Based Temporal Reasoning: Exploring DatalogMTL (Invited Talk)
A Geometric Framework for Specifying Spatiotemporal Objects
Time, Communication and Synchronisation in an Agent-Based Programming Language
A Generic Toolkit for n-ary Qualitative Temporal and Spatial Calculi
30th International Symposium on Temporal Representation and Reasoning, TIME 2023, NCSR Demokritos, Athens, Greece, September 25-26, 2023
Bounded-Memory Runtime Enforcement of Timed Properties
Relations Between Fuzzy Time Intervals
Mapping Calendar Expressions into Periodical Granularities
Simple Algorithm for Simple Timed Games
Using Inference for Evaluating Models of Temporal Discourse
An Algebraic System of Temporal Structures
Extending the RETE Algorithm for Event Management
Efficient Aggregation over Moving Objects
The Persistence of Statistical Information
Multi-granular Time-Based Sliding Windows over Data Streams
Prime Scenarios in Qualitative Spatial and Temporal Reasoning
A Temporal Relational Algebra Based on Multiple Time-Lines
Dynamic Controllability of Conditional Simple Temporal Networks Is PSPACE-complete
Reasoning about Extremal Properties of Events
Solutions to the Generalised Alibi Query in Moving Object Databases (Short Paper)
Accounting for Temporal Evolutions in Highly Reactive Decision-Making
A Query Calculus for Spatio-Temporal Object Databases
Uncertain Temporal Reasoning for the Distributed Transportation Scheduling Problem
The Time Ontology of Allen's Interval Algebra
Representing Public Transport Schedules as Repeating Trips
Seventh International Workshop on Temporal Representation and Reasoning, TIME 2000, Nova Scotia, Canada, July 7-9, 2000
A Temporal Object Query Language
Towards Symbolic Strategy Synthesis for \left\langle {\left\langle A \right\rangle } \right\rangle-LTL
Managing Time Granularity of Narrative Clinical Information: The Temporal Data Model TIME-NESIS
Using Constrained Resolution for Abductive Temporal Reasoning
One-Pass Context-Based Tableaux Systems for CTL and ECTL
6th International Workshop on Temporal Representation and Reasoning, TIME '99, Orlando, Florida, USA, May 1-2, 1999
Regarding Overlapping as a Basic Concept of Subset Spaces
A Data Compression Technique for Sensor Networks with Dynamic Bandwidth Allocation
Guiding and refining simulation using temporal logic
Recursive Representation of Periodicity and Temporal Reasoning
Representing Temporal Relationships between Events and their Effects
On the Expressive Power of Hybrid Branching-Time Logics
On the Equivalence of Automaton-Based Representations of Time Granularities
Using Temporal Logics for Planning and Control
Dealing with Uncertainty in Trajectory Databases
Temporal Reasoning in Bounded Situation Calculus
The Complexity of CaRet + Chop
Temporal Resolution: Removing Irrelevant Information
Complexity of Qualitative Timeline-Based Planning
Dynamic Consistency of Conditional Simple Temporal Networks via Mean Payoff Games: A Singly-Exponential Time DC-checking
A Visualization of Medical Therapy Plans Compared to Gantt and PERT Charts
TLP-GP: Solving Temporally-Expressive Planning Problems
SQTL: A Preliminary Proposal for a Temporal-to-Temporal Query Language
Timed Contact Algebras
Making Time Just Another Axis in Geospatial Services
Free Schedules for Free Agents in Workflow Systems
Logical Forms of Chronicles
Universal Solutions in Temporal Data Exchange
A Decidable Temporal Logic for Events and States
PDDL to DFA: A Symbolic Transformation for Effective Reasoning
Hybrid Ockhamist Temporal Logic
Probabilistic Calculation of Execution Intervals for Workflows
The Price of Evolution in Temporal Databases
Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker
Negotiating Temporal Commitments in Cross-Organizational Business Processes
Automated Planning in Temporal Domains: Some Recent Advances and Current Research Topics
Partially Punctual Metric Temporal Logic is Decidable
Consistency in Parametric Interval Probabilistic Timed Automata
Qualitative temporal representation and reasoning about points, intervals and durations
An Integrated First-Order Theory of Points and Intervals: Expressive Power in the Class of All Linear Orders
Extending Temporal Reasoning with Hierarchical Constraint
Knowledge Extraction with Interval Temporal Logic Decision Trees
Higher-Order Timed Automata and Tail Recursion
Instantaneous Reaction-Time in Dynamic-Consistency Checking of Conditional Simple Temporal Networks
On Temporal and Separation Logics (Invited Paper)
tauXUF: A Temporal Extension of the XQuery Update Facility Language for the tauXSchema Framework
Agile Controllability of Simple Temporal Networks with Uncertainty and Oracles
A topological transition based logic for the qualitative motion of objects
Concurrency Control for Perceivedly Instantaneous Transactions in Valid-Time Databases
Hypothetical Reasoning from Situation Calculus to Event Calculus
Representing temporal interval relationships in a first order logic for time
A Review on Temporal Reasoning Using Support Vector Machines
GCH-OSQL: A Temporally-Oriented Object-Oriented Query Language Based on a Three-Valued Logic
A Neuro-Symbolic Approach to Structured Event Recognition
A Modal Logic for Subject-Oriented Spatial Reasoning
Regular Linear-Time Temporal Logic
Temporal Views as Abstract Relations
Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk)
Model Checking of Stream Processing Pipelines
Axiomatisation and Decidability of Multi-dimensional Duration Calculus
Predicting the Evolution of Communities with Online Inductive Logic Programming
An Empirical Study on Bidirectional Recurrent Neural Networks for Human Motion Recognition
A Temporal Structure that Distinguishes between the Past, Present, and Future
Revision and Updating in Dynamic Doxastic Logic
CTL with Finitely Bounded Semantics
A Tableau for Until and Since over Linear Time
Generalizing Allen's Theory of Time to Tree-Like Structures
TESL: A Model with Metric Time for Modeling and Simulation
Stab-Forests: Dynamic Data Structures for Efficient Temporal Query Processing
p-Automata and Obligation Games
Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case
Pre-Processing Time Constraints for Efficiently Mining Generalized Sequential Patterns
Real Time Properties for Interrupt Timed Automata
A Hierarchy for Convex Relations
Qualitative and Quantitative Temporal Reasoning with Points and Durations (An Extended Abstract)
Temporal Aspects of Big Data Management: State-of-the-Art Analysis and Future Research Directions
Behavior Discovery as Database Scheme Design
Incremental Dynamic Controllability in Cubic Worst-Case Time
Optimizing Temporal Queries: Efficient Handling of Duplicates
Generating Instantiations of Contextual Scenarios of Periodic Events
A Parameterized Algebra for Event Notification Services
Managing Large Temporal Delays in a Model Based Control System
An Experimental Comparison of Theorem Provers for CTL
Deciding consistency of a point-duration network with metric constraints
Temporalising Tractable Description Logics
A Neuro-Symbolic Approach for Real-World Event Recognition from Weak Supervision
27th International Symposium on Temporal Representation and Reasoning, TIME 2020, Bozen-Bolzano, Italy, September 23-25, 2020
Semantic Vacuity
Max-Count Aggregation Estimation for Moving Points
Discovering Calendar-based Temporal Association Rules
An Algebraic Formulation of Temporal Knowledge for Reasoning about Recurring Events
Counting LTL
23rd International Symposium on Temporal Representation and Reasoning, TIME 2016, Kongens Lyngby, Denmark, October 17-19, 2016
Reasoning about Plan Revision in Agent Programs
Automated Temporal Explanation with the Modal Logic Z
"TellMe": A Novel Protocol and Location Prediction Scheme Exploiting the "One For All" Framework for Location Management
Representation of Continuous Change with Discrete Time
Checking Linear Temporal Formulas on Sequential Recursive Petri Nets
Analyzing Complex Systems with Cascades Using Continuous-Time Bayesian Networks
The Event Calculus Assessed
A Linguistic Framework for Querying Dimensional Data
Non-Simultaneity as a Design Constraint
Fuzzy Calendar Algebra and Its Applications to Data Mining
Classical and Fuzzy Neighborhood Relations of the Temporal Qualitative Algebra
Generalized Model Checking
Towards a Formal Characterization of Temporal Repetition with Closed Time
Parametrized Verification Diagrams
25th International Symposium on Temporal Representation and Reasoning, TIME 2018, Warsaw, Poland, October 15-17, 2018
Localized Temporal Reasoning: A State-Based Approach
Algorithm Design Template Base on Temporal ADT
The Impact of the Telic\Atelic Dichotomy on Temporal Databases
A Decidable Spatial Generalization of Metric Interval Temporal Logic
The Second Order Traffic Fine: Temporal Reasoning in European Transport Regulations
A New Efficient Algorithm for Solving the Simple Temporal Problem
Representation and Reasoning with Disjunctive Temporal Constraints
Global Caching for the Flat Coalgebraic µ-Calculus
An Optimal Tableau System for the Logic of Temporal Neighborhood over the Reals
On-the-Fly Automata Construction for Dynamic Linear Time Temporal Logic
Effective Representation and Efficient Management of Indeterminate Dates
A Logical Approach to Represent and Reason about Calendars
Quantified Propositional Temporal Logic with Repeating States
A Stream Reasoning System for Maritime Monitoring
Consistent Query Answering for Atemporal Constraints over Temporal Databases
Reasoning with 'And Then' and 'While'
The SOL Time Theory: A Formalization of Structured Temporal Objects and Repetition
Reasoning on Dynamic Transformations of Symbolic Heaps
Meditations on Time and Space: Expediting Temporal Inference by Exploiting Structure in Time and Space (Abstract)
Advances in Quantitative Analysis of Free-Choice Workflow Petri Nets (Invited Talk)
A Continuous Planning Framework with Durative Actions
On Incompleteness of Multi-dimensional First-order Temporal Logics
The Model Checking Problem in Networks with Quasi-Equal Clocks
On the Operational Semantics of Timed Rewrite Systems
Temporal Description Logics: A Survey
A Temporal Logic for reasoning about Timed Concurrent Constraint Programs
A Constraint-Based Specification of Periodic Patterns in Time-Oriented Data
Indexed Flows in Temporal x Modal Logic with Functional Semantics
Eighteenth International Symposium on Temporal Representation and Reasoning, TIME 2011, Lübeck , Germany, September 12-14, 2011
Temporal aspects of semistructured data
Model Checking Linear Temporal Properties on Polyhedral Systems
Model Checking Timed Recursive CTL
12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 23-25 June 2005, Burlington, Vermont, USA
Quantitative Structural Temporal Constraints on Repeating Events
Specification Patterns for Time-Related Properties
Event Calculus with Explicit Quantifiers
Believing Change and Changing Belief
Time in a Multi-Theory Logical Framework
A Framework for Assessing Inconsistency in Disjunctive Temporal Problems
A temporal-logic extension of role-based access control covering dynamic separation of duties
On the Computational Complexity of Decidable Fragments of First-Order Linear Temporal Logics
Introducing Temporal Description Logics
The Set of Support Strategy in Temporal Resolution
On the Length and Depth of Temporal Formulae Distinguishing Non-bisimilar Transition Systems
Bounded Reachability for Temporal Logic over Constraint Systems
26th International Symposium on Temporal Representation and Reasoning, TIME 2019, Málaga, Spain, October 16-19, 2019
The Effects of Bounding Syntactic Resources on Presburger LTL
Reasoning with Sequences of Point Events
A Domain-Specific Language for Normative Texts with Timing Constraints
Decidability of the Theory of the Totally Unbounded omega-Layered Structure
An Incremental Batch-Oriented Index for Bitemporal Databases
Evolution Specification of Multigranular Temporal Objects
21st International Symposium on Temporal Representation and Reasoning, TIME 2014, Verona, Italy, September 8-10, 2014
How Would You Like to Aggregate Your Temporal Data?