3161 search results - page 8 / 633 » Hybrid results merging |
101
click to vote
HYBRID
2000
Springer
15 years 1 months ago
2000
Springer
Results from classical dynamical systems are generalized to hybrid dynamical systems. The concept of limit set is introduced for hybrid systems and is used to prove new results on...
KES
2004
Springer
15 years 2 months ago
2004
Springer
Automatizing the merging of knowledgebases is an important step towards more efficient knowledge management. The cases when two knowledgebases need to be merged completely into a m...
ECAI
2008
Springer
14 years 11 months ago
2008
Springer
In the propositional setting, a well-studied family of merging operators are distance-based ones: the models of the merged base are the closest interpretations to the given profile...
JAIR
2007
14 years 9 months ago
2007
Merging operators aim at defining the beliefs/goals of a group of agents from the beliefs/goals of each member of the group. Whenever an agent of the group has preferences over t...
LOGCOM
2006
14 years 9 months ago
2006
For every Kripke complete modal logic L we define its hybrid companion LH . For a reasonable class of logics, we present a satisfiability-preserving translation from LH to L. We p...