Large-scale parallel stratified defeasible reasoning

MaRDI QIDQ3455609zbMATH OpenFDO

Authors Ilias Tachmazidis, Grigoris Antoniou, Giorgos Flouris, Spyros Kotoulas, Lee McCluskey

Publication date 11 December 2015

Full work available at URL http://ebooks.iospress.nl/volumearticle/7062

Mathematics Subject Classification ID

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

Recommendations

• Rethinking defeasible reasoning: a scalable approach
• Efficient computation of the well-founded semantics over big data
• On the consistency of defeasible databases
• Reasoning with fuzzy-\(\mathcal{EL}^+\) ontologies using MapReduce
• Argumentation Semantics for Defeasible Logic

Cited in

(8)

• Efficient computation of the well-founded semantics over big data
• The rationale behind the concept of goal
• Rethinking defeasible reasoning: a scalable approach
• Parallel Logic Programming: A Sequel
• A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling
• Defeasible RDFS via rational closure
• Which are the true defeasible logics?
• Defeasible reasoning via \(\mathrm{Datalog} {}^\neg\)

This page was built for publication: Large-scale parallel stratified defeasible reasoning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3455609)