Knowledge Representation and Reasoning

494 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Translation of Genotype to Phenotype by a Hierarchy of Cell Subsystems (2016, background): “In many fields, knowledge across scales is modeled by ontologies— a factorization of prior knowledge about the world into a hierarchy of increasingly specific concepts (Brachman and Levesque, 2004).”
Siri of the cell: what biology could learn from the iPhone. (2014, unknown): “Many artiﬁcially intelligent agents other than Siri are also based on ontologies or related structures for knowledge representation and reasoning (Brachman and Levesque, 2004).”
Practical solution techniques for first-order MDPs (2009, methodology): “Assuming these transformations, we draw on the logical notation and semantics for unsorted first-order logic given in Brachman and Levesque (2004).”