IJCAI 2007 | Sciweavers

35

IJCAI
1989

92views Artificial Intelligence» more IJCAI 1989»

Utilization Filtering: A Method for Reducing the Inherent Harmfulness of Deductively Learned Knowledge

14 years 1 months ago

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

claim paper

Read More »

28

click to vote

IJCAI
1989

114views Artificial Intelligence» more IJCAI 1989»

A Framework for Network Modeling in Prolog

14 years 1 months ago

Download dli.iiit.ac.in

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

claim paper

Read More »

43

click to vote

IJCAI
1989

99views Artificial Intelligence» more IJCAI 1989»

The Specialization and Transformation of Constructive Existence Proofs

14 years 1 months ago

Download dli.iiit.ac.in

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

claim paper

Read More »

29

click to vote

IJCAI
1989

108views Artificial Intelligence» more IJCAI 1989»

Chart Parsing of Flowgraphs

14 years 1 months ago

Download dli.iiit.ac.in

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

claim paper

Read More »

21

click to vote

IJCAI
1989

87views Artificial Intelligence» more IJCAI 1989»

Extending Reflective Architectures

14 years 1 months ago

Download dli.iiit.ac.in

Timothy M. Lownie

claim paper

Read More »

17

click to vote

IJCAI
1989

107views Artificial Intelligence» more IJCAI 1989»

Alternatives for Classifier System Credit Assignment

14 years 1 months ago

Download dli.iiit.ac.in

Gunar E. Liepins, Mike R. Hilliard, Mark R. Palmer...

claim paper

Read More »

36

click to vote

IJCAI
1989

126views Artificial Intelligence» more IJCAI 1989»

Can Early Stage Vision Detect Topology

14 years 1 months ago

Download dli.iiit.ac.in

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

claim paper

Read More »

21

click to vote

IJCAI
1989

74views Artificial Intelligence» more IJCAI 1989»

Focus of Control Through Goal Relationships

14 years 1 months ago

Download dli.iiit.ac.in

Victor R. Lesser, Daniel D. Corkill, Robert Whiteh...

claim paper

Read More »

32

click to vote

IJCAI
1989

112views Artificial Intelligence» more IJCAI 1989»

On the Declarative Semantics of Inheritance Networks

14 years 1 months ago

Download dli.iiit.ac.in

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...

claim paper

Read More »

22

click to vote

IJCAI
1989

90views Artificial Intelligence» more IJCAI 1989»

Experience Learning in Model-Based Diagnostic Systems

14 years 1 months ago