From post

New Results for Horn Cores and Envelopes of Horn Disjunctions.

, и . ECAI, том 178 из Frontiers in Artificial Intelligence and Applications, стр. 60-64. IOS Press, (2008)

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.

 

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

Computing discrete Fréchet distance, , , , и . (1994)Deploying Spatial-Stream Query Answering in C-ITS Scenarios., , , , и . EKAW, том 11313 из Lecture Notes in Computer Science, стр. 386-406. Springer, (2018)Generalized Quantifiers in Logic Programs., , и . ESSLLI, том 1754 из Lecture Notes in Computer Science, стр. 72-98. Springer, (1997)Determining Inference Semantics for Disjunctive Logic Programs (Extended Abstract)., и . IJCAI, стр. 5040-5044. ijcai.org, (2020)Journal track.Special issue on stream reasoning., , , и . Semantic Web, 10 (3): 453-455 (2019)Conjunctive query answering in the description logic SH using knots., , и . J. Comput. Syst. Sci., 78 (1): 47-85 (2012)A Generic Approach for Knowledge-Based Information-Site Selection., , , и . KR, стр. 459-469. Morgan Kaufmann, (2002)Unfounded Sets and Partial Stable Models for Disjuntive Deductive Databases., , и . APPIA-GULP-PRODE, стр. 271-282. (1996)Resolving Conflicts in Action Descriptions., , , и . ECAI, том 141 из Frontiers in Artificial Intelligence and Applications, стр. 367-371. IOS Press, (2006)Complexity Aspects of Various Semantics for Disjunctive Databases., и . PODS, стр. 158-167. ACM Press, (1993)