A Tractable Rule Language in the Modal and Description Logic that Combines CPDL with Regular Grammar Logic

DOI10.3233/FI-2016-1307zbMath1364.68334MaRDI QIDQ2968856

Linh Anh Nguyen

Publication date: 22 March 2017

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)

Related Items (1)

Unnamed Item

This page was built for publication: A Tractable Rule Language in the Modal and Description Logic that Combines CPDL with Regular Grammar Logic