( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Towards Computing Revised Models for FO Theories.

, , и . INAP, том 6547 из Lecture Notes in Computer Science, стр. 85-101. Springer, (2009)

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.

Tran Cat

Cat Kutay

Bahar Cat

Katharina Broeske

Ursel Broesskamp-Stone

 

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

Detection and exploitation of functional dependencies for model generation., и . Theory Pract. Log. Program., 13 (4-5): 471-485 (2013)FO(FD): Extending classical logic with rule-based fixpoint definitions., , и . Theory Pract. Log. Program., 10 (4-6): 581-596 (2010)Predicate logic as a modeling language: the IDP system., , , , и . Declarative Logic Programming, том 20 из ACM Books, ACM / Morgan & Claypool, (2018)Lazy Model Expansion: Interleaving Grounding with Search., , , и . J. Artif. Intell. Res., (2015)Constraint CNF: SAT and CSP Language Under One Roof., и . ICLP (Technical Communications), том 52 из OASIcs, стр. 12:1-12:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Lazy Model Expansion: Interleaving Grounding with Search., , , и . CoRR, (2014)Lazy Model Expansion by Incremental Grounding., , и . ICLP (Technical Communications), том 17 из LIPIcs, стр. 201-211. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)Modeling Machine Learning and Data Mining Problems with FO(·)., , , , , , , , и . ICLP (Technical Communications), том 17 из LIPIcs, стр. 14-25. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)Towards Computing Revised Models for FO Theories., , и . INAP, том 6547 из Lecture Notes in Computer Science, стр. 85-101. Springer, (2009)