Horn clause
相关论文数: 7
顶级研究者
最高引用论文
Learning higher-order logic programs through abstraction and invention
Andrew Cropper, Stephen Muggleton
引用数: 41 • 2016
The classical AI planning problems in the mirror of Horn linear logic: semantics, expressibility, complexity
Max Kanovich, Jacqueline Vauzeilles
引用数: 26 • 2001
A Distributed Logic for Networked Cyber-Physical Systems
Minyoung Kim, Mark-Oliver Stehr, Carolyn Talcott
引用数: 12 • 2012
Learning higher-order logic programs
Andrew Cropper, Rolf Morel, Stephen Muggleton
引用数: 6 • 2019
Implementation of 3-Valued Paraconsistent Logic Programming Towards Decision Making System of Agents
Yuki Goto, Megumi Fujita, Naoyuki Nide
引用数: 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
引用数: 3 • 2019
Action Planning for Robots using the First Order Logic Calculus of Positively Constructed Formulas
Artem Davydov, Александр Ларионов
引用数: 2 • 2020