588 search results - page 49 / 118 » Differential Logic for Reasoning About Hybrid Systems |
112
click to vote
RSFDGRC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In this paper, we propose a logical framework for reasoning about uncertain belief fusion. The framework is a combination of multi-agent epistemic logic and possibilistic...
100
click to vote
SYNTHESE
2008
15 years 1 months ago
2008
We add a limited but useful form of quantification to Coalition Logic, a popular formalism for reasoning about cooperation in game-like multi-agent systems. The basic constructs o...
109
click to vote
PADL
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rule...
155
click to vote
CORR
2011
Springer
14 years 9 months ago
2011
Springer
Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rules use non...
130
click to vote
GECCO
2004
Springer
15 years 7 months ago
2004
Springer
Hybrid algorithms that combine genetic algorithms with the Nelder-Mead simplex algorithm have been effective in solving certain optimization problems. In this article, we apply a s...