From post

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.

 

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

A Formal Framework for Reasoning on UML Class Diagrams, , , и . ISMIS '02: Proceedings of the 13th International Symposium on Foundations of Intelligent Systems, стр. 503--513. London, UK, Springer-Verlag, (2002)What to ask to a peer: Ontology-based query reformulation, , , , и . Proc. of the 9th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2004), (2004)Building Virtual Behaviors from Partially Controllable Available Behaviors in Nondeterministic Environments., , и . ICAPS, AAAI, (2014)Rewriting of Regular Path Queries., , , и . SEBD, стр. 213-224. (1999)Reasoning about Actions and Planning in LTL Action Theories., , и . KR, стр. 593-602. Morgan Kaufmann, (2002)On First-Order mu-Calculus over Situation Calculus Action Theories, , , и . Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016., стр. 411--420. (2016)Monitoring Business Metaconstraints Based on LTL & LDL for Finite Traces., , , , и . Journal on Data Semantics, стр. 1-25. (2014)Agent composition synthesis based on ATL., и . AAMAS, стр. 499-506. IFAAMAS, (2010)Rewriting of Regular Expressions and Regular Path Queries., , , и . PODS, стр. 194-204. ACM Press, (1999)View-Based Query Processing for Regular Path Queries with Inverse., , , и . PODS, стр. 58-66. ACM, (2000)