211 search results - page 31 / 43 » The Representation of Program Synthesis in Higher Order Logi... |
106
click to vote
DAGSTUHL
1998
15 years 1 months ago
1998
Deductive database technology represents an important step towards the goal of developing highly-declarative database programming languages. In order to make deductive databases a ...
ARGMAS
2004
Springer
15 years 5 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...
FPL
2006
Springer
15 years 3 months ago
2006
Springer
FPGA devices exhibit manufacturing variability. Device ratings and Timing margins are typically used in order to cope with inter-device and intra-device variability respectively. ...
109
click to vote
ICLP
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Answer set programming (ASP) is a powerful formalism for knowledge representation and common sense reasoning that allows disjunction in rule heads and nonmonotonic negati...
100
click to vote
WSC
1997
15 years 1 months ago
1997
This paper investigates an attempt to combine different simulation tools in order to build a simulation environment that can be used to model complex system behaviour. The compone...