AAAI 1994 | Sciweavers

16

AAAI
1994

205views Intelligent Agents» more AAAI 1994»

Using Induction to Refine Information Retrieval Strategies

13 years 5 months ago

Conceptual information retrieval systems use structured document indices, domain knowledge and a set of heuristic retrieval strategies to match user queries with a set of indices ...

Catherine Baudin, Barney Pell, Smadar Kedar

claim paper

Read More »

7

click to vote

AAAI
1994

111views Intelligent Agents» more AAAI 1994»

Knowledge Refinement in a Reflective Architecture

13 years 5 months ago

Download www.aaai.org

A knowledge acquisition tool should provide a user with maximum guidance in extending and debugging a knowledge base, by preventing inconsistencies and knowledge gaps that may ari...

Yolanda Gil

claim paper

Read More »

10

click to vote

AAAI
1994

85views Intelligent Agents» more AAAI 1994»

An Instructional Environment for Practicing Argumentation Skills

13 years 5 months ago

Download www.aaai.org

CAT0 is an instructions environment for practicing basic skills of legal research: to use cases in arguments about a problem situation and to test a theory about a legal domain. U...

Vincent Aleven, Kevin D. Ashley

claim paper

Read More »

13

click to vote

AAAI
1994

106views Intelligent Agents» more AAAI 1994»

Soundness and Completeness of a Logic Programming Approach to Default Logic

13 years 5 months ago

Download www.aaai.org

We present a method of representing some classes of default theories as normal logic programs. The main point is that the standard semantics (i.e. SLDNF-resolution) computes answe...

Grigoris Antoniou, Elmar Langetepe

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers