MWeb
From MaRDI portal
Publication:2946635
DOI10.1145/1877714.1877723zbMath1351.68272WikidataQ58198079 ScholiaQ58198079MaRDI QIDQ2946635
Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio
Publication date: 17 September 2015
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1877714.1877723
local closed-world and open-world assumptions; local semantics; scoped negation-as-failure; modular web rule bases
68T30: Knowledge representation
68Q55: Semantics in the theory of computing
68N17: Logic programming
Uses Software