Guarded hybrid knowledge bases

DOI10.1017/S1471068407003201zbMath1139.68410OpenAlexW2143256623MaRDI QIDQ3506442

Cristina Feier, Stijn Heymans, Davy Van Nieuwenborgh, Livia Predoiu, Jos de Bruijn

Publication date: 13 June 2008

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1471068407003201

zbMATH Keywords

Logic ProgrammingDescription Logics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic programming (68N17)

Related Items (3)

FO(ID) as an extension of DL with rules ⋮ Answer Set Programming: A Primer ⋮ Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There

Cites Work

• KI 2003: Advances in Artificial Intelligence

This page was built for publication: Guarded hybrid knowledge bases