Sciweavers

165 search results - page 21 / 33
» Plan Diagnosis and Agent Diagnosis in Multi-agent Systems
Sort
View
ATAL
2006
Springer
13 years 11 months ago
Reasoning about action and cooperation
We present a logic for reasoning both about the ability of agents to cooperate to execute complex actions, and how this relates to their ability to reach certain states of affairs...
Luigi Sauro, Jelle Gerbrandy, Wiebe van der Hoek, ...
CLIMA
2007
13 years 9 months ago
EVOLP: Tranformation-Based Semantics
Over the years, Logic Programming has proved to be a good and natural tool for expressing, querying and manipulating explicit knowledge in many areas of computer science. However, ...
Martin Slota, João Leite
IJAOSE
2010
227views more  IJAOSE 2010»
13 years 6 months ago
Implementing reactive BDI agents with user-given constraints and objectives
CASO is an agent-oriented programming language based on AgentSpeak(L), one of the most influential abstract languages based on the BDI (Beliefs-Desires-Intentions) architecture. ...
Aniruddha Dasgupta, Aditya K. Ghose
AAAI
1990
13 years 8 months ago
Obtaining Quantitative Predictions from Monotone Relationships
: Tasks such as forecasting, diagnosis, and planning frequently require quantitative predictions . Typically, quantitative predictions are obtained by characterizing a system in te...
Joseph L. Hellerstein
MIAR
2006
IEEE
14 years 1 months ago
Automatic Segmentation of the Aortic Dissection Membrane from 3D CTA Images
Acute aortic dissection is a life-threatening condition and must be diagnosed and treated promptly. For treatment planning the reliable identification of the true and false lumen ...
Tamás Kovács, Philippe C. Cattin, Ha...