Search for Author All Reviews
	Bacchus, Fahiem     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 3 of 3 reviews       Using temporal logics to express search control knowledge for planning Bacchus F., Kabanza F. Artificial Intelligence 116(1-2): 123-191, 2000.  Type: Article The authors describe how temporal logic can be used to provide an otherwise domain-independent planner with domain-dependent information to speed up the planning process. The flavor of the approach can be illustrated with the example o...... Jun 1 2000     A non-reified temporal logic Bacchus F., Tenenberg J., Koomen J. Artificial Intelligence 52(1): 87-108, 1991.  Type: Article The natural straightforward way to express properties that change in time is to add time as an argument to all the functions, propositions, and predicates. Those who formalize commonsense reasoning rarely do this, for two reasons. Firs...... Oct 1 1992     Representing and reasoning with probabilistic knowledge: a logical approach to probabilities Bacchus F., MIT Press, Cambridge, MA, 1990.  Type: Book (9780262023177) The author makes an important scientific contribution to the theory of knowledge and automatic decision making. The book will be a reference on fundamental research as well as a useful instrument for scientists, philosophers, and advan...... Dec 1 1991
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy