Sciweavers

Share
IJCAI
1989
9 years 8 months ago
Utilization Filtering: A Method for Reducing the Inherent Harmfulness of Deductively Learned Knowledge
This paper highlights a phenomenon that causes deductively learned knowledge to be harmful when used for problem solving. The problem occurs when deductive problem solvers encount...
Shaul Markovitch, Paul D. Scott
IJCAI
1989
9 years 8 months ago
A Framework for Network Modeling in Prolog
A new formalism for building network models in Prolog is proposed. It is based on a new semantic interpretation of the Prolog variables and clauses, which are used to represent th...
Z. I. Markov
IJCAI
1989
9 years 8 months ago
The Specialization and Transformation of Constructive Existence Proofs
The transformation of constructive program synthesis proofs is discussed and compared with the more traditional approaches to program transformation. An example system for adaptin...
Peter Madden
IJCAI
1989
9 years 8 months ago
Chart Parsing of Flowgraphs
This paper will present a generalisation of chart parsing able to cope with the case where the object being parsed is a particular kind of diagram (a flowgraph) and the grammar is...
Rudi Lutz
IJCAI
1989
9 years 8 months ago
Alternatives for Classifier System Credit Assignment
Gunar E. Liepins, Mike R. Hilliard, Mark R. Palmer...
IJCAI
1989
9 years 8 months ago
Can Early Stage Vision Detect Topology
The apparent motion reveals what in an image that human vision detects first. Chen's assumption that early stage vision can percept global topology is proved incorrect in the...
Lifu Liu, Nanyuan Zhao, Bian Zhaoqi
IJCAI
1989
9 years 8 months ago
Focus of Control Through Goal Relationships
Victor R. Lesser, Daniel D. Corkill, Robert Whiteh...
IJCAI
1989
9 years 8 months ago
On the Declarative Semantics of Inheritance Networks
Usually, semantics of inheritance networks is specified indirectly through a translation into one of the standard logical formalisms. Since such translation involves an algorithmi...
Krishnaprasad Thirunarayan, Michael Kifer, David S...
books