15754 search results - page 548 / 3151 » Programs are Knowledge Bases |
191
click to vote
ECRA
2002
15 years 6 months ago
2002
This paper presents a formal and executable approach to capture the behaviour of parties involved in a negotiation. A party is modeled as a negotiating agent composed of a communi...
211
click to vote
NGC
1998
Springer
15 years 6 months ago
1998
Springer
Reducing redundancy in search has been a major concern for automated deduction. Subgoal-reduction strategies, such as those based on model elimination and implemented in Prolog te...
226
click to vote
TEC
2002
15 years 6 months ago
2002
Abstract--In this paper, we present an efficient graph-based evolutionary optimization technique called evolutionary graph generation (EGG) and the proposed approach is applied to ...
186
click to vote
RAS
2008
15 years 6 months ago
2008
In this paper we present the robot programming and planning language Readylog, a Golog dialect which was developed to support the decision making of robots acting in dynamic real-...
282
click to vote
ICST
2010
IEEE
15 years 5 months ago
2010
IEEE
In the presence of an internal state, often it is required a sequence of function calls to test software. In fact, to cover a particular branch of the code, a sequence of previous...