Journal of Logic Programming
Semantical considerations on nonmonotonic logic
Artificial Intelligence
Executing temporal logic programs
Executing temporal logic programs
Automata-Theoretic techniques for modal logics of programs
Journal of Computer and System Sciences
MOLOG: A system that extends PROLOG with modal logic
New Generation Computing
Results on translating defaults to circumscription
Artificial Intelligence
Modal and temporal logic programming
Temporal logics and their applications
Readings in nonmonotonic reasoning
Readings in nonmonotonic reasoning
Computational complexity of terminological reasoning in BACK
Artificial Intelligence
On the relation between default and autoepistemic logic
Artificial Intelligence
A four-valued semantics for terminological logics
Artificial Intelligence
CLASSIC: a structural data model for objects
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
General theory of cumulative inference
Proceedings of the 2nd international workshop on Non-monotonic reasoning
Journal of Symbolic Computation
Terminological reasoning is inherently intractable (research note)
Artificial Intelligence
Logic programs with classical negation
Logic programming
Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
Reasoning and revision in hybrid representation systems
Reasoning and revision in hybrid representation systems
Theoretical foundations for non-monotonic reasoning in expert systems
Logics and models of concurrent systems
LaSSIE: a knowledge-based software information system
Communications of the ACM - Special issue on software engineering
Negation by default and unstratifiable logic programs
Selected papers of the workshop on Deductive database theory
What does a conditional knowledge base entail?
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Between circumscription and autoepistemic logic
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Subsumption in KL-ONE is undecidable
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Attributive concept descriptions with complements
Artificial Intelligence
Handbook of theoretical computer science (vol. B)
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
KRIS: Knowledge Representation and Inference System
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
Inside the LOOM description classifier
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
Foundations of disjunctive logic programming
Foundations of disjunctive logic programming
The complexity of existential quantification in concept languages
Artificial Intelligence
A guide to completeness and complexity for modal logics of knowledge and belief
Artificial Intelligence
Journal of Intelligent Information Systems - Special issue on methodologies for intelligent systems
Subsumption between queries to object-oriented databases
Information Systems - Special issue on extending database technology
Handbook of logic in artificial intelligence and logic programming
Handbook of logic in artificial intelligence and logic programming
Handbook of logic in artificial intelligence and logic programming (vol. 1)
General patterns in nonmonotonic reasoning
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Boosting the correspondence between description logics and propositional dynamic logics
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
On the relative expressiveness of description logics and predicate logics
Artificial Intelligence
Cardinality restrictions on concepts
Artificial Intelligence
Incoherence and subsumption for recursive views and queries in object-oriented data models
Data & Knowledge Engineering
Reasoning in description logics
Principles of knowledge representation
Nonmonotonic Logic II: Nonmonotonic Modal Theories
Journal of the ACM (JACM)
The Frame Problem in Artificial Intelligence: Proceedings of the 1987 Workshop April 12-15, 1987 Lawrence, Kansas
Nonmonotonic Logic: Context-Dependent Reasoning
Nonmonotonic Logic: Context-Dependent Reasoning
Resolution Methods for the Decision Problem
Resolution Methods for the Decision Problem
Readings in Knowledge Representation
Readings in Knowledge Representation
Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning
LPNMR '95 Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning
Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Combining Terminological Logics with Tense Logic
EPIA '93 Proceedings of the 6th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
Logic for Knowledge Representation
Proceedings of the Fourth Conference on Foundations of Software Technology and Theoretical Computer Science
Simplification and Backjumping in Modal Tableau
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Extensions of Concept Languages for a Mechanical Engineering Application
GWAI '92 Proceedings of the 16th German Conference on Artificial Intelligence: Advances in Artificial Intelligence
A Concept Language Extended with Different Kinds of Transitive Roles
KI '96 Proceedings of the 20th Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Hybrid Inferences in KL-ONE-Based Knowledge Representation Systems
GWAI '90 Proceedings of the 14th German Workshop on Artificial Intelligence
Propositional Dynamic Logics of Programs: a Survey
Logic of Programs, Workshop
A Terminological Knowledge Representation System with Complete Inference Algorithms
PDK '91 Proceedings of the International Workshop on Processing Declarative Knowledge
Optimising Propositional Modal Satisfiability for Description Logic Subsumption
AISC '98 Proceedings of the International Conference on Artificial Intelligence and Symbolic Computation
AI*IA '97 Proceedings of the 5th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
A Resolution Decision Procedure for the Guarded Fragment
CADE-15 Proceedings of the 15th International Conference on Automated Deduction: Automated Deduction
Complexity of Two-Variable Logic with Counting
LICS '97 Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science
Two-variable logic with counting is decidable
LICS '97 Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science
Propositional modal logic of programs
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
A Description Logic with Transitive and Converse Roles and Role Hierarchies
A Description Logic with Transitive and Converse Roles and Role Hierarchies
Decidable reasoning in terminological knowledge representation systems
Journal of Artificial Intelligence Research
A semantics and complete algorithm for subsumption in the classic description logic
Journal of Artificial Intelligence Research
On the relation between autoepistemic logic and circumscription
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
On evaluating decision procedures for modal logic
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
Terminological logics with modal operators
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Augmenting concept languages by transitive closure of roles: an alternative to terminological cycles
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
A scheme for integrating concrete domains into concept languages
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
A correspondence theory for terminological logics: preliminary report
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Description logic in practice: a CLASSIC application
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Verification of knowledge bases based on containment checking
Artificial Intelligence
A Classification Theory Of Semantics Of Normal Logic Programs: I. Strong Properties
Fundamenta Informaticae
A Classification Theory Of Semantics Of Normal Logic Programs: Ii. Weak Properties
Fundamenta Informaticae
ICCBR '01 Proceedings of the 4th International Conference on Case-Based Reasoning: Case-Based Reasoning Research and Development
NEXP TIME-complete description logics with concrete domains
ACM Transactions on Computational Logic (TOCL)
Knowledge representation in systems with natural language interface
CompSysTech '07 Proceedings of the 2007 international conference on Computer systems and technologies
Knowledge formalization in experience feedback processes: An ontology-based approach
Computers in Industry
Generalized Abstract Argumentation: Handling Arguments in FOL Fragments
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Knowledge sharing between agents in a transitioning organization
COIN'07 Proceedings of the 2007 international conference on Coordination, organizations, institutions, and norms in agent systems III
Role-based design of computational intelligence multi-agent system
Proceedings of the International Conference on Management of Emergent Digital EcoSystems
Description and generation of computational agents
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
Hierarchical knowledge integration using layered conceptual graphs
ICCS'05 Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge
On the decidability and complexity of identity knowledge representation
DASFAA'12 Proceedings of the 17th international conference on Database Systems for Advanced Applications - Volume Part I
AI in medicine on its way from knowledge-intensive to data-intensive systems
Artificial Intelligence in Medicine
Towards ABox Modularization of semi-expressive Description Logics
Applied Ontology - Modularity in Ontologies
Hi-index | 0.00 |
After a short analysis of the requirements that a knowledge representation language must satisfy, we introduce Description Logics, Modal Logics, and Nonmonotonic Logics as formalisms for representing terminological knowledge, time-dependent or subjective knowledge, and incomplete knowledge respectively. At the end of each section, we briefly comment on the connection to Logic Programming.