754 search results - page 100 / 151 » An Ordered Logic Program Solver |
113
click to vote
FPL
1994
Springer
15 years 4 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...
116
Voted
ECOOP
1995
Springer
15 years 4 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...
129
Voted
COMPSAC
2010
IEEE
14 years 10 months ago
2010
IEEE
The advent of emerging technologies such as Web services, service-oriented architecture, and cloud computing has enabled us to perform business services more efficiently and effect...
90
Voted
ARGMAS
2004
Springer
15 years 6 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...
116
click to vote
IEAAIE
2004
Springer
15 years 6 months ago
2004
Springer
Learning systems have been devised as a way of overcoming the knowledge acquisition bottleneck in the development of knowledge-based systems. They often cast learning to a search p...