Search Sciweavers | Sciweavers

3573 search results - page 60 / 715

» Reasoning about Codata

127

click to vote

HLPPP
1991

186views Distributed And Parallel Com...» more HLPPP 1991»

Reasoning About Synchronic Groups

15 years 2 months ago

Download www.cs.olemiss.edu

Swarm is a computational model which extends the UNITY model in three important ways: (1) UNITY’s ﬁxed set of variables is replaced by an unbounded set of tuples which are add...

Gruia-Catalin Roman, H. Conrad Cunningham

claim paper

Read More »

click to vote

SP
1987
IEEE

44views Security Privacy» more SP 1987»

Reasoning About Security Models

15 years 2 months ago

Download www.cs.purdue.edu

John McLean

claim paper

Read More »

click to vote

IAT
2009
IEEE

115views Intelligent Agents» more IAT 2009»

Integrating NLP with Reasoning about Actions for Autonomous Agents Communicating with Humans

15 years 2 months ago

Download www.wrighteagle.org

—We present a ﬁrst effort to integrate NLP with ASP for autonomous agents, especially service robots, communicating with humans. We implemented a prototype system and tested it...

Xiaoping Chen, Jiehui Jiang, Jianmin Ji, Guoqiang ...

claim paper

Read More »

click to vote

AAAI
2007

73views Intelligent Agents» more AAAI 2007»

Optimal Regression for Reasoning about Knowledge and Actions

15 years 1 months ago