662 search results - page 85 / 133 » Logic Programming with Ordered Disjunction |
163
click to vote
FPL
1994
Springer
15 years 10 months ago
1994
Springer
This paper introduces a new high level programming language for a novel class of computational devices namely data-procedural machines. These machines are by up to several orders o...
172
click to vote
ECOOP
1995
Springer
15 years 9 months ago
1995
Springer
PSL is a framework for describing dynamic and architectural properties of open systems. PSL extends established interface-based tactics for describing the functional properties of...
184
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
Abstract. We introduce the notion of array-based system as a suittraction of infinite state systems such as broadcast protocols or sorting programs. By using a class of quantified-...
133
click to vote
BIRTHDAY
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We describe our progress building the program ReductionFinder, which uses off-the-shelf SAT solvers together with the Cmodels system to automatically search for reduction...
153
click to vote
ARGMAS
2004
Springer
15 years 11 months ago
2004
Springer
Negotiation can be conceived as the exchange of messages among self-interested agents in order to settle on an agreement over a given issue. They decide which messages to send acco...