6554 search results - page 34 / 1311 » Constraint Logic Programming |
100
Voted
CPAIOR
2006
Springer
15 years 6 months ago
2006
Springer
Real-life management decisions are usually made in uncertain environments, and decision support systems that ignore this uncertainty are unlikely to provide realistic guidance. We ...
119
click to vote
PADL
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. A lightweight approach to debugging functional logic programs by observations is presented, implemented for the language Curry. The Curry Object Observation System (COOSy...
117
Voted
APLAS
2000
ACM
15 years 6 months ago
2000
ACM
We have implemented Kima, an automated error correction system for concurrent logic programs. Kima corrects near-misses such as wrong variable occurrences in the absence of explici...
133
Voted
ICLP
2007
Springer
15 years 6 months ago
2007
Springer
We present the CIFFWEB system, an innovative tool for the verification of web sites, relying upon abductive logic programming. The system allows the user to define rules that a web...
104
click to vote
ICLP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Action description languages, such as A and B [6], are expressive instruments introduced for formalizing planning domains and problems. The paper starts by proposing a me...