1948 search results - page 129 / 390 » Formalizing Mirror Theory |
139
click to vote
ALDT
2009
Springer
16 years 6 days ago
2009
Springer
Judgment aggregation is a formal theory reasoning about how a group of agents can aggregate individual judgments on connected propositions into a collective judgment on the same pr...
136
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
We propose an extension of alternating-time temporal logic, that can be used for reasoning about the behavior and abilities of agents under various rationality assumptions. Catego...
145
click to vote
MODELS
2007
Springer
15 years 11 months ago
2007
Springer
The integration of different models, such as scenarios, is an important component of the requirements engineer’s work. If manually performed, the integration operation is error-...
173
click to vote
SFM
2004
Springer
15 years 11 months ago
2004
Springer
We treat theory and application of timed process algebra. We focus on a variant that uses explicit termination and action prefixing. This variant has some advantages over other va...
142
click to vote
ER
2003
Springer
15 years 10 months ago
2003
Springer
Existing solutions to data and schema integration require user interaction/input to generate a data transformation between two different schemas. These approaches are not appropri...