Finding optimal derivation strategies in redundant knowledge bases

Artificial Intelligence 50 (1):95-115 (1991)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(91)90092-x

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Finding optimal satisficing strategies for and-or trees.Russell Greiner, Ryan Hayward, Magdalena Jankowska & Michael Molloy - 2006 - Artificial Intelligence 170 (1):19-58.
Probably approximately optimal satisficing strategies.Russell Greiner & Pekka Orponen - 1996 - Artificial Intelligence 82 (1-2):21-44.
Optimal compression of propositional Horn knowledge bases: complexity and approximation.Peter L. Hammer & Alexander Kogan - 1993 - Artificial Intelligence 64 (1):131-145.
Mode, median, and mean as optimal strategies.Cameron Peterson & Alan Miller - 1964 - Journal of Experimental Psychology 68 (4):363.
Ethical and methodological aspects of medical computer data bases and knowledge bases.Jan Doroszewski - 1988 - Theoretical Medicine and Bioethics 9 (2).
Optimal search strategies for optimal motor solutions: Self-determination or informed guidance?C. B. Walter & K. Kamm - 1996 - Behavioral and Brain Sciences 19 (1):91-92.
On the Art of Finding Arguments: What Ancient and Modern Masters of Invention Have to Tell Us About the "Ars Inveniendi".Manfred Kienpointner - 1997 - Argumentation 11 (2):225-236.
Towards Modeling False Memory With Computational Knowledge Bases.Justin Li & Emma Kohanyi - 2016 - Topics in Cognitive Science 8 (4).
Towards Modeling False Memory With Computational Knowledge Bases.Justin Li & Emma Kohanyi - 2017 - Topics in Cognitive Science 9 (1):102-116.
Searle’s Derivation, Natural Law, and Moral Relativism.Edmund Wall - 2008 - Philosophia 36 (2):237-249.
Test : La sous-spécification flexionnelle des bases de dérivation en question à la lumière de la morphologie bretonne.Pierre-Yves Kersulec - 2011 - Corela. Cognition, Représentation, Langage 9 (1).
Why the Naïve Derivation Recipe Model Cannot Explain How Mathematicians’ Proofs Secure Mathematical Knowledge.Brendan Larvor - 2016 - Philosophia Mathematica 24 (3):401-404.
Two strategies for investigating the evolution of behavior.Michael Trestman - 2011 - Biology and Philosophy 26 (6):871-889.
On the emergence of reasons in inductive logic.J. Paris & M. Wafy - 2001 - Logic Journal of the IGPL 9 (2):207-216.
Applications of paraconsistency in data and knowledge bases.John Grant & V. S. Subrahmanian - 2000 - Synthese 125 (1-2):121-132.

Analytics

Added to PP
2020-12-22

Downloads
3 (#1,686,544)

6 months
3 (#992,474)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Bounding the cost of learned rules.Jihie Kim & Paul S. Rosenbloom - 2000 - Artificial Intelligence 120 (1):43-80.
PALO: a probabilistic hill-climbing algorithm.Russell Greiner - 1996 - Artificial Intelligence 84 (1-2):177-208.

Add more citations

References found in this work

Controlling backward inference.David E. Smith - 1989 - Artificial Intelligence 39 (2):145-208.
Ordering conjunctive queries.David E. Smith & Michael R. Genesereth - 1985 - Artificial Intelligence 26 (2):171-215.

View all 6 references / Add more references