( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Inconsistency Management for Description Logic Programs and Beyond.

, , и . RR, том 7994 из Lecture Notes in Computer Science, стр. 1-3. Springer, (2013)

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.

Michael Fink

Michael Fink

Michael Fink

Michael Fink

Michael Fink

 

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

Declarative Update Policies for Nonmonotonic Knowledge Bases., , , и . Logics for Emerging Applications of Databases, стр. 85-129. Springer, (2003)Mass personalization: social and interactive applications using sound-track identification., , и . Multimedia Tools Appl., 36 (1-2): 115-132 (2008)A knowledge-based approach for selecting information sources., , и . Theory Pract. Log. Program., 7 (3): 249-300 (2007)Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), 6th International Workshop, August 25, 2013, Istanbul, Turkey., и . CoRR, (2013)A General Framework for Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There. CoRR, (2010)Updating action domain descriptions., , , и . Artif. Intell., 174 (15): 1172-1221 (2010)Complexity of Rule Redundancy in Non-ground Answer-Set Programming over Finite Domains., , , и . LPNMR, том 4483 из Lecture Notes in Computer Science, стр. 123-135. Springer, (2007)OMiGA : An Open Minded Grounding On-The-Fly Answer Set Solver., , , , и . JELIA, том 7519 из Lecture Notes in Computer Science, стр. 480-483. Springer, (2012)A Logical Semantics for Description Logic Programs., и . JELIA, том 6341 из Lecture Notes in Computer Science, стр. 156-168. Springer, (2010)Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There.. ICLP, том 5366 из Lecture Notes in Computer Science, стр. 99-113. Springer, (2008)