Sciweavers

780 search results - page 97 / 156
» Reasoning about sets using redescription mining
Sort
View
ATAL
2003
Springer
14 years 4 months ago
Expressive global protocols via logic-based electronic institutions
Communication is the key feature of Multi-agent Systems. The interactions among components of a system may take many distinct forms of increasing complexity such as in auctions, n...
Wamberto Weber Vasconcelos
DS
1997
97views Database» more  DS 1997»
14 years 16 days ago
A Formalization of ODMG Queries
The ODMG proposal has helped to focus the work on object-oriented databases (OODBs) onto a common object model and query language. Nevertheless there are several shortcomings of t...
Holger Riedel, Marc H. Scholl
IAT
2008
IEEE
14 years 5 months ago
Levels of Modalities for BDI Logic
The use of rational agents for modelling real world problems has both been heavily investigated and become well accepted, with BDI Logic being a widely used architecture to repres...
Jeff Blee, David Billington, Guido Governatori, Ab...
ER
2007
Springer
105views Database» more  ER 2007»
14 years 5 months ago
Clarifying Goal Models
Representation and reasoning about information system (IS) requirements is facilitated with the use of goal models to describe the desired and undesired IS behaviors. One difficul...
Ivan Jureta, Stéphane Faulkner
ICRA
2002
IEEE
108views Robotics» more  ICRA 2002»
14 years 4 months ago
Controlling Hopping Height of a Pneumatic Monopod
We describe a model-based height controller for a hopping robot with a pneumatically powered leg. The controller explicitly models variation in the leg angle and height. Using an ...
Kale Harbick, Gaurav S. Sukhatme