4211 search results - page 139 / 843 » A formal approach to MASQ |
119
click to vote
EWDW
1990
15 years 4 months ago
1990
The formal description of the semantics of object-oriented data models is still an open problem. Some characteristic features of object-oriented data models, such as methods and i...
98
Voted
EON
2007
15 years 2 months ago
2007
As the sheer volume of new knowledge increases, there is a need to find effective ways to convey and correlate emerging knowledge in machine-readable form. The success of the Seman...
117
Voted
IJCAI
1997
15 years 2 months ago
1997
In the paper, we consider the problem of supporting automated reasoning in a large class of knowledge representation formalisms, including terminological and epistemic logics, who...
101
Voted
ATAL
2003
Springer
15 years 6 months ago
2003
Springer
Commitments model important aspects of agent interactions, especially those arising in e-business. A small number of patterns of commitments accommodate a variety of realistic int...
92
Voted
EICS
2010
ACM
15 years 5 months ago
2010
ACM
UI model discovery is a lightweight formal method in which a model of an interactive system is automatically discovered by exploring the system’s state space, simulating the act...