2302 search results - page 175 / 461 » Basic Description Logics |
171
click to vote
COMPASS
1994
15 years 8 months ago
1994
We give a notation and a logical calculus for the description and deductive manipulation of dynamic networks of communicating components. We represent such nets by hierarchical sys...
142
click to vote
JLP
2000
15 years 4 months ago
2000
In 1969 Cordell Green presented his seminal description of planning as theorem proving with the situation calculus. The most pleasing feature of Green's account was the negli...
145
click to vote
SYNTHESE
2011
14 years 11 months ago
2011
Dynamic epistemic logics describe the epistemic consequences of actions. Public announcement logic, in particular, describe the consequences of public announcements. As such, thes...
119
click to vote
APCCM
2007
15 years 6 months ago
2007
An input to the conceptual database design phase contains a description of the target database. This description is usually given in some natural language, for instance in English...
139
Voted
IEEESCC
2007
IEEE
15 years 10 months ago
2007
IEEE
UN/CEFACT’s Modeling Methodology (UMM) is a UML profile for modeling global B2B choreographies. The basic building blocks of UMM are business transactions, which describe the e...