Sciweavers

290 search results - page 4 / 58
» A Metamodeling Approach for Reasoning about Requirements
Sort
View
FLAIRS
2004
13 years 10 months ago
Reasoning about Beliefs, Observability, and Information Exchange in Teamwork
Communication is an important aspect of teamwork, both in human teams and in multi-agent teams. One of the most vital roles for communication is for information exchange, such as ...
Thomas R. Ioerger
SEMWEB
2009
Springer
14 years 1 months ago
Reasoning about Resources and Hierarchical Tasks Using OWL and SWRL
Abstract. Military training and testing events are highly complex affairs, potentially involving dozens of legacy systems that need to interoperate in a meaningful way. There are s...
Daniel Elenius, David Martin, Reginald Ford, Grit ...
IJCAI
1997
13 years 10 months ago
Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus
As an alternative to planning, an approach to highlevel agent control based on concurrent program execution is considered. A formal definition in the situation calculus of such a ...
Giuseppe De Giacomo, Yves Lespérance, Hecto...
LOGCOM
1998
178views more  LOGCOM 1998»
13 years 8 months ago
Applying the Mu-Calculus in Planning and Reasoning about Action
Planning algorithms have traditionally been geared toward achievement goals in single-agent environments. Such algorithms essentially produce plans to reach one of a specified se...
Munindar P. Singh
CAISE
2010
Springer
13 years 9 months ago
Modeling and Reasoning about Service-Oriented Applications via Goals and Commitments
Abstract. Service-oriented applications facilitate the exchange of business services among participants. Existing modeling approaches either apply at a lower of abstraction than re...
Amit K. Chopra, Fabiano Dalpiaz, Paolo Giorgini, J...