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...
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
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...
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...
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...