Automated Reasoning | Sciweavers

43

ICCBR
2001
Springer

185views Automated Reasoning» more ICCBR 2001»

A Fuzzy-Rough Approach for Case Base Maintenance

14 years 4 months ago

Abstract. This paper proposes a fuzzy-rough method of maintaining CaseBased Reasoning (CBR) systems. The methodology is mainly based on the idea that a large case library can be tr...

Guoqing Cao, Simon C. K. Shiu, Xizhao Wang

claim paper

Read More »

23

click to vote

ICCBR
2001
Springer

121views Automated Reasoning» more ICCBR 2001»

Case-Based Reasoning in Course Timetabling: An Attribute Graph Approach

14 years 4 months ago

Download www.cs.nott.ac.uk

Edmund K. Burke, Bart L. MacCarthy, Sanja Petrovic...

claim paper

Read More »

30

click to vote

ICCBR
2001
Springer

111views Automated Reasoning» more ICCBR 2001»

Conversational Case-Based Planning for Agent Team Coordination

14 years 4 months ago

Download www.cs.cmu.edu

Joseph A. Giampapa, Katia P. Sycara

claim paper

Read More »

14

click to vote

ICCBR
2001
Springer

111views Automated Reasoning» more ICCBR 2001»

A Declarative Similarity Framework for Knowledge Intensive CBR

14 years 4 months ago

Download gaia.fdi.ucm.es

Belén Díaz-Agudo, Pedro A. Gonz&aacu...

claim paper

Read More »

41

click to vote

ICCBR
2001
Springer

139views Automated Reasoning» more ICCBR 2001»

Taxonomic Conversational Case-Based Reasoning

14 years 4 months ago

Download www.kalyangupta.net

Conversational Case-Based Reasoning (CCBR) systems engage a user in a series of questions and answers to retrieve cases that solve his/her current problem. Help-desk and interactiv...

Kalyan Moy Gupta

claim paper

Read More »

28

click to vote

FLOPS
2001
Springer

79views Automated Reasoning» more FLOPS 2001»

A Simple Take on Typed Abstract Syntax in Haskell-like Languages

14 years 4 months ago

Download www.brics.dk

Olivier Danvy, Morten Rhiger

claim paper

Read More »

46

click to vote

FLOPS
2001
Springer

111views Automated Reasoning» more FLOPS 2001»

A Simply Typed Context Calculus with First-Class Environments

14 years 4 months ago

Download scholar.lib.vt.edu

We introduce a simply typed λ-calculus λκε which has both contexts and environments as ﬁrst-class values. In λκε, holes in contexts are represented by ordinary variables ...

Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyam...

claim paper

Read More »

34

click to vote

FLOPS
2001
Springer

90views Automated Reasoning» more FLOPS 2001»

A Higher-Order Colon Translation

14 years 4 months ago