( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Eliminating Nonmonotonic DL-Atoms in Description Logic Programs.

, , , , и . RR, том 7994 из Lecture Notes in Computer Science, стр. 168-182. 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.

Jia Jia

Ying Huai

Mi Huaifeng

You Huh

You Mahman

 

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

Existential Rule Languages with Finite Chase: Complexity and Expressiveness., , и . CoRR, (2014)Embedding Description Logic Programs into Default Logic, , , , и . CoRR, (2011)Distributed Reasoning for Restricted Weakly-Linear Disjunctive Tuple-Generating Dependencies., и . RuleML+RR, том 12173 из Lecture Notes in Computer Science, стр. 140-149. Springer, (2020)Circumscription by Inference Rules with Priority., , и . ECAI, стр. 110-116. John Wiley and Sons, Chichester, (1996)A Simple but Effective Program Revision Method., и . ILPS, стр. 686. MIT Press, (1994)Conceptual Basis and Evaluation Strategies for Integrating Functional and Logic Programming., и . SLP, стр. 144-153. IEEE-CS, (1984)A Linear Tabling Mechanism., , , и . ICLP, стр. 618. MIT Press, (1999)On Coherence Approach to Logic Program Revision., и . ICLP, стр. 167-181. MIT Press, (1995)Discriminant Circumscription., и . FSTTCS, том 472 из Lecture Notes in Computer Science, стр. 21-32. Springer, (1990)Eliminating Nonmonotonic DL-Atoms in Description Logic Programs., , , , и . RR, том 7994 из Lecture Notes in Computer Science, стр. 168-182. Springer, (2013)