899 search results - page 36 / 180 » A CTL-Based Logic for Program Abstractions |
ECAI
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. This paper presents a new Abductive Logic Programming (ALP) approach for assisting clinicians in the selection of antiretroviral drugs for patients infected with Human Im...
133
click to vote
ICLP
1997
Springer
15 years 6 months ago
1997
Springer
Abstract This paper describes a general framework for automatic termination analysis of logic programs, where we understand by termination" the niteness of the LD-tree constru...
TGC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Ghost variables are assignable variables that appear in program annotations but do not correspond to physical entities. They are used to facilitate specification and ver...
LPNMR
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We present a declarative language, PP, for the specification of preferences between possible solutions (or trajectories) of a planning problem. This novel language allow...
117
click to vote
INTERSENSE
2006
ACM
15 years 8 months ago
2006
ACM
— Wireless sensor network (WSN) architectures often feature a (single) base station in charge of coordinating the application functionality. Although this assumption simplified ...