Off-line reasoning for on-line efficiency: knowledge bases
- 30 June 1996
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 83 (2) , 229-239
- https://doi.org/10.1016/0004-3702(95)00015-1
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Off-line reasoning for on-line efficiency: knowledge basesArtificial Intelligence, 1996
- On computational social laws for dynamic non-homogeneous social structures*Journal of Experimental & Theoretical Artificial Intelligence, 1995
- On social laws for artificial agent societies: off-line designArtificial Intelligence, 1995
- Model Checking vs. Theorem Proving: A ManifestoPublished by Elsevier ,1991
- Logic and the Complexity of ReasoningPublished by Springer Nature ,1989
- Logic and the complexity of reasoningJournal of Philosophical Logic, 1988
- Multiple-query optimizationACM Transactions on Database Systems, 1988
- A theory of the learnableCommunications of the ACM, 1984
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976
- Word concepts: A theory and simulation of some basic semantic capabilitiesBehavioral Science, 1967