1097 search results - page 43 / 220 » Revision Programming = Logic Programming Integrity Constra... |
207
Voted
ICLP
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. Qualification has been recently introduced as a generalization of uncertainty in the field of Logic Programming. In this paper we investigate a more expressive language f...
140
click to vote
FROCOS
2009
Springer
15 years 7 months ago
2009
Springer
We discuss a new concept of agent programs that combines logic programming with reasoning about actions. These agent logic programs are characterized by a clear separation between ...
139
Voted
LICS
1994
IEEE
15 years 6 months ago
1994
IEEE
We develop a model for timed, reactive computation by extending the asynchronous, untimed concurrent constraint programming model in a simple and uniform way. In the spirit of pro...
104
click to vote
DLOG
1996
15 years 4 months ago
1996
: The main thesis of this paper is that in order to use Description Logics in practical applications, a seamless integration with object-oriented system development methodologies m...
106
Voted
HYBRID
1994
Springer
15 years 6 months ago
1994
Springer
Abstract. We present a language,Hybrid cc, for modeling hybrid systems compositionally. This language is declarative, with programs being understood as logical formulas that place ...