Introduction to mathematical logic (3rd ed.)
Introduction to mathematical logic (3rd ed.)
Program development by stepwise refinement
Communications of the ACM
A relational model of data for large shared data banks
Communications of the ACM
Conceptual Information Processing
Conceptual Information Processing
A Computer Model of Skill Acquisition
A Computer Model of Skill Acquisition
Understanding Natural Language
Understanding Natural Language
Logic and Data Bases
Pattern-Directed Inference Systems
Pattern-Directed Inference Systems
Associative Networks: The Representation and Use of Knowledge by Computers
Associative Networks: The Representation and Use of Knowledge by Computers
Prolegomena to a theory of formal reasoning
Prolegomena to a theory of formal reasoning
The application of theorem proving to question-answering systems
The application of theorem proving to question-answering systems
On knowing what to say: planning speech acts.
On knowing what to say: planning speech acts.
Special issue on knowledge representation
ACM SIGART Bulletin
Problem-Solving Methods in Artificial Intelligence
Problem-Solving Methods in Artificial Intelligence
Representation and Understanding: Studies in Cognitive Science
Representation and Understanding: Studies in Cognitive Science
Semantic database modeling: survey, applications, and research issues
ACM Computing Surveys (CSUR)
Object database support for a software project management environment
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Three principles of representation for semantic networks
ACM Transactions on Database Systems (TODS)
Logic and Databases: A Deductive Approach
ACM Computing Surveys (CSUR)
Data management and model management: a relational synthesis
ACM-SE 20 Proceedings of the 20th annual Southeast regional conference
A Modularization Mechanism for Conceptual Modeling
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
DAC '83 Proceedings of the 20th Design Automation Conference
System/K: a knowledge base management system
SSDBM'83 Proceedings of the 2nd international workshop on Proceedings of the Second International Workshop on Statistical Database Management
Ontology RepresentationDesign Patterns and Ontologies that Make Sense
Proceedings of the 2009 conference on Ontology Representation: Design Patterns and Ontologies that Make Sense
Knowledge-based modeling for disruption management in urban distribution
Expert Systems with Applications: An International Journal
A PAM approach to handling disruptions in real-time vehicle routing problems
Decision Support Systems
Knowledge-Based Policy Conflict Analysis in Mobile Social Networks
Wireless Personal Communications: An International Journal
Hi-index | 0.00 |
This is a brief overview of terminology and issues related to Knowledge Representation (here-after KR) research, intended primarily for researchers working on Semantic Data Models within Database Management and Program Specifications within Programming Languages/Software Engineering. Knowledge Representation is a central problem in Artificial Intelligence (AI) today. Its importance stems from the fact that the current design paradigm for “intelligent” systems stresses the need for expert knowledge in the system along with associated knowledge-handling facilities. This paradigm is in sharp contrast to earlier ones which might be termed “power-oriented” [Goldstein and Papert 77] in that they placed an emphasis on general purpose heuristic search techniques [Nilsson 71].