1689 search results - page 171 / 338 » On Natural Non-dcpo Domains |
174
click to vote
FORTE
1998
15 years 7 months ago
1998
: In this paper a co-design methodology based on multiformalism modelling is presented. It defines a platform that integrates different notations and, the necessary mechanisms to h...
179
click to vote
RIAO
2000
15 years 7 months ago
2000
Requirements engineering is the first stage in the software life-cycle and is concerned with discovering and managing a software system's services, constraints and goals. Req...
171
click to vote
AAAI
1994
15 years 7 months ago
1994
Formalizing the ontological commitment of a logical language means offering a way to specify the intended meaning of its vocabulary by constraining the set of its models, giving e...
156
click to vote
IJCAI
1989
15 years 7 months ago
1989
One of the problems of the recent approaches to problem solving based on deep knowledge is the lack of a formal treatment of incomplete knowledge. However, dealing with incomplete...
132
click to vote
IJCAI
1989
15 years 7 months ago
1989
The problem of modeling a variety of domains within the framework of one general scheme is of central importance in AI. This paper presents the MultiEntity model for multi-agent p...