Sciweavers

1388 search results - page 100 / 278
» Diagnosis of Plans and Agents
Sort
View
AAAI
2007
15 years 2 months ago
A Logic of Agent Programs
We present a sound and complete logic for reasoning about SimpleAPL programs. SimpleAPL is a fragment of the agent programming language 3APL designed for the implementation of cog...
Natasha Alechina, Mehdi Dastani, Brian Logan, John...
ATAL
2008
Springer
15 years 1 months ago
Theoretical and experimental results on the goal-plan tree problem
Agents programmed in BDI-inspired languages have goals to achieve and a library of plans that can be used to achieve them, typically requiring further goals to be adopted. This is...
Patricia H. Shaw, Berndt Farwer, Rafael H. Bordini
ICIP
2009
IEEE
16 years 28 days ago
Removal Of Abdominal Wall For 3d Visualization And Segmentation Of Organs In Ct Volume
3D visualization and segmentation of organs in abdominal volume images are important in medical image processing for applications such as diagnosis, treatment and surgical plannin...
CHI
2004
ACM
16 years 7 days ago
Connecting time-oriented data and information to a coherent interactive visualization
In modern intensive care units (ICUs), the medical staff has to monitor a huge amount of high-dimensional and timeoriented data, which needs to be visualized user- and taskspecifi...
Ragnar Bade, Stefan Schlechtweg, Silvia Miksch
PADL
2004
Springer
15 years 5 months ago
ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog
We present a system (ASP − PROLOG) which provides a tight and well-defined integration of Prolog and Answer Set Programming (ASP). The combined system enhances the expressive po...
Omar El-Khatib, Enrico Pontelli, Tran Cao Son