( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Stable-Ordered Models for Propositional Theories with Order Operators.

, и . JELIA, том 11468 из Lecture Notes in Computer Science, стр. 794-802. Springer, (2019)

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.

Johannes

Johannes

Johannes

Johannes

Johannes

 

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

The system Kato: Detecting cases of plagiarism for answer-set programs., , , и . Theory Pract. Log. Program., 10 (4-6): 759-775 (2010)A Neuro-Symbolic ASP Pipeline for Visual Question Answering., , , и . Theory Pract. Log. Program., 22 (5): 739-754 (2022)A Modular Neurosymbolic Approach for Visual Graph Question Answering., , и . NeSy, том 3432 из CEUR Workshop Proceedings, стр. 139-149. CEUR-WS.org, (2023)A Knowledge Representation Perspective on Activity Theory., и . CoRR, (2018)Large-Neighbourhood Search for Optimisation in Answer-Set Solving., , , , , и . AAAI, стр. 5616-5625. AAAI Press, (2022)Program Correspondence under the Answer-Set Semantics: The Non-ground Case., и . ICLP, том 5366 из Lecture Notes in Computer Science, стр. 591-605. Springer, (2008)Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison., , , , и . LPNMR, том 6645 из Lecture Notes in Computer Science, стр. 242-247. Springer, (2011)Stepwise Debugging of Description-Logic Programs., , и . Correct Reasoning, том 7265 из Lecture Notes in Computer Science, стр. 492-508. Springer, (2012)Stepping through an Answer-Set Program., , и . LPNMR, том 6645 из Lecture Notes in Computer Science, стр. 134-147. Springer, (2011)Facts Do Not Cease to Exist Because They Are Ignored: Relativised Uniform Equivalence with Answer-Set Projection., , и . AAAI, стр. 458-464. AAAI Press, (2007)