scientific article; zbMATH DE number 714922
From MaRDI portal
Publication:4321736
zbMath0819.68116MaRDI QIDQ4321736
Johan de Kleer, Kenneth D. Forbus
Publication date: 24 January 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Logic in artificial intelligence (68T27) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) General topics in artificial intelligence (68T01)
Related Items
A Logic of East and West, Applying intelligent agents technology in a collaborative work environment, The common order-theoretic structure of version spaces and ATMSs, Support set selection for abductive and default reasoning, New architectures for constructed complex systems, CyclePad: An articulate virtual laboratory for engineering thermodynamics, A new method for knowledge compilation: The achievement by cycle search, Agenda control for heterogeneous reasoners, Study of the diagnosability of automated production systems based on functional graphs, The Decomposition Tree for analyses of Boolean functions, Model-based diagnostics and probabilistic assumption-based reasoning, Dynamic generation, management and resolution of interactive plots, Exact knowledge compilation in predicate calculus: The partial achievement case, The achievement of knowledge bases by cycle search.
