Datalog

相关论文数: 6

最高引用论文

Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited

Stephen Muggleton, Dianhuan Lin, Alireza Tamaddoni‐Nezhad

引用数: 192 • 2015

Robotic agent programming in TeleoR

Keith Clark, Peter Robinson

引用数: 15 • 2015

A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming

George Baryannis, Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou, Mario Alviano, Emmanuel P. Papadakis

引用数: 7 • 2020

Translation of Interactive Datalog Programs for Microcontrollers to Finite State Machines

Mario Wenzel, Stefan Brass

引用数: 2 • 2021

Concurrent task programming of robotic agents in TeleoR

Keith Clark, Peter Robinson

引用数: 2 • 2017

Optimizing chain datalog programs and their inference procedures

Anke Rieger

引用数: 2 • 1996