Search Sciweavers | Sciweavers

2253 search results - page 54 / 451

» The ComFoRT Reasoning Framework

click to vote

ATAL
2007
Springer

126views Intelligent Agents» more ATAL 2007»

A framework for reasoning about rational agents

14 years 2 months ago

Download www2.in.tu-clausthal.de

We propose an extension of alternating-time temporal logic, that can be used for reasoning about the behavior and abilities of agents under various rationality assumptions. Catego...

Wojciech Jamroga, Nils Bulling

claim paper

Read More »

click to vote

KI
2007
Springer

161views Artificial Intelligence» more KI 2007»

Bridging the Sense-Reasoning Gap Using DyKnow: A Knowledge Processing Middleware Framework

14 years 2 months ago

Download www.ida.liu.se

To achieve complex missions an autonomous unmanned aerial vehicle (UAV) operating in dynamic environments must have and maintain situational awareness. This can be achieved by cont...

Fredrik Heintz, Piotr Rudol, Patrick Doherty

claim paper

Read More »

click to vote

CONCUR
2009
Springer

187views Distributed And Parallel Com...» more CONCUR 2009»

A Logic-Based Framework for Reasoning about Composite Data Structures

14 years 3 months ago