Horn clause
Related papers: 7
Top Researchers
Top Cited Papers
Learning higher-order logic programs through abstraction and invention
Andrew Cropper, Stephen Muggleton
Citations: 41 • 2016
The classical AI planning problems in the mirror of Horn linear logic: semantics, expressibility, complexity
Max Kanovich, Jacqueline Vauzeilles
Citations: 26 • 2001
A Distributed Logic for Networked Cyber-Physical Systems
Minyoung Kim, Mark-Oliver Stehr, Carolyn Talcott
Citations: 12 • 2012
Learning higher-order logic programs
Andrew Cropper, Rolf Morel, Stephen Muggleton
Citations: 6 • 2019
Implementation of 3-Valued Paraconsistent Logic Programming Towards Decision Making System of Agents
Yuki Goto, Megumi Fujita, Naoyuki Nide
Citations: 5 • 2018
Proceedings 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 Technical Communications, Las Cruces, NM, USA, September 20-25, 2019
Bart Bogaerts, Esra Erdem, Paul Fodor, Andrea Formisano, Giovambattista Ianni, Daniela Inclezan, Germán Vidal, Alicia Villanueva, Marina De Vos, Fangkai Yang
Citations: 3 • 2019
Action Planning for Robots using the First Order Logic Calculus of Positively Constructed Formulas
Artem Davydov, Александр Ларионов
Citations: 2 • 2020