( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
An Efficient Tableau for Linear Time Temporal Logic.

, , и . Australasian Conference on Artificial Intelligence, том 8272 из Lecture Notes in Computer Science, стр. 289-300. Springer, (2013)

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.

Ramona French

Ramona French

Cecily French

Martin French

Katrin Kerl-French

 

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

A card-sorting probe of e-banking trust perceptions., , и . BCS HCI (1), стр. 45-53. BCS, (2007)Automated State Estimation for Summarizing the Dynamics of Complex Urban Systems Using Representation Learning., , , и . AAAI, стр. 23020-23026. AAAI Press, (2024)Applying cognitive computing to maintainer-collected data., , , и . ICSRS, стр. 543-551. IEEE, (2017)Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Initial States., , и . Advances in Modal Logic, стр. 53-72. King's College Publications, (2004)A Composable Language for Action Models., , и . Advances in Modal Logic, стр. 197-216. College Publications, (2014)Natural Language Query for Technical Knowledge Graph Navigation., , , , и . AusDM, том 1741 из Communications in Computer and Information Science, стр. 176-191. Springer, (2022)An Investigation of Recursive Auto-associative Memory in Sentiment Detection., , , и . ADMA (1), том 7120 из Lecture Notes in Computer Science, стр. 162-174. Springer, (2011)The Big Picture, from Grids and Clouds to Crowds: A Data Collective Computational Intelligence Case Proposal for Managing Disasters., , , , и . 3PGCIC, стр. 351-356. IEEE Computer Society, (2010)Refinement Quantified Logics of Knowledge., , и . M4M/LAMAS, том 278 из Electronic Notes in Theoretical Computer Science, стр. 85-98. Elsevier, (2011)A Visual Formalism for Graphical User Interfaces based on State Transition Diagrams., , и . IV, стр. 183-188. IEEE Computer Society, (2003)