Sciweavers

232 search results - page 8 / 47
» Abstract Reasoning for Planning and Coordination
Sort
View
FUIN
2008
147views more  FUIN 2008»
13 years 6 months ago
A Basic Logic for Reasoning about Connector Reconfiguration
Abstract. Software systems evolve over time. From a component-based software engineering perspective, this means that either the components of the system need to change, or, if com...
Dave Clarke
ATAL
2011
Springer
12 years 6 months ago
Towards a unifying characterization for quantifying weak coupling in dec-POMDPs
Researchers in the field of multiagent sequential decision making have commonly used the terms “weakly-coupled” and “loosely-coupled” to qualitatively classify problems i...
Stefan J. Witwicki, Edmund H. Durfee
ASM
2010
ASM
14 years 3 months ago
Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance
The activities of formal modelling and reasoning are closely related. But while the rigour of building formal models brings significant benefits, formal reasoning remains a major...
Andrew Ireland, Gudmund Grov, Michael Butler
LPNMR
2004
Springer
14 years 2 days ago
Planning with Sensing Actions and Incomplete Information Using Logic Programming
Abstract. We present a logic programming based conditional planner that is capable of generating both conditional and sequential conformant plans in the presence of sensing actions...
Tran Cao Son, Phan Huy Tu, Chitta Baral
ATAL
1999
Springer
13 years 11 months ago
Incorporating Uncertainty in Agent Commitments
Abstract. Commitments play a central role in multi-agent coordination. However, they are inherently uncertain and it is important to take these uncertainties into account during pl...
Ping Xuan, Victor R. Lesser