Autor der Publikation

Transition systems for model generators - A unifying approach.

, und . Theory Pract. Log. Program., 11 (4-5): 629-646 (2011)

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

Automatic Generation of English-language Steps in Puzzle Solving., , , und . IC-AI, Seite 437-442. CSREA Press, (2004)Ultimate Approximations in Nonmonotonic Knowledge Representation Systems., , und . KR, Seite 177-190. Morgan Kaufmann, (2002)My six encounters with Victor Marek - a personal account.. Ann. Math. Artif. Intell., 53 (1-4): 17-20 (2008)Answer set optimization, , und . (2003)Routing non-convex grids without holes., und . Great Lakes Symposium on VLSI, Seite 157-162. IEEE, (1991)Modal Nonmonotonic Logic with Restricted Application of the Negation as Failure to Prove Rule.. LPNMR, Seite 150-169. (1990)aspps - An Implementation of Answer-Set Programming with Propositional Schemata., und . LPNMR, Volume 2173 von Lecture Notes in Computer Science, Seite 402-405. Springer, (2001)Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint Problems., , und . JELIA, Volume 2424 von Lecture Notes in Computer Science, Seite 513-516. Springer, (2002)Optimal F-Graphs for the Family of all K-Subsets of an N-Set., , und . FODO, Seite 247-270. Academic Press, (1981)Reasoning with Preference Trees over Combinatorial Domains., und . ADT, Volume 9346 von Lecture Notes in Computer Science, Seite 19-34. Springer, (2015)