ASP Based Generation of Information Terms for Constructive ɛℒ

DOI10.3233/FI-2018-1694zbMath1396.68118OpenAlexW2811223848MaRDI QIDQ4686513

Loris Bozzato

Publication date: 2 October 2018

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

Full work available at URL: https://doi.org/10.3233/fi-2018-1694

zbMATH Keywords

answer set programmingconstructive description logicsinformation terms semantics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic programming (68N17)

This page was built for publication: ASP Based Generation of Information Terms for Constructive ɛℒ