( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Computational modal logic.

, , , и . Handbook of Modal Logic, том 3 из Studies in logic and practical reasoning, North-Holland, (2007)

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.

Ulrike Sattler

Ulrike Sattler

Ulrike Sattler

Franziska Sattler

Barbara Sattler

 

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

A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions, , и . LTCS-Report, 99-08. LuFg Theoretical Computer Science, RWTH Aachen, Germany, (1999)The Complexity of the Graded µ-Calculus., , и . CADE, том 2392 из Lecture Notes in Computer Science, стр. 423-437. Springer, (2002)Ontology-Based Generation of Medical, Multi-term MCQs., , , , , , , и . Int. J. Artif. Intell. Educ., 29 (2): 145-188 (2019)OWL 2: The next step for OWL., , , , , и . J. Web Semant., 6 (4): 309-322 (2008)Topicality in Logic-Based Ontologies., , и . ICCS, том 6828 из Lecture Notes in Computer Science, стр. 187-200. Springer, (2011)Ontology Reasoning in the $SHOQ$($D$) Description Logic, и . Proc.\ of the 17th Int.\ Joint Conf.\ on Artificial Intelligence (IJCAI~2001), стр. 199--204. Morgan Kaufmann, (2001)\\ http://www.cs.man.ac.uk/~horrocks/Publications/ \\ download/2001/ijcai01.pdf.Tableau Algorithms for Description Logics, и . (мая 2008)Computational modal logic., , , и . Handbook of Modal Logic, том 3 из Studies in logic and practical reasoning, North-Holland, (2007)Description Logics with Concrete Domains and Aggregation., и . ECAI, стр. 336-340. John Wiley and Sons, (1998)OWL 2: The next step for OWL, , , , , и . Web Semantics, 6 (4): 309--322 (2008)