Integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report)
From MaRDI portal
Publication:3003263
DOI10.1007/978-3-642-20895-9_27zbMath1327.68065OpenAlexW2143893406MaRDI QIDQ3003263
Publication date: 26 May 2011
Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-20895-9_27
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Semantics in the theory of computing (68Q55) Logic programming (68N17)
Related Items (3)
Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin ⋮ On updates of hybrid knowledge bases composed of ontologies and rules ⋮ FLP answer set semantics without circular justifications for general logic programs
This page was built for publication: Integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report)
