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)Reasoning about Actions and Planning in LTL Action Theories., , и . KR, стр. 593-602. Morgan Kaufmann, (2002)Building Virtual Behaviors from Partially Controllable Available Behaviors in Nondeterministic Environments., , и . ICAPS, AAAI, (2014)Rewriting of Regular Path Queries., , , и . SEBD, стр. 213-224. (1999)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)Structured Objects: Modeling and Reasoning., , и . DOOD, том 1013 из Lecture Notes in Computer Science, стр. 229-246. Springer, (1995)Agent composition synthesis based on ATL., и . AAMAS, стр. 499-506. IFAAMAS, (2010)Representing and Reasoning on SGML Documents., , и . ISMIS, том 1325 из Lecture Notes in Computer Science, стр. 540-549. Springer, (1997)