Sciweavers

4595 search results - page 281 / 919
» Reasoning about Plans
Sort
View
DLOG
2011
14 years 11 months ago
Two-Dimensional Description Logics of Context
We introduce an extension of Description Logics (DLs) for representing and reasoning about contextualized knowledge. Our formalism is inspired by McCarthy’s theory of formalizing...
Szymon Klarman, Víctor Gutiérrez-Bas...
188
Voted
EOR
2006
66views more  EOR 2006»
15 years 7 months ago
Performance prediction of an unmanned airborne vehicle multi-agent system
Consider unmanned airborne vehicle (UAV) control agents in a dynamic multi-agent system. The agents must have a set of goals such as destination airport and intermediate positions...
Zhaotong Lian, Abhijit Deshmukh
172
Voted
AMAST
2004
Springer
16 years 25 days ago
Counting Votes with Formal Methods
This abstract provides some background information about the electronic voting experiment that is planned in the Netherlands for the European Elections of 2004, and about our own i...
Bart Jacobs
IJCAI
2007
15 years 8 months ago
Relational Knowledge with Predictive State Representations
Most work on Predictive Representations of State (PSRs) has focused on learning and planning in unstructured domains (for example, those represented by flat POMDPs). This paper e...
David Wingate, Vishal Soni, Britton Wolfe, Satinde...
183
Voted
IADIS
2003
15 years 8 months ago
The Role of Web Services in Financial Organisations: Results from a Survey
The paper presents the results of a survey on the current and future role of web services technologies in banking and financial services organizations. The survey asked financial ...
Bill Karakostas, Dimitris Kardaras