( en | de | ru )

 

Disambiguierung von "Tompits, Hans"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Characterising equilibrium logic and nested logic programs: Reductions and complexity, .

, , und . Theory Pract. Log. Program., 9 (5): 565-616 (2009)

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.

Ana Hanstedt

Beurteilung der Entwicklungskompetenz boviner Oozyten aus Follikeln mit unterschiedlicher Durchblutung der Follikelwand. TierH Hannover, (2009)

Flemming Hansen

Standards in der sozialen Arbeit. Uni Kassel, (2009)

Patrick Hansen

Entwicklung eines energetischen Sanierungsmodells für den europäischen Wohngebäudesektor unter dem Aspekt der Erstellung von Szenarien für Energie- und Co_1tn2-Einsparpotenziale bis 2030. Uni Siegen, (2009)

Josef Hanslmeier

Otto Hansen

 

Weitere Publikationen von Autoren mit dem selben Namen

Extending Object-Oriented Languages by Declarative Specifications of Complex Objects using Answer-Set Programming, , und . CoRR, (2011)dlvhex: A Prover for Semantic-Web Reasoning under the Answer-Set Semantics., , , und . Web Intelligence, Seite 1073-1074. IEEE Computer Society, (2006)A Sequent Calculus for Intuitionistic Default Logic., und . WLP, Ludwig Maximilians Universität München, (1997)On Testing Answer-Set Programs., , , , und . ECAI, Volume 215 von Frontiers in Artificial Intelligence and Applications, Seite 951-956. IOS Press, (2010)Harvey : A System for Random Testing in ASP., , und . LPNMR, Volume 10377 von Lecture Notes in Computer Science, Seite 229-235. Springer, (2017)The SeaLion has Landed: An IDE for Answer-Set Programming - Preliminary Report., , und . INAP/WLP, Volume 7773 von Lecture Notes in Computer Science, Seite 305-324. Springer, (2011)Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs., , , und . INAP/WLP, Volume 7773 von Lecture Notes in Computer Science, Seite 325-344. Springer, (2011)On the Small-Scope Hypothesis for Testing Answer-Set Programs., , , , und . KR, AAAI Press, (2012)An Approach for Representing Answer Sets in Natural Language., und . DECLARE, Volume 10997 von Lecture Notes in Computer Science, Seite 115-131. Springer, (2017)Considerations on Updates of Logic Programs., , , und . JELIA, Volume 1919 von Lecture Notes in Computer Science, Seite 2-20. Springer, (2000)