Chrome Extension
WeChat Mini Program
Use on ChatGLM
VIPCreated with Sketch.

Implementing Query Answering for Hybrid MKNF Knowledge Bases

Ana Sofia Gomes,José Júlio Alferes,Terrance Swift

Theory and Practice of Logic Programming（2013）

Cited 25|Views0
Key words
Logic Program,Outer Iteration,Description Logic,Modal Atom,Query Answering
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined