Sciweavers

975 search results - page 125 / 195
» Declarative Aspect-Oriented Programming
Sort
View
100
Voted
ICLP
2005
Springer
15 years 6 months ago
HYPROLOG: A New Logic Programming Language with Assumptions and Abduction
We present HYPROLOG, a novel integration of Prolog with assumptions and abduction which is implemented in and partly borrows syntax from Constraint Handling Rules (CHR) for integri...
Henning Christiansen, Verónica Dahl
SIGMOD
1997
ACM
107views Database» more  SIGMOD 1997»
15 years 4 months ago
Picture Programming Project
Visual Language (VL) system development is getting increasingly sophisticated in part due to the arduous nature of user interface (UI) code development. This typically involves id...
Nita Goyal, Charles Hoch, Ravi Krishnamurthy, Bria...
95
Voted
ICLP
1991
Springer
15 years 4 months ago
{log}: A Logic Programming Language with Finite Sets
An extended logic programming language embodying sets is developed in successive stages, introducing at each stage simple set dictions and operations, and discussing their operati...
Agostino Dovier, Eugenio G. Omodeo, Enrico Pontell...
100
Voted
ENGL
2007
116views more  ENGL 2007»
15 years 13 days ago
Evacuation Planning using Answer Set Programming: An initial approach
—This paper describes a methodology based on Answer Set Programming (ASP) to work with incomplete geographic data. Source geographic data which describes a risk zone is translate...
Claudia Zepeda, David Sol
MODELS
2010
Springer
14 years 11 months ago
Transforming Process Models: Executable Rewrite Rules versus a Formalized Java Program
Abstract. In the business process management community, transformations for process models are usually programmed using imperative languages (such as Java). The underlying mapping ...
Pieter Van Gorp, Rik Eshuis