( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
LTL Verification of Online Executions with Sensing in Bounded Situation Calculus.

, , , и . ECAI, том 263 из Frontiers in Artificial Intelligence and Applications, стр. 369-374. IOS Press, (2014)

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.

Fabio Sternberg

Fabio Galbusera

Fabio Farinon

Fabio Giovannini

Fabio Ruggiero

 

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

Task Assignment with Dynamic Token Generation., , , и . MSRAS, том 28 из Advances in Soft Computing, стр. 467-477. Springer, (2004)Building Virtual Behaviors from Partially Controllable Available Behaviors in Nondeterministic Environments., , и . ICAPS, AAAI, (2014)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)LTLf/LDLf Non-Markovian Rewards., , и . AAAI, стр. 1771-1778. AAAI Press, (2018)Automated Service Composition Based on Behaviors: The Roman Model., , и . Web Services Foundations, Springer, (2014)Action Theories over Generalized Databases with Equality Constraints (Extended Abstract)., и . KR, AAAI Press, (2014)SAT as an Effective Solving Technology for Constraint Problems., , и . ISMIS, том 4203 из Lecture Notes in Computer Science, стр. 540-549. Springer, (2006)Temporal Logic Monitoring Rewards via Transducers., , , , и . KR, стр. 860-870. (2020)ASP-Based Declarative Process Mining., , и . AAAI, стр. 5539-5547. AAAI Press, (2022)Evaluating ASP and Commercial Solvers on the CSPLib., , , и . ECAI, том 141 из Frontiers in Artificial Intelligence and Applications, стр. 68-72. IOS Press, (2006)