PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Janhunen, Tomi"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
ASP Solving for Expanding Universes.

, , , , und . LPNMR, Volume 9345 von Lecture Notes in Computer Science, Seite 354-367. Springer, (2015)

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.

Keine Personen gefunden für den Autorennamen Janhunen, Tomi
Eine Person hinzufügen mit dem Namen Janhunen, Tomi
 

Weitere Publikationen von Autoren mit dem selben Namen

Unfolding Partiality and Disjunctions in Stable Model Semantics., , , und . KR, Seite 411-422. Morgan Kaufmann, (2000)Representing Normal Programs with Clauses.. ECAI, Seite 358-362. IOS Press, (2004)Cautious Models for General Logic Programs.. Deductive Databases / Abduction in Deductive Databases, Volume 266 von GMD-Studien, Seite 25-39. Gesellschaft für Mathematik und Datenverarbeitung MbH, (1995)On Probing and Multi-Threading in Platypus., , , , , und . ECAI, Volume 141 von Frontiers in Artificial Intelligence and Applications, Seite 392-396. IOS Press, (2006)Compact Translations of Non-disjunctive Answer Set Programs to Propositional Clauses., und . Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, Volume 6565 von Lecture Notes in Computer Science, Seite 111-130. Springer, (2011)Verifying the Equivalence of Logic Programs in the Disjunctive Case., und . LPNMR, Volume 2923 von Lecture Notes in Computer Science, Seite 180-193. Springer, (2004)Platypus: A Platform for Distributed Answer Set Solving., , , , , und . LPNMR, Volume 3662 von Lecture Notes in Computer Science, Seite 227-239. Springer, (2005)On the Effect of Default Negation on the Expressiveness of Disjunctive Rules.. LPNMR, Volume 2173 von Lecture Notes in Computer Science, Seite 93-106. Springer, (2001)Answer Set Programming Modulo Acyclicity., , , , und . LPNMR, Volume 9345 von Lecture Notes in Computer Science, Seite 143-150. Springer, (2015)On Testing Answer-Set Programs., , , , und . ECAI, Volume 215 von Frontiers in Artificial Intelligence and Applications, Seite 951-956. IOS Press, (2010)