Search Results for author:
Found 12 papers, 5 papers with code
Goal-Driven Reasoning in DatalogMTL with Magic Sets
DatalogMTL is a powerful rule-based language for temporal reasoning.
PalmBench: A Comprehensive Benchmark of Compressed Large Language Models on Mobile Platforms
Deploying large language models (LLMs) locally on mobile devices is advantageous in scenarios where transmitting data to remote cloud servers is either undesirable due to privacy concerns or impractical due to network connection.
SigmaRL: A Sample-Efficient and Generalizable Multi-Agent Reinforcement Learning Framework for Motion Planning
Most RL agents exhibit a limited capacity to generalize, often focusing narrowly on specific scenarios, and are usually evaluated in similar or even the same scenarios seen during training.
Optimised Storage for Datalog Reasoning
Materialisation facilitates Datalog reasoning by precomputing all consequences of the facts and the rules so that queries can be directly answered over the materialised facts.
CloudEval-YAML: A Practical Benchmark for Cloud Configuration Generation
We develop the CloudEval-YAML benchmark with practicality in mind: the dataset consists of hand-written problems with unit tests targeting practical scenarios.
Ranked #1 on
Benchmarking
on CloudEval-YAML
Enhancing Datalog Reasoning with Hypertree Decompositions
In this paper, we provide algorithms that exploit hypertree decompositions for the materialisation and incremental evaluation of Datalog programs.
MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators
DatalogMTL is an extension of Datalog with operators from metric temporal logic which has received significant attention in recent years.
OWL2Vec*: Embedding of OWL Ontologies
Semantic embedding of knowledge graphs has been widely studied and used for prediction and statistical analysis tasks across various domains such as Natural Language Processing and the Semantic Web.
Interpretable Machine Learning Model for Early Prediction of Mortality in Elderly Patients with Multiple Organ Dysfunction Syndrome (MODS): a Multicenter Retrospective Study and Cross Validation
This study aims to develop an interpretable and generalizable model for early mortality prediction in elderly patients with MODS.
Datalog Reasoning over Compressed RDF Knowledge Bases
Materialisation is often used in RDF systems as a preprocessing step to derive all facts implied by given RDF triples and rules.
Modular Materialisation of Datalog Programs
The semina\"ive algorithm can materialise all consequences of arbitrary datalog rules, and it also forms the basis for incremental algorithms that update a materialisation as the input facts change.
Optimised Maintenance of Datalog Materialisations
The Delete/Rederive (DRed) and the Backward/Forward (B/F) algorithms solve this problem for general datalog, but both contain steps that evaluate rules 'backwards' by matching their heads to a fact and evaluating the partially instantiated rule bodies as queries.
