A Logical Semantics for Description Logic Programs

From MaRDI portal

Revision as of 07:11, 8 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4930762

Jump to:navigation, search

DOI10.1007/978-3-642-15675-5_15zbMath1306.68007OpenAlexW1568877586MaRDI QIDQ4930762

No author found.

Publication date: 1 October 2010

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15675-5_15

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (4)

Model-based recasting in answer-set programming ⋮ From description-logic programs to multi-context systems ⋮ The loop formula based semantics of description logic programs ⋮ On the Expressiveness of Temporal Equilibrium Logic

This page was built for publication: A Logical Semantics for Description Logic Programs

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4930762&oldid=19337252"