Autor der Publikation

Answer Set Programming with Clause Learning.

, und . LPNMR, Volume 2923 von Lecture Notes in Computer Science, Seite 302-313. Springer, (2004)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Software Defined Radio for direction-finding in UAV wildlife tracking., , , und . EIT, Seite 464-469. IEEE, (2016)Answer Set Programming with Clause Learning., und . LPNMR, Volume 2923 von Lecture Notes in Computer Science, Seite 302-313. Springer, (2004)SBSAT: a State-Based, BDD-Based Satisfiability Solver., , , , , , und . SAT, Volume 2919 von Lecture Notes in Computer Science, Seite 398-410. Springer, (2003)Stroke survivor gait adaptation and performance after training on a Powered Ankle Foot Orthosis., , , und . ICRA, Seite 211-216. IEEE, (2010)The Dynamics and Pinning of a Spike for a Reaction-Diffusion System., , , , und . SIAM J. Appl. Math., 62 (4): 1297-1328 (2002)Helix: online enterprise data analytics., , , , , und . WWW (Companion Volume), Seite 225-228. ACM, (2011)Stripe to Spot Transition in a Plant Root Hair Initiation Model., , , und . SIAM J. Appl. Math., 75 (3): 1090-1119 (2015)Plantwide optimization coupled with column sequencing and stacking using a process simulator automation server., , , und . Comput. Chem. Eng., (2021)Collective ontology alignment., , , und . OM, Volume 1111 von CEUR Workshop Proceedings, Seite 219-220. CEUR-WS.org, (2013)Understanding a large corpus of web tables through matching with knowledge bases: an empirical study., , , und . OM, Volume 1545 von CEUR Workshop Proceedings, Seite 25-34. CEUR-WS.org, (2015)