Expressiveness and tractability in knowledge representation and reasoning1
- 1 February 1987
- journal article
- Published by Wiley in Computational Intelligence
- Vol. 3 (1) , 78-93
- https://doi.org/10.1111/j.1467-8640.1987.tb00176.x
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Making believers out of computersArtificial Intelligence, 1986
- Ordering conjunctive queriesArtificial Intelligence, 1985
- Foundations of a functional approach to knowledge representationArtificial Intelligence, 1984
- A new use of an automated reasoning assistant: Open questions in equivalential calculus and the study of infinite domainsArtificial Intelligence, 1984
- Maintaining knowledge about temporal intervalsCommunications of the ACM, 1983
- Generation and Verification of Finite Models and Counterexamples Using an Automated Theorem Prover Answering Two Open QuestionsJournal of the ACM, 1982
- A logic for default reasoningArtificial Intelligence, 1980
- Simplification by Cooperating Decision ProceduresACM Transactions on Programming Languages and Systems, 1979
- On Closed World Data BasesPublished by Springer Nature ,1978
- A spreading-activation theory of semantic processing.Psychological Review, 1975