( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework.

, , , и . WLP, том 1843-06-02 из INFSYS Research Report, стр. 206-210. Technische Universität Wien, Austria, (2006)

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.

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)

Thomas Hänsel

Cynthia Hanser

 

Другие публикации лиц с тем же именем

Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics., и . ICLP Technical Communications, том 325 из EPTCS, стр. 178-191. (2020)An Approach for Representing Answer Sets in Natural Language., и . DECLARE, том 10997 из Lecture Notes in Computer Science, стр. 115-131. Springer, (2017)Nonmonotonic Description Logic Programs: Implementation and Experiments., , , и . LPAR, том 3452 из Lecture Notes in Computer Science, стр. 511-527. Springer, (2004)A Sequent-Type Calculus for Three-Valued Default Logic, Or: Tweety Meets Quartum Non Datur., и . LPNMR, том 11481 из Lecture Notes in Computer Science, стр. 163-177. Springer, (2019)Characterising Relativised Strong Equivalence with Projection for Non-ground Answer-Set Programs., и . JELIA, том 11468 из Lecture Notes in Computer Science, стр. 542-558. Springer, (2019)Considerations on Updates of Logic Programs., , , и . JELIA, том 1919 из Lecture Notes in Computer Science, стр. 2-20. Springer, (2000)Complexity Results for Checking Equivalence of Stratified Logic Programs., , , и . IJCAI, стр. 330-335. (2007)Sequent-type rejection systems for finite-valued non-deterministic logics., и . J. Appl. Non Class. Logics, 33 (3-4): 606-640 (октября 2023)Annotating answer-set programs in Lana., , , , и . Theory Pract. Log. Program., 12 (4-5): 619-637 (2012)Methods and Methodologies for Developing Answer-Set Programs - Project Description., , и . ICLP (Technical Communications), том 7 из LIPIcs, стр. 154-161. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2010)