Relational Theories with Null Values and Non-Herbrand Stable Models

Vladimir Lifschitz, Karl Pichotta, Fangkai Yang

On the Semantics of Gringo

Amelia Harrison, Vladimir Lifschitz, Fangkai Yang

PEORL: Integrating Symbolic Planning and Hierarchical Reinforcement Learning for Robust Decision-Making

Fangkai Yang, Daoming Lyu, Bo Liu +1

Lloyd-Topor Completion and General Stable Models

Vladimir Lifschitz, Fangkai Yang

Learning Socially Appropriate Robot Approaching Behavior Toward Groups using Deep Reinforcement Learning

Yuan Gao, Fangkai Yang, Martin Frisk +3

The paper introduces a deep reinforcement learning framework that trains a robot to approach small groups of people in a socially appropriate way using simulated learning stages, a…

Introduction to the 35th International Conference on Logic Programming Special Issue

Esra Erdem, Andrea Formisano, German Vidal +1

The paper introduces the special issue of Theory and Practice of Logic Programming that collects the regular papers accepted for the 35th International Conference on Logic Programm…

SDRL: Interpretable and Data-efficient Deep Reinforcement Learning Leveraging Symbolic Planning

Daoming Lyu, Fangkai Yang, Bo Liu +1

Integrating Task-Motion Planning with Reinforcement Learning for Robust Decision Making in Mobile Robots

Yuqian Jiang, Fangkai Yang, Shiqi Zhang +1

Interpretable Automated Machine Learning in Maana(TM) Knowledge Platform

Alexander Elkholy, Fangkai Yang, Steven Gustafson

Representing First-Order Causal Theories by Logic Programs

Paolo Ferraris, Joohyung Lee, Yuliya Lierler +2