scientific article

zbMath0664.68085MaRDI QIDQ3993187

No author found.

Publication date: 23 January 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

General applied mathematics (00A69) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Research exposition (monographs, survey articles) pertaining to biology (92-02) Artificial intelligence (68Txx) Dictionaries and other general reference works (00A20)

Related Items

Memory limited inductive inference machines ⋮ Constraint satisfaction from a deductive viewpoint ⋮ Probability and plurality for aggregations of learning machines ⋮ A model for belief revision ⋮ Solution techniques for the large set covering problem ⋮ Annual Meeting of the Association for Symbolic Logic, Los Angeles, 1989 ⋮ Generalization versus classification ⋮ \(T\)-choosability in graphs ⋮ An intelligent interactive project management support system ⋮ The time-dependent capacitated profitable tour problem with time windows and precedence constraints ⋮ Multilevel enhancement and detection of stereo disparity surfaces ⋮ Learning recursive functions: A survey ⋮ Taming teams with mind changes ⋮ On-line algorithms for satisfiability problems with uncertainty ⋮ Martin Davis’s Bibliography 1950–2015 ⋮ Monotonic and dual monotonic language learning ⋮ On-line algorithms for satisfiability problems with uncertainty ⋮ A game tree with distinct leaf values which is easy for the alpha-beta algorithm ⋮ Semantic networks ⋮ Pattern associativity and the retrieval of semantic networks ⋮ Processing natural language with schema constraint networks ⋮ Constraint reasoning based on interval arithmetic: The tolerance propagation approach ⋮ Restricted dynamic programming: a flexible framework for solving realistic VRPs ⋮ A logical framework for depiction and image interpretation ⋮ Semantics-directed compilation of nonlinear patterns ⋮ Trade-off among parameters affecting inductive inference ⋮ One-sided error probabilistic inductive inference and reliable frequency identification ⋮ Pattern-directed invocation with changing equations ⋮ Training sequences