Baidu
map

ON THE STRONG EQUIVALENCES FOR LPMLN PROGRAMS

Wang, B; Shen, J; Zhang, ST; Zhang, ZZ

Shen, J; Zhang, ZZ (corresponding author), Southeast Univ, Sch Comp Sci & Engn, Nanjing 211189, Peoples R China.

LOGICAL METHODS IN COMPUTER SCIENCE, 2021; 17 (1):

Abstract

LPMLN is a powerful knowledge representation and reasoning tool that combines the non-monotonic reasoning ability of Answer Set Programming (ASP) and ......

Full Text Link


Baidu
map
Baidu
map
Baidu
map