Inproceedings,

Smart Devices and Large Scale Reasoning via ASP: Tools and Applications.

, , , and .
PADL, volume 13165 of Lecture Notes in Computer Science, page 154-161. Springer, (2022)

Meta data

Tags

Users

  • @dblp

Comments and Reviews