( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Enfragmo: A System for Modelling and Solving Search Problems with Logic.

, , , , и . LPAR, том 7180 из Lecture Notes in Computer Science, стр. 15-22. Springer, (2012)

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.

Nosratollah Shahab

Shahab Kamali

Shahab Behjat

Shahab Dehbandi

Riad Shahab

 

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

Solving Modular Model Expansion: Case Studies., , и . INAP/WLP, том 7773 из Lecture Notes in Computer Science, стр. 215-236. Springer, (2011)SAT-to-SAT: Declarative Extension of SAT Solvers with New Propagators., , и . AAAI, стр. 978-984. AAAI Press, (2016)Three Semantics for Modular Systems., и . CoRR, (2014)A Semantic Account for Modularity in Multi-language Modelling of Search Problems., и . FroCoS, том 6989 из Lecture Notes in Computer Science, стр. 259-274. Springer, (2011)PBINT, A Logic for Modelling Search Problems Involving Arithmetic., и . LPAR (Yogyakarta), том 6397 из Lecture Notes in Computer Science, стр. 610-624. Springer, (2010)User Modeling Using Network Layer Information., , , и . ICN/ICONS/MCL, стр. 48. IEEE Computer Society, (2006)Enfragmo: A System for Modelling and Solving Search Problems with Logic., , , , и . LPAR, том 7180 из Lecture Notes in Computer Science, стр. 15-22. Springer, (2012)Modular Representation of a Business Process Planner., и . KiBP@KR, том 861 из CEUR Workshop Proceedings, стр. 75-88. CEUR-WS.org, (2012)Solving Modular Model Expansion Tasks, , и . CoRR, (2011)Generalized Multi-Context Systems., и . KR, AAAI Press, (2014)