scientific article; zbMATH DE number 3298340
From MaRDI portal
Publication:5578545
zbMath0187.13301MaRDI QIDQ5578545
Publication date: 1968
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Unnamed Item, Computer-aided proofs of Arrow's and other impossibility theorems, An algebraic semantics approach to the effective resolution of type equations, Controlling recursive inference, Mechanical verification on strategies, The representation and manipulation of the algorithmic probability measure for problem solving., Context-dependent retrieval of information by neural-network dynamics with continuous attractors, Pouring liquids: a study in commonsense physical reasoning, The well-designed young mathematician, The transformational creativity hypothesis, Context analysis in the sentence using rough relations, Computational approaches to analogical reasoning: A comparative analysis, Symbolic reasoning among 3-D models and 2-D images, Dynamic reasoning with qualified syllogisms, Model and algorithm of the conceptual scheme formation for knowledge domain in distance learning, Theory construction in psychology: The interpretation and integration of psychological data, Analogical proportions: from equality to inequality, Existential assertions and quantum levels on the tree of the situation calculus, Knowledge and communication: A first-order theory, A framework for knowledge-based systems, Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes), Experiences with an interactive museum tour-guide robot, Smart office robot collaboration based on multi-agent programming, A computational framework for conceptual blending, The complexity of path-based defeasible inheritance, How does a box work? A study in the qualitative dynamics of solid objects, Representation of structure in similarity data: problems and prospects, An associative-categorical model of word meaning, Recognizing patterns: Are there processes that precede feature analysis, ARTIFICIAL INTELLIGENCE—A NEW DISCIPLINE IN THE COMPUTER SCIENCES (A VIEWPOINT), KNOWLEDGE REPRESENTATION: A SURVEY OF ITS MECHANISMS, A SKETCH OF ITS SEMANTICS, Algebraic properties of state-space approach to problem solving†, Conversational language comprehension using integrated pattern-matching and parsing, On the evolution of artificial intelligence, Generalized means-ends analysis and artificial intelligence, Formal methods in the design of question-answering systems, Physically-relativized Church-Turing hypotheses: physical foundations of computing and complexity theory of computational physics, Long-term memory modules, Understanding dynamic scenes, Formal semantic and computer text processing, 1982, Unnamed Item, Reasoning, nonmonotonicity and learning in connectionist networks that capture propositional knowledge, Proving properties of states in the situation calculus, Complex structures and composite models - An essay on methodology, Knowledge, action, and the frame problem, Reasoning with infinite stable models
