1097 search results - page 77 / 220 » Revision Programming = Logic Programming Integrity Constra... |
100
click to vote
FSTTCS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...
134
click to vote
FLOPS
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. Subtyping tends to undermine the effects of parametric polymorphism as far as the static detection of type errors is concerned. Starting with this observation we present...
DATE
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract—Cyber Physical Systems are distributed systemsof-systems that integrate sensing, processing, networking and actuation. Aggregating physical data over space and in time e...
145
click to vote
LPNMR
2007
Springer
15 years 9 months ago
2007
Springer
We describe BE, an implemented system for solving belief change problems in the presence of actions. We illustrate how we can use BE to compute the result of belief progression, be...
138
click to vote
APPINF
2003
15 years 4 months ago
2003
We present an application prototype of dynamic knowledge representation programmed in LUPS (a language for updating logic programs). This is a case study to model intelligent agen...