3446 search results - page 19 / 690 » A Reasoning Algorithm for pD* |
117
click to vote
PRICAI
1998
Springer
15 years 5 months ago
1998
Springer
Weaddress the general problemof finding algorithms for efficient, qualitative, point-basedtemporalreasoning over a set of operations. Weconsider general reasonerstailored for temp...
ICSE
2009
IEEE-ACM
16 years 2 months ago
2009
IEEE-ACM
Features express the variabilities and commonalities among programs in a software product line (SPL). A feature model defines the valid combinations of features, where each combin...
110
click to vote
TPHOL
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
104
click to vote
IJIT
2004
15 years 2 months ago
2004
In this contribution, the use of a new genetic operator is proposed. The main advantage of using this operator is that it is able to assist the evolution procedure to converge fast...
IJCAI
1989
15 years 2 months ago
1989
This paper represents a beginning development of a parallel truth maintenance system to interact with a parallel inference engine. We present a solution which performs status assi...