3470 search results - page 279 / 694 » Head-Elementary-Set-Free Logic Programs |
148
click to vote
PADL
2001
Springer
15 years 11 months ago
2001
Springer
The goal of this project is to develop solutions to enhance interoperability between bioinformatics applications. Most existing applications adopt different data formats, forcing ...
161
click to vote
ATAL
1999
Springer
15 years 11 months ago
1999
Springer
A robot must often react to events in its environment and exceptional conditions by suspendingor abandoning its current plan and selecting a new plan that is an appropriate respons...
131
click to vote
LPNMR
2009
Springer
16 years 1 months ago
2009
Springer
Building upon the 2-valued Layered Models semantics for normal programs, we introduce a refinement — the Layer Supported Models semantics — which, besides keeping all of LMs...
184
click to vote
ILP
2007
Springer
16 years 22 days ago
2007
Springer
The management of business processes has recently received a lot of attention. One of the most interesting problems is the description of a process model in a language that allows ...
163
click to vote
TGC
2007
Springer
16 years 21 days 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...