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

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

1994 ◽  
pp. 649
Author(s):  
Lin Padgham, Moderator
Keyword(s):  
Research Methodologies

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

1994 ◽  
pp. 415-424 ◽  
Author(s):  
Philippe Lamarre ◽  
Yoav Shoham

An Ontology for Engineering Mathematics

1994 ◽  
pp. 258-269 ◽  
Author(s):  
Thomas R. Gruber ◽  
Gregory R. Olsen
Keyword(s):  
Engineering Mathematics

An Efficient Method for Managing Disjunctions in Qualitative Temporal Reasoning

1994 ◽  
pp. 214-225 ◽  
Author(s):  
Alfonso Gerevini ◽  
Lenhart Schubert
Keyword(s):  
Efficient Method ◽  
Temporal Reasoning

Default Logic as a Query Language

1994 ◽  
pp. 99-108 ◽  
Author(s):  
Marco Cadoli ◽  
Thomas Eiter ◽  
Georg Gottlob
Keyword(s):  
Query Language ◽  
Default Logic

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

1994 ◽  
pp. 27-38 ◽  
Author(s):  
John A. Barnden ◽  
Stephen Helmreich ◽  
Eric Iverson ◽  
Gees C. Stein
Keyword(s):  
Mental States
Load More ...
Sign in / Sign up

Export Citation Format

Share Document