7892 search results - page 28 / 1579 » Programming with Models |
ICALP
1997
Springer
15 years 6 months ago
1997
Springer
IWOMP
2010
Springer
15 years 6 months ago
2010
Springer
158
click to vote
RR
2009
Springer
15 years 6 months ago
2009
Springer
In this paper we argue the case for integrating the distinctive functionalities of logic programs and production systems within an abductive logic programming agent framework. In t...
121
Voted
ICTAC
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Model programs are used as high-level behavioral specifications typically representing abstract state machines. For modeling reactive systems, one uses input-output mode...
118
click to vote
PARLE
1993
15 years 6 months ago
1993
Abstract. We present a set of primitive program schemes, which together with just two basic combining forms provide a suprisingly expressive parallel programming language. The prim...