Principles of Knowledge Representation and Reasoning
Latest Publications

TOTAL DOCUMENTS

67

(FIVE YEARS 0)

H-INDEX

17

(FIVE YEARS 0)

Published By Elsevier

9781483214528

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Exploiting Natural Language for Knowledge Representation and Reasoning

Principles of Knowledge Representation and Reasoning ◽

10.1016/b978-1-4832-1452-8.50157-3 ◽

1994 ◽

pp. 650-651

Author(s):

Len Schubert, Moderator

Keyword(s):

Knowledge Representation ◽

Natural Language ◽

Knowledge Representation And Reasoning

Download Full-text

Systems vs. Theory vs. …: KR&R Research Methodologies

Principles of Knowledge Representation and Reasoning ◽

10.1016/b978-1-4832-1452-8.50156-1 ◽

1994 ◽

pp. 649

Author(s):

Lin Padgham, Moderator

Keyword(s):

Research Methodologies

Download Full-text

Knowledge, Certainty, Belief, and Conditionalisation (abbreviated version)

Principles of Knowledge Representation and Reasoning ◽

10.1016/b978-1-4832-1452-8.50134-2 ◽

1994 ◽

pp. 415-424 ◽

Author(s):

Philippe Lamarre ◽

Yoav Shoham

Download Full-text

An Application of Terminological Logics to Case-based Reasoning

Principles of Knowledge Representation and Reasoning ◽

10.1016/b978-1-4832-1452-8.50128-7 ◽

1994 ◽

pp. 351-362 ◽

Author(s):

Jana Koehler

Keyword(s):

Case Based Reasoning ◽

Download Full-text

An Ontology for Engineering Mathematics

Principles of Knowledge Representation and Reasoning ◽

10.1016/b978-1-4832-1452-8.50120-2 ◽

1994 ◽

pp. 258-269 ◽

Author(s):

Thomas R. Gruber ◽

Gregory R. Olsen

Keyword(s):

Engineering Mathematics

Download Full-text

An Efficient Method for Managing Disjunctions in Qualitative Temporal Reasoning

Principles of Knowledge Representation and Reasoning ◽

10.1016/b978-1-4832-1452-8.50116-0 ◽

1994 ◽

pp. 214-225 ◽

Author(s):

Alfonso Gerevini ◽

Lenhart Schubert

Keyword(s):

Efficient Method ◽

Temporal Reasoning

Download Full-text

Directional Resolution: The Davis-Putnam Procedure, Revisited **This work was partially supported by NSF grant IRI-9157636, by Air Force Office of Scientific Research grant AFOSR 900136, by Toshiba of America, and by a Xerox grant.

Principles of Knowledge Representation and Reasoning ◽

10.1016/b978-1-4832-1452-8.50109-3 ◽

1994 ◽

pp. 134-145 ◽

Author(s):

Rina Dechter ◽

Irina Rish

Keyword(s):

Air Force ◽

Scientific Research ◽

Download Full-text

Default Logic as a Query Language

Principles of Knowledge Representation and Reasoning ◽

10.1016/b978-1-4832-1452-8.50106-8 ◽

1994 ◽

pp. 99-108 ◽

Author(s):

Marco Cadoli ◽

Thomas Eiter ◽

Georg Gottlob

Keyword(s):

Query Language ◽

Download Full-text

An Integrated Implementation of Simulative, Uncertain and Metaphorical Reasoning about Mental States

Principles of Knowledge Representation and Reasoning ◽

10.1016/b978-1-4832-1452-8.50100-7 ◽

1994 ◽

pp. 27-38 ◽

Author(s):

John A. Barnden ◽

Stephen Helmreich ◽

Eric Iverson ◽

Gees C. Stein

Keyword(s):

Download Full-text

Copyright

Principles of Knowledge Representation and Reasoning ◽

10.1016/b978-1-4832-1452-8.50095-6 ◽

1994 ◽

pp. iv

Download Full-text