IJCAI 2007 | Sciweavers

34

IJCAI
1989

100views Artificial Intelligence» more IJCAI 1989»

Reducing the Derivation of Redundant Clauses in Reasoning Systems

14 years 1 months ago

This paper addresses two problems concerning the issue of redundant information in resolution based reasoning systems. The first one deals with the question, how the derivation of...

Rolf Socher-Ambrosius

claim paper

Read More »

40

click to vote

IJCAI
1989

88views Artificial Intelligence» more IJCAI 1989»

Time for Action: On the Relation Between Time, Knowledge and Action

14 years 1 months ago

Download dli.iiit.ac.in

We consider the role played by the concept of action in AI. We first briefly summarize the advantages and limitations of past approaches to taking the concept as primitive, as emb...

Yoav Shoham

claim paper

Read More »

25

click to vote

IJCAI
1989

82views Artificial Intelligence» more IJCAI 1989»

A Computational Structure for the Propositional Calculus

14 years 1 months ago

Download dli.iiit.ac.in

M. J. Shensa

claim paper

Read More »

32

click to vote

IJCAI
1989

111views Artificial Intelligence» more IJCAI 1989»

Towards a General Framework for Composing Disjunctive and Iterative Macro-operators

14 years 1 months ago

Download dli.iiit.ac.in

Inducing disjunctive and iterative macro-operators from empirical problem-solving traces provides a more powerful knowledge compilation method than simple linear macro-operators. ...

Peter Shell, Jaime G. Carbonell

claim paper

Read More »

25

click to vote

IJCAI
1989

84views Artificial Intelligence» more IJCAI 1989»

Minimizing Response Times in Real Time Planning and Search

14 years 1 months ago

Download ijcai.org

Shashi Shekhar, Soumitra Dutta

claim paper

Read More »

31

click to vote

IJCAI
1989

111views Artificial Intelligence» more IJCAI 1989»

Acquiring Recursive Concepts with Explanation-Based Learning

14 years 1 months ago

Download dli.iiit.ac.in

Explanation-based generalization algorithms need to generalize the structure of their explanations. This is necessary in order to acquire concepts where a recursive or iterative p...

Jude W. Shavlik

claim paper

Read More »

35

click to vote

IJCAI
1989

121views Artificial Intelligence» more IJCAI 1989»

Prediction is Deduction but Explanation is Abduction

14 years 1 months ago

Download www.doc.ic.ac.uk

This paper presents an approach to temporal reasoning in which prediction is deduction but explanation is abduction. It is argued that all causal laws should be expressed in the n...

Murray Shanahan

claim paper

Read More »

27

click to vote

IJCAI
1989

106views Artificial Intelligence» more IJCAI 1989»

Fast Recursive Formulations for Best-First Search That Allow Controlled Use of Memory

14 years 1 months ago

Download ijcai.org

Anup K. Sen, Amitava Bagchi

claim paper

Read More »

35

click to vote

IJCAI
1989

103views Artificial Intelligence» more IJCAI 1989»

Learning Novel Domains Through Curiosity and Conjecture

14 years 1 months ago

Download ijcai.org

This paper describes DIDO, a system we have developed to carry out exploratory learning of unfamiliar domains without assistance from an external teacher. The program incorporates...

Paul D. Scott, Shaul Markovitch

claim paper

Read More »

34

click to vote

IJCAI
1989

93views Artificial Intelligence» more IJCAI 1989»

The Reason for the Benefits of Minimax Search

14 years 1 months ago

Download ijcai.org

based on an abstract concept of quiescence. In the following we sketch this and a related model, describe the design of our experiments, and present the results of our simulation s...

Anton Scheucher, Hermann Kaindl

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers