Sciweavers

2148 search results - page 80 / 430
» From process logic to program logic
Sort
View
ICLP
2005
Springer
15 years 3 months ago
A Generic Framework for the Analysis and Specialization of Logic Programs
The relationship between abstract interpretation and partial deduction has received considerable attention and (partial) integrations have been proposed starting from both the part...
Germán Puebla, Elvira Albert, Manuel V. Her...
ILP
2004
Springer
15 years 3 months ago
Macro-Operators Revisited in Inductive Logic Programming
For the last ten years a lot of work has been devoted to propositionalization techniques in relational learning. These techniques change the representation of relational problems t...
Érick Alphonse
WCFLP
2005
ACM
15 years 3 months ago
Lightweight program specialization via dynamic slicing
Program slicing is a well-known technique that extracts from a program those statements which are relevant to a particular criterion. While static slicing does not consider any in...
Claudio Ochoa, Josep Silva, Germán Vidal
JUCS
2010
119views more  JUCS 2010»
14 years 8 months ago
Typology of Service Innovation from Service-Dominant Logic Perspective
: This study provides a conceptual framework with respect to service innovation, especially from a service-dominant logic (S-D logic) perspective. Even though innovation has been d...
Kichan Nam, Nam Hee Lee
WCRE
2008
IEEE
15 years 4 months ago
A Business Process Explorer: Recovering Business Processes from Business Applications
A business process contains a set of logically related tasks executed to fulfill business goals. Business applications enable organizations to automatically perform their daily op...
Jin Guo, Ying Zou