Results 11 to 20 of about 9,156,471 (236)
Learning multi-graph structure for Temporal Knowledge Graph reasoning [PDF]
Temporal Knowledge Graph (TKG) reasoning that forecasts future events based on historical snapshots distributed over timestamps is denoted as extrapolation and has gained significant attention. Owing to its extreme versatility and variation in spatial and temporal correlations, TKG reasoning presents a challenging task, demanding efficient capture of ...
Jinchuan Zhang +3 more
openaire +4 more sources
Selective Temporal Knowledge Graph Reasoning [PDF]
Temporal Knowledge Graph (TKG), which characterizes temporally evolving facts in the form of (subject, relation, object, timestamp), has attracted much attention recently. TKG reasoning aims to predict future facts based on given historical ones. However, existing TKG reasoning models are unable to abstain from predictions they are uncertain, which ...
Zhongni Hou +5 more
core +6 more sources
Temporal Knowledge Graph Embedding and Reasoning [PDF]
Knowledge Graphs (KGs) have emerged as an efficient way to organize and represent knowledge by storing the underlying relations between entities. Recently, a large amount of research works have been devoted to KG embeddings, aiming at mapping entities and relations in KGs to low-dimensional continuous vector spaces for fast reasoning.
Xu, Chengjin
core +4 more sources
PDDL2.1 : An extension of PDDL for expressing temporal planning domains [PDF]
In recent years research in the planning community has moved increasingly towards application of planners to realistic problems involving both time and many types of resources.
Fox, Maria, Long, Derek
core +4 more sources
Temporal Data Modeling and Reasoning for Information Systems [PDF]
Temporal knowledge representation and reasoning is a major research field in Artificial Intelligence, in Database Systems, and in Web and Semantic Web research.
Spranger, Stephanie, Bry, François
core +1 more source
Knowledge graph representation and reasoning
Recent years have witnessed the release of many open-source and enterprise-driven knowledge graphs with a dramatic increase of applications of knowledge representation and reasoning in fields such as natural language processing, computer vision, and ...
Philip S. Yu +11 more
core +1 more source
Towards a Maude tool for model checking temporal graph properties [PDF]
We present our prototypical tool for the verification of graph transformation systems. The major novelty of our tool is that it provides a model checker for temporal graph properties based on counterpart semantics for quantified m-calculi.
Lluch-Lafuente, Alberto +4 more
core +1 more source
Tailoring temporal description logics for reasoning over temporal conceptual models [PDF]
Temporal data models have been used to describe how data can evolve in the context of temporal databases. Both the Extended Entity-Relationship (EER) model and the Unified Modelling Language (UML) have been temporally extended to design temporal ...
Ryzhikov, Vladislav +8 more
core +1 more source
Qualitative Reasoning Methodology for the Generation of Process Plant Operating Procedures [PDF]
The analysis of operating procedures in the early stages of design can lead to safer and higher performance plants. Qualitative reasoning techniques hold considerable promise in supporting generations of operating procedures, since they are able to ...
Vianna, Regina Ferreira
core +7 more sources
Optimal temporal planning using the plangraph framework [PDF]
The past few years have seen a rapid development in AI Planning and Scheduling. Many algorithms and techniques have been studied and improved to deal with more complex and difficult planning domains.
Dinh, Tien Ba
core +4 more sources

