Knowledge representation and reasoning / by Brachman, Ronald J., 1949-, Levesque, Hector J., 1951-

The DLV System for Knowledge Representation and Reasoning by Leone, N, Pfeifer, G, Faber, W, Eiter, T, Gottlob, G, Perri, S, Scarcello, F

The DLV system for knowledge representation and reasoning by Leone, N, Pfeifer, G, Faber, W, Eiter, T, Gottlob, G, Perri, S, Scarcello, F

Principles of Knowledge Representation and Reasoning in the FRAPPE System by Feldman, Yishai A., Rich, Charles

“…The purpose of this paper is to elucidate the following four important architectural principles of knowledge representation and reasoning with the example of an implemented system: limited reasoning, truth maintenance, hybrid architecture, and many sorted logic.…”
Get full text

Context knowledge representation and reasoning in the context interchange system

Get full text

Context knowledge representation and reasoning in the Context Interchange system by Bressan, Stephane

Get full text

Bounded treewidth as a key to tractability of knowledge representation and reasoning by Gottlob, G, Pichler, R, Wei, F

Bounded Treewidth as a Key to Tractability of Knowledge Representation and Reasoning by Gottlob, G, Pichler, R, Wei, F

Legal linguistic templates and the tension between legal knowledge representation and reasoning by Tomer Libal

“…There is an inherent tension between knowledge representation and reasoning. For an optimal representation and validation, an expressive language should be used. …”
Get full text

Q-Rung Orthopair Fuzzy Petri Nets for Knowledge Representation and Reasoning by Kaiyuan Bai, Dan Jia, Weiye Meng, Xingmin He

Subjects: Get full text

Knowledge representation and reasoning methods in the concept development of product design : a state-of-the-art review by Wang, Zuoxu, Zheng, Pai, Lee, Ching-Hung, Chen, Chun-Hsien

“…Though many related works knowledge representation and reasoning have been studied, there still lacks a holistic review of the knowledge representation and reasoning methods which are appropriate for the concept development of product design. …”
Get full text

Evaluating conjunctive and graph queries over the EL profile of OWL 2 by Stefanoni, G

Subjects: “…Knowledge Representation and Reasoning…”

Effective partitioning of RDF data for distributed query answering by Banda, F

Subjects:

Knowledge Representation and Reasoning with an Extended Dynamic Uncertain Causality Graph under the Pythagorean Uncertain Linguistic Environment by Yu-Jie Zhu, Wei Guo, Hu-Chen Liu

Subjects: Get full text

EnviroStream: A Stream Reasoning Benchmark for Environmental and Climate Monitoring by Elena Mastria, Francesco Pacenza, Jessica Zangari, Francesco Calimeri, Simona Perri, Giorgio Terracina

Subjects: Get full text

Computing datalog rewritings for disjunctive datalog programs and description logic ontologies by Kaminski, M, Nenov, Y, Cuenca Grau, B

Subjects: “…Knowledge Representation and Reasoning…”

Rule-based stream reasoning by Ronca, A

Subjects: “…knowledge representation and reasoning…”

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning by Kaminski, M, Nenov, Y, Grau, B

Subjects:

Handling owl:sameAs via rewriting by Motik, B, Nenov, Y, Piro, R, Horrocks, I

Subjects:

Datalog rewriting techniques for non-Horn ontologies by Kaminski, M, Nenov, Y, Cuenca Grau, B

Subjects: