( en | de | ru )

 

Disambiguation of "Aiguier, Marc"

Author of the publication

copydeleteadd this publication to your clipboard
Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics.

, , , and . Artif. Intell., (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Stefanie Marczoch

Langzeitverlauf von 200 Patienten mit kraniofazialen und zervikalen Dystonien bis zu 12 Jahre nach der ersten Botulinumtoxin-Behandlung. TU München, (2009)

Wolfgang Marcus

Ursula Marcinek

Toni Marcy

Hans-Peter Marchal

 

Other publications of authors with the same name

On a Generalised Logicality Theorem., , and . AISC, volume 2385 of Lecture Notes in Computer Science, page 51-63. Springer, (2002)Special issue on complex systems design and management.. Concurrent Engineering: R&A, 20 (2): 83 (2012)Morpho-logique d'un point de vue de la théorie des topos : application à l'IA symbolique., , , and . JIAF, page 80-90. (2023)Emergent Properties in Reactive Systems., , and . APSEC, page 273-280. IEEE Computer Society, (2008)Dual Logic Concepts based on Mathematical Morphology in Stratified Institutions: Applications to Spatial Reasoning., and . CoRR, (2017)Property Preservation along Embedding of Biological Regulatory Networks., , , and . AB, volume 5147 of Lecture Notes in Computer Science, page 125-138. Springer, (2008)Label Algebras and Exception Handling., , and . Sci. Comput. Program., 23 (2-3): 227-286 (1994)Powerset-Like Monads Weakly Distribute over Themselves in Toposes and Compact Hausdorff Spaces., , and . ICALP, volume 198 of LIPIcs, page 132:1-132:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Symbolic Execution Techniques Extended to Systems., , , and . ICSEA, page 78-85. IEEE Computer Society, (2009)Structures for Abstract Rewriting., and . J. Autom. Reason., 38 (4): 303-351 (2007)