( en | de | ru )

 

Disambiguation of "Tompits, Hans"

Author of the publication

copydeleteadd this publication to your clipboard
Blockedness in Propositional Logic: Are You Satisfied With Your Neighborhood?

, , , and . IJCAI, page 4884-4888. ijcai.org, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

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)

Gerd Hansen

Uwe Hansen

 

Other publications of authors with the same name

Extending Object-Oriented Languages by Declarative Specifications of Complex Objects using Answer-Set Programming, , and . CoRR, (2011)A Sequent Calculus for Intuitionistic Default Logic., and . WLP, Ludwig Maximilians Universität München, (1997)dlvhex: A Prover for Semantic-Web Reasoning under the Answer-Set Semantics., , , and . Web Intelligence, page 1073-1074. IEEE Computer Society, (2006)On Testing Answer-Set Programs., , , , and . ECAI, volume 215 of Frontiers in Artificial Intelligence and Applications, page 951-956. IOS Press, (2010)The SeaLion has Landed: An IDE for Answer-Set Programming - Preliminary Report., , and . INAP/WLP, volume 7773 of Lecture Notes in Computer Science, page 305-324. Springer, (2011)Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs., , , and . INAP/WLP, volume 7773 of Lecture Notes in Computer Science, page 325-344. Springer, (2011)Harvey : A System for Random Testing in ASP., , and . LPNMR, volume 10377 of Lecture Notes in Computer Science, page 229-235. Springer, (2017)On the Small-Scope Hypothesis for Testing Answer-Set Programs., , , , and . KR, AAAI Press, (2012)A Sequent-Type Calculus for Three-Valued Default Logic, Or: Tweety Meets Quartum Non Datur., and . LPNMR, volume 11481 of Lecture Notes in Computer Science, page 163-177. Springer, (2019)Characterising Relativised Strong Equivalence with Projection for Non-ground Answer-Set Programs., and . JELIA, volume 11468 of Lecture Notes in Computer Science, page 542-558. Springer, (2019)