Communications of the ACM
PLEXACT: an architecture & design of a knowledge-based system for information systems development
ACM SIGCPR Computer Personnel
The subworld concept lexicon and the lexicon management system
Computational Linguistics - Special issue of the lexicon
Qualitative engineering at various levels of conception design and evaluation of structures
IEA/AIE '89 Proceedings of the 2nd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
ODE (Object Database and Environment): the language and the data model
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Efficient management of transitive relationships in large data and knowledge bases
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Legal reasoning - a jurisprudential description
ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
A knowledge-based and decision support system for the planning of material handling systems
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
Telos: representing knowledge about information systems
ACM Transactions on Information Systems (TOIS)
An architecture for distributed knowledge based-systems
ACM SIGMIS Database
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
Algernon—a tractable system for knowledge-representation
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
Automatic text structuring and retrieval-experiments in automatic encyclopedia searching
SIGIR '91 Proceedings of the 14th annual international ACM SIGIR conference on Research and development in information retrieval
Editorial: Knowledge Representation and Reasoning in Software Engineering
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Graph-based retrieval of information in hypertext systems
SIGDOC '92 Proceedings of the 10th annual international conference on Systems documentation
A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis
IEEE Transactions on Software Engineering - Special issue on software maintenance
ACM Transactions on Modeling and Computer Simulation (TOMACS)
What can machines know?: On the properties of knowledge in distributed systems
Journal of the ACM (JACM)
Experiments with Oval: a radically tailorable tool for cooperative work
ACM Transactions on Information Systems (TOIS)
COLT '95 Proceedings of the eighth annual conference on Computational learning theory
Formal refinement patterns for goal-driven requirements elaboration
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
MULTIMEDIA '96 Proceedings of the fourth ACM international conference on Multimedia
Inferring Declarative Requirements Specifications from Operational Scenarios
IEEE Transactions on Software Engineering
Integrating obstacles in goal-driven requirements engineering
Proceedings of the 20th international conference on Software engineering
Adding more “DL” to IDL: towards more knowledgeable component inter-operability
Proceedings of the 21st international conference on Software engineering
Logical tool of knowledge engineering: using entailment logic rather than mathematical logic
CSC '91 Proceedings of the 19th annual conference on Computer Science
Requirements engineering in the year 00: a research perspective
Proceedings of the 22nd international conference on Software engineering
Production and maintenance environments for interactive audio-visual stories
MULTIMEDIA '00 Proceedings of the 2000 ACM workshops on Multimedia
Lattice computers for approximating Euclidean space
Journal of the ACM (JACM)
Designing annotation before it's needed
MULTIMEDIA '01 Proceedings of the ninth ACM international conference on Multimedia
Description logics of minimal knowledge and negation as failure
ACM Transactions on Computational Logic (TOCL)
A perspective on symbolic mathematical computing and artificial intelligence
Annals of Mathematics and Artificial Intelligence
Two Projects for Understanding the Mind: A Response toMorris and Richardson
Minds and Machines
Holism, Conceptual-Role Semantics, and Syntactic Semantics
Minds and Machines
Semantics in Visual Information Retrieval
IEEE MultiMedia
Knowledge Representation in Fuzzy Logic
IEEE Transactions on Knowledge and Data Engineering
Viewing Knowledge Bases as Qualitative Models
IEEE Expert: Intelligent Systems and Their Applications
Description Logics and Their Relationships with Databases
ICDT '99 Proceedings of the 7th International Conference on Database Theory
Conceptual Structures Represented by Conceptual Graphs and Formal Concept Analysis
ICCS '99 Proceedings of the 7th International Conference on Conceptual Structures: Standards and Practices
Ode as an Active Database: Constraints and Triggers
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Building the Semantic Web on XML
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Computational Logic: Memories of the Past and Challenges for the Future
CL '00 Proceedings of the First International Conference on Computational Logic
The Role and Modeling of Context in a Cognitive Model of Rogers' Person-Centred Approach
CONTEXT '01 Proceedings of the Third International and Interdisciplinary Conference on Modeling and Using Context
Denotative and connotative semantics in hypermedia: proposal for a semiotic-aware architecture
The New Review of Hypermedia and Multimedia
Social theory and agent architectures: prospective issues in rapid-discovery social science
Social Science Computer Review
Reconciling System Requirements and Runtime Behavior
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
The description logic handbook
Applying tacit knowledge management techniques for performance assessment
Computers & Education
Knowledge-based security administration in a distributed environment
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: distributed computing - Volume 2
SyDeR—System design for reusability
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Saying What it Means: Semi-Automated (News) Media Annotation
Multimedia Tools and Applications
A New Look at Information Retrieval Evaluation: Proposal for Solutions
Journal of Medical Systems
EACL '93 Proceedings of the sixth conference on European chapter of the Association for Computational Linguistics
Some uses of higher-order logic in computational linguistics
ACL '86 Proceedings of the 24th annual meeting on Association for Computational Linguistics
From tableaux to automata for description logics
Fundamenta Informaticae
Human-computer interaction for semantic disambiguation
COLING '90 Proceedings of the 13th conference on Computational linguistics - Volume 3
Un systeme inferentiel oriente objet pour des applications en langues naturelles
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 2
Uniscript: a model for persistent and incremental knowledge storage
Proceedings of the the 1st ACM workshop on Continuous archival and retrieval of personal experiences
Inheritance processing and conflicts in structural generalization hierarchies
ACM Computing Surveys (CSUR)
Artificial Intelligence Review
Book review: Theoretical Aspects of Reasoning about Knowledge
ACM SIGART Bulletin
Encyclopedia of Computer Science
Model representation with aesthetic computing: Method and empirical study
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Mathematical applications of inductive logic programming
Machine Learning
A hybrid sales forecasting system based on clustering and decision trees
Decision Support Systems
Human-Computer Interaction
Distinctions Produce a Taxonomic Lattice: Are These the Units of Mentalese?
Proceedings of the 2006 conference on Formal Ontology in Information Systems: Proceedings of the Fourth International Conference (FOIS 2006)
Symbols and subsymbols for representing knowledge: a catalogue raisonne
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Logical specification of real-time granular systems in an object oriented language
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 2
What's in an aggregate: foundations for description logics with tuples and sets
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Journal of Ambient Intelligence and Smart Environments
A methodology to learn ontological attributes from the Web
Data & Knowledge Engineering
Logic-based knowledge representation
Artificial intelligence today
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
An algebraic approach to modeling creativity of metaphor
Computation for metaphors, analogy, and agents
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
A hybrid framework for representing uncertain knowledge
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
The future of knowledge representation
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
Negation and proof by contradiction in access-limited logic
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
Reasoning and explanation in EL and in expressive description logics
ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
Unifying Conceptual Spaces: Concept Formation in Musical Creative Systems
Minds and Machines
A knowledge representation scheme for DFT
ITC'88 Proceedings of the 1988 international conference on Test: new frontiers in testing
Description logic reasoning for semantic web ontologies
Proceedings of the International Conference on Web Intelligence, Mining and Semantics
Combining description logics and typicality effects in formal ontologies
AI*IA'11 Proceedings of the 12th international conference on Artificial intelligence around man and beyond
Representing and reasoning on typicality in formal ontologies
Proceedings of the 7th International Conference on Semantic Systems
Formal ontologies, exemplars, prototypes
ER'11 Proceedings of the 30th international conference on Advances in conceptual modeling: recent developments and new directions
Journal of Ambient Intelligence and Smart Environments
FG'10/FG'11 Proceedings of the 15th and 16th international conference on Formal Grammar
From Tableaux to Automata for Description Logics
Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
Advanced Engineering Informatics
Introductions to description logics: a guided tour
RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access
Hi-index | 0.02 |
From the Publisher:In Artificial Intelligence, it is often said that the representation of knowledge is the key to the design of robust intelligent systems. In one form or another the principles of Knowledge Representation are fundamental to work in natural language processing, computer vision, knowledge-based expert systems, and other areas. The papers reprinted in this volume have been collected to allow the reader with a general technical background in AI to explore the subtleties of this key subarea. These seminal articles, spanning a quarter-century of research, cover the most important ideas and developments in the representation field. The editors introduce each paper, discuss its relevance and context, and provide an extensive bibliography of other work. Readings in Knowledge Representation is intended to serve as a complete sourcebook for the study of this crucial subject.