A semantic approach for web reasoning

DOI10.1016/j.ins.2014.04.035zbMath1354.68021OpenAlexW2055766166MaRDI QIDQ506365

Yong-Cai Geng, Sumit K. Garg

Publication date: 31 January 2017

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ins.2014.04.035

zbMATH Keywords

PT-resolutionset calculationweb reasoning

Mathematics Subject Classification ID

Logic programming (68N17) Internet topics (68M11)

Cites Work

• Unnamed Item
• A linguistic multi-criteria decision making approach based on logical reasoning
• An axiomatizable logical foundation for lattice-ordered qualitative linguistic approach for reasoning with words
• Preferred answer sets for extended logic programs
• An implementation of Kripke-Kleene semantics
• A theoretical evaluation of selected backtracking algorithms.
• Fuzzy linguistic logic programming and its applications
• Towards closed world reasoning in dynamic open worlds
• A new definition of SLDNF-resolution
• An effective fixpoint semantics for linear logic programs

This page was built for publication: A semantic approach for web reasoning