( en | de | ru )

 

Disambiguierung von "Fink, Michael"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Strong and Uniform Equivalence in Answer-Set Programming: Characterizations and Complexity Results for the Non-Ground Case.

, , , und . AAAI, Seite 695-700. AAAI Press / The MIT Press, (2005)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Michael Fink

Michael Fink

Michael Fink

Michael Fink

Michael Fink

 

Weitere Publikationen von Autoren mit dem selben Namen

Complexity Results for Checking Equivalence of Stratified Logic Programs., , , und . IJCAI, Seite 330-335. (2007)From Aardvark to Zorro: A Benchmark for Mammal Image Classification., und . Int. J. Comput. Vis., 77 (1-3): 143-156 (2008)Relational Information Exchange and Aggregation in Multi-Context Systems., , und . LPNMR, Volume 6645 von Lecture Notes in Computer Science, Seite 120-133. Springer, (2011)KMonitor - A Tool for Monitoring Plan Execution in Action Theories., , und . LPNMR, Volume 3662 von Lecture Notes in Computer Science, Seite 416-421. Springer, (2005)Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems., , und . LPNMR, Volume 6645 von Lecture Notes in Computer Science, Seite 107-119. Springer, (2011)Considerations on Updates of Logic Programs., , , und . JELIA, Volume 1919 von Lecture Notes in Computer Science, Seite 2-20. Springer, (2000)The mcs-ie System for Explaining Inconsistency in Multi-Context Systems., , , und . JELIA, Volume 6341 von Lecture Notes in Computer Science, Seite 356-359. Springer, (2010)Advertisement Detection and Replacement using Acoustic and Visual Repetition., , und . MMSP, Seite 461-466. IEEE, (2006)A model building framework for answer set programming with external computations., , , , , und . Theory Pract. Log. Program., 16 (4): 418-464 (2016)Minimal Constraint Violation Probability in Model Predictive Control for Linear Systems., , , und . CoRR, (2024)