Semantic Scholar uses AI to extract papers important to this topic.
Für die Entstehung von Lippen-Kiefer-Gaumen-Spalten bzw. isolierten medianen Gaumenspalten wird ein multifaktoriell genetisches… Expand Publisher Summary This chapter discusses the use of constraint programming (CP) for network applications. Network problems that… Expand In this paper the abstract state machine (ASM) refinement method is presented. Its characteristics compared to other refinement… Expand During the evaluation of a constraint logic program, many local variables become inaccessible, or dead. In Prolog and other… Expand We present a very simple but flexible declarative debugging scheme. A Abstract-1 declarative debugger can be defined in Prolog… Expand This paper presents the formalization of the symbolic simulation and analysis technique for hybrid systems developed in [9, 7, 8… Expand The considerable expressive power and flexibility gained by combining constraint programming with logic programming is not… Expand Constraint logic programming (CLP) languages generalise logic programming languages, amalgamating logic programming and… Expand Solving nonlinear constraints over real numbers is a complex problem. Hence constraint logic programming languages like CLP(R) or… Expand Implementation technology for higher-order logic programming languages such as λProlog  and Elf  is still in its infancy… Expand