Sciweavers

1114 search results - page 9 / 223

» An Architecture for Peer-to-peer Reasoning

85

EXPERT
2007

52views more EXPERT 2007»

CARA: A Cultural-Reasoning Architecture

15 years 6 months ago

CARA: A Cultural-Reasoning Architecture

Download www.umiacs.umd.edu

V. S. Subrahmanian, Massimiliano Albanese, Maria V...

claim paper

Read More »

73

IBMSJ
2002

34views more IBMSJ 2002»

An architecture of diversity for commonsense reasoning

15 years 5 months ago

An architecture of diversity for commonsense reasoning

Download web.media.mit.edu

John McCarthy, Marvin Minsky, Aaron Sloman, Leigua...

claim paper

Read More »

139

IFM
2010
Springer

111views Formal Methods» more IFM 2010»

Verification Architectures: Compositional Reasoning for Real-Time Systems

15 years 4 months ago

Verification Architectures: Compositional Reasoning for Real-Time Systems

Download csd.informatik.uni-oldenburg.de

Johannes Faber

claim paper

Read More »

154

ICCBR
2001
Springer

136views Automated Reasoning» more ICCBR 2001»

Collaborative Case-Based Reasoning: Applications in Personalised Route Planning

15 years 10 months ago

Collaborative Case-Based Reasoning: Applications in Personalised Route Planning

Download gaia.fdi.ucm.es

Abstract. Distributed case-based reasoning architectures have the potential to improve the overall performance of case-based reasoning systems. In this paper we describe a collabor...

Lorraine McGinty, Barry Smyth

claim paper

Read More »

131

DLOG
1996

99views Automated Reasoning» more DLOG 1996»

The K-Rep System Architecture

15 years 7 months ago

The K-Rep System Architecture

Download www.inf.unibz.it

Robert A. Weida, Eric Mays, Robert Dionne, Meir La...

claim paper

Read More »

« Prev « First page 9 / 223 Last » Next »