( en | de | ru )

 

Disambiguierung von "Tompits, Hans"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An FLP-Style Answer-Set Semantics for Abstract-Constraint Programs with Disjunctions.

, , und . ICLP (Technical Communications), Volume 17 von LIPIcs, Seite 222-234. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)

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)

Bert Hansky

Sophie Hansen

 

Weitere Publikationen von Autoren mit dem selben Namen

An Approach for Representing Answer Sets in Natural Language., und . DECLARE, Volume 10997 von Lecture Notes in Computer Science, Seite 115-131. Springer, (2017)A Sequent-Type Calculus for Three-Valued Default Logic, Or: Tweety Meets Quartum Non Datur., und . LPNMR, Volume 11481 von Lecture Notes in Computer Science, Seite 163-177. Springer, (2019)Characterising Relativised Strong Equivalence with Projection for Non-ground Answer-Set Programs., und . JELIA, Volume 11468 von Lecture Notes in Computer Science, Seite 542-558. Springer, (2019)Complexity Results for Checking Equivalence of Stratified Logic Programs., , , und . IJCAI, Seite 330-335. (2007)Considerations on Updates of Logic Programs., , , und . JELIA, Volume 1919 von Lecture Notes in Computer Science, Seite 2-20. Springer, (2000)Nonmonotonic Description Logic Programs: Implementation and Experiments., , , und . LPAR, Volume 3452 von Lecture Notes in Computer Science, Seite 511-527. Springer, (2004)Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics., und . ICLP Technical Communications, Volume 325 von EPTCS, Seite 178-191. (2020)Sequent-type rejection systems for finite-valued non-deterministic logics., und . J. Appl. Non Class. Logics, 33 (3-4): 606-640 (Oktober 2023)Annotating answer-set programs in Lana., , , , und . Theory Pract. Log. Program., 12 (4-5): 619-637 (2012)PAUL-2: An Upgraded Transformer-Based Redesign of the Algorithmic Composer PAUL., und . AI*IA, Volume 14318 von Lecture Notes in Computer Science, Seite 278-291. Springer, (2023)