Results 291 to 300 of about 607,371 (320)

Making maximal reliable action maximal*

Theoria, 1991
Adding (R) \([\delta A]A\) and (WM) \([\delta B]A\to ([\delta A]C\to [\delta B]C)\) to PDL yields Segerberg's action logic of the `bringing about' operator. It was suggested then to substitute (WM) by the more general (M) \([\alpha]A\to ([\delta A]B\to [\alpha ]B)\). However, under certain circumstances the resulting system collapses into S4.
openaire   +2 more sources

Maximal falsifiability

AI Communications, 2013
Similarly to Maximum Satisfiability (MaxSAT), Minimum Satisfiability (MinSAT) is an optimization extension of the Boolean Satisfiability (SAT) decision problem. In recent years, both problems have been studied in terms of exact and approximation algorithms.
Alexey Ignatiev   +3 more
openaire   +1 more source

Maximal Homotopy Lie Subgroups of Maximal Rank

Canadian Journal of Mathematics, 1988
Let G be a compact connected Lie group with H a connected subgroup of maximal rank. Suppose there exists a compact connected Lie subgroup K with H ⊂ K ⊂ G. Then there exists a smooth fiber bundle G/H → G/K with K/H as the fiber ...
openaire   +1 more source

Maxime Baud

The Lancet Neurology, 2021
openaire   +2 more sources

Home - About - Disclaimer - Privacy