{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:51:14Z","timestamp":1750308674272,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,6,22]],"date-time":"2012-06-22T00:00:00Z","timestamp":1340323200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,6,22]]},"DOI":"10.1145\/2383276.2383333","type":"proceedings-article","created":{"date-parts":[[2012,10,15]],"date-time":"2012-10-15T19:26:46Z","timestamp":1350329206000},"page":"391-398","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Using control network programming in teaching nondeterminism"],"prefix":"10.1145","author":[{"given":"Kostadin","family":"Kratchanov","sequence":"first","affiliation":[{"name":"Ya\u015far University, Bornova - Izmir, Turkey"}]},{"given":"Emilia","family":"Golemanova","sequence":"additional","affiliation":[{"name":"University of Ruse, Ruse, Bulgaria"}]},{"given":"Tzanko","family":"Golemanov","sequence":"additional","affiliation":[{"name":"University of Ruse, Ruse, Bulgaria"}]},{"given":"Burcu","family":"K\u00fclah\u00e7\u0131o\u01e7lu","sequence":"additional","affiliation":[{"name":"Ya\u015far University, Bornova - Izmir, Turkey"}]}],"member":"320","published-online":{"date-parts":[[2012,6,22]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"ANTLR\n  : http:\/\/www.antlr.org\/. Retrieved 2012-06-29  ANTLR: http:\/\/www.antlr.org\/. Retrieved 2012-06-29"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1595453.1595495"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1352135.1352141"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1269900.1268936"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/782941.782975"},{"volume-title":"Prolog as Description and Implementation Language in Computer Science Teaching","author":"Christiansen H.","key":"e_1_3_2_1_6_1","unstructured":"Christiansen , H. : Prolog as Description and Implementation Language in Computer Science Teaching , http:\/\/akira.ruc.dk\/~henning\/publications\/christiansenteachlp2004.pdf. Retrieved 2012-06-29 Christiansen, H.: Prolog as Description and Implementation Language in Computer Science Teaching, http:\/\/akira.ruc.dk\/~henning\/publications\/christiansenteachlp2004.pdf. Retrieved 2012-06-29"},{"key":"e_1_3_2_1_7_1","first-page":"59","volume-title":"EXIT","author":"Christiansen H.","year":"2002","unstructured":"Christiansen , H. : Using Prolog as Metalanguage for Teaching Programming Language Concepts, In Kacprzyk J., Krawczak, M. and Zadrozny, S. (eds.) Issues in Information Technology , EXIT , Warszawa , pp. 59 -- 82 ( 2002 ) Christiansen, H.: Using Prolog as Metalanguage for Teaching Programming Language Concepts, In Kacprzyk J., Krawczak, M. and Zadrozny, S. (eds.) Issues in Information Technology, EXIT, Warszawa, pp. 59--82 (2002)"},{"key":"e_1_3_2_1_8_1","unstructured":"Compiler-compilers: http:\/\/www.answers.com\/main\/ntquery?s=compiler+generator. Retrieved 2012-06-29  Compiler-compilers: http:\/\/www.answers.com\/main\/ntquery?s=compiler+generator. Retrieved 2012-06-29"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.7227\/IJEEE.42.4.5"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1731740.1731766"},{"key":"e_1_3_2_1_11_1","volume-title":"Fundamentals of the Theory of Computation: Principles and Practice","author":"Greenlaw R.","year":"1998","unstructured":"Greenlaw , R. and Hoover , H .: Fundamentals of the Theory of Computation: Principles and Practice , Morgan Kaufmann Publ. , San Francisco ( 1998 ) Greenlaw, R. and Hoover, H.: Fundamentals of the Theory of Computation: Principles and Practice, Morgan Kaufmann Publ., San Francisco (1998)"},{"key":"e_1_3_2_1_12_1","volume-title":"Prolog Experiments in Discrete Mathematics, Logic, and Computability, www.cs.pdx.edu\/~jhein\/books\/PrologLabBook09.pdf","author":"Hein J.","year":"2009","unstructured":"Hein , J. : Prolog Experiments in Discrete Mathematics, Logic, and Computability, www.cs.pdx.edu\/~jhein\/books\/PrologLabBook09.pdf ( 2009 ). Retrieved 2012-06-29 Hein, J.: Prolog Experiments in Discrete Mathematics, Logic, and Computability, www.cs.pdx.edu\/~jhein\/books\/PrologLabBook09.pdf (2009). Retrieved 2012-06-29"},{"key":"e_1_3_2_1_13_1","volume-title":"Randomization, Approximation, and Heuristics","author":"Hromkovi","year":"2010","unstructured":"Hromkovi ĉ, J. : Algorithmics for Hard Problems: Introduction to Combinatorial Optimization , Randomization, Approximation, and Heuristics , 2 nd ed., Springer ( 2010 ) Hromkoviĉ, J.: Algorithmics for Hard Problems: Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics, 2nd ed., Springer (2010)","edition":"2"},{"key":"e_1_3_2_1_14_1","unstructured":"JFLAP\n  : http:\/\/www.cs.duke.edu\/csed\/jflap\/. Retrieved 2012-06-29  JFLAP: http:\/\/www.cs.duke.edu\/csed\/jflap\/. Retrieved 2012-06-29"},{"key":"e_1_3_2_1_15_1","unstructured":"Johnsonbaugh R. and Schaefer M.: Algorithms Pearson -- Prentice Hall (2004)   Johnsonbaugh R. and Schaefer M.: Algorithms Pearson -- Prentice Hall (2004)"},{"key":"e_1_3_2_1_16_1","first-page":"423","volume-title":"8th WSEAS Int. Conf. on Artificial Intelligence, Knowledge Engineering and Data Bases (AIKED 2009","author":"Kratchanov K.","year":"2009","unstructured":"Kratchanov , K. , Golemanov , T. and Golemanova , E .: Control Network Programs: Static Search Control with System Options . In: 8th WSEAS Int. Conf. on Artificial Intelligence, Knowledge Engineering and Data Bases (AIKED 2009 ), Cambridge, UK , pp. 423 -- 428 , WSEAS Press ( 2009 ) Kratchanov, K., Golemanov, T. and Golemanova, E.: Control Network Programs: Static Search Control with System Options. In: 8th WSEAS Int. Conf. on Artificial Intelligence, Knowledge Engineering and Data Bases (AIKED 2009), Cambridge, UK, pp. 423--428, WSEAS Press (2009)"},{"key":"e_1_3_2_1_17_1","volume-title":"Proc. 14th Intl Conf. (KES 2010","author":"Kratchanov K.","year":"2010","unstructured":"Kratchanov , K. , Golemanov , T , Golemanova , E and Ercan , T .: Control Network Programming with SPIDER: Dynamic Search Control, In: Knowledge-Based and Intelligent Information and Engineering Systems , Proc. 14th Intl Conf. (KES 2010 ), Cardiff, UK , Sep 2010 , Part II, Lecture Notes in Artificial Intelligence), v.6277, Springer, pp. 253--262 (2010) Kratchanov, K., Golemanov, T, Golemanova, E and Ercan, T.: Control Network Programming with SPIDER: Dynamic Search Control, In: Knowledge-Based and Intelligent Information and Engineering Systems, Proc. 14th Intl Conf. (KES 2010), Cardiff, UK, Sep 2010, Part II, Lecture Notes in Artificial Intelligence), v.6277, Springer, pp. 253--262 (2010)"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICIS.2008.71"},{"key":"e_1_3_2_1_19_1","first-page":"417","volume-title":"8th WSEAS Int. Conf. on Artificial Intelligence, Knowledge Engineering and Data Bases (AIKED 2009","author":"Kratchanov K.","year":"2009","unstructured":"Kratchanov , K. , Golemanova , E. and Golemanov , T .: Control Network Programs and Their Execution , In: 8th WSEAS Int. Conf. on Artificial Intelligence, Knowledge Engineering and Data Bases (AIKED 2009 ), Cambridge, UK , 2009 , pp. 417 -- 422 , WSEAS Press (2009) Kratchanov, K., Golemanova, E. and Golemanov, T.: Control Network Programs and Their Execution, In: 8th WSEAS Int. Conf. on Artificial Intelligence, Knowledge Engineering and Data Bases (AIKED 2009), Cambridge, UK, 2009, pp. 417--422, WSEAS Press (2009)"},{"key":"e_1_3_2_1_20_1","volume-title":"Proc. 14th Intl Conf. (KES 2010","author":"Kratchanov K.","year":"2010","unstructured":"Kratchanov , K. , Golemanova , E. , Golemanov , T. and Ercan , T .. Non-Procedural Implementation of Local Heuristic Search in Control Network Programming, In: Knowledge-Based and Intelligent Information and Engineering Systems , Proc. 14th Intl Conf. (KES 2010 ), Cardiff, UK , Sep 2010 , Part II, Lecture Notes in Artificial Intelligence), v.6277, Springer, pp. 263--272 (2010) Kratchanov, K., Golemanova, E., Golemanov, T. and Ercan, T.. Non-Procedural Implementation of Local Heuristic Search in Control Network Programming, In: Knowledge-Based and Intelligent Information and Engineering Systems, Proc. 14th Intl Conf. (KES 2010), Cardiff, UK, Sep 2010, Part II, Lecture Notes in Artificial Intelligence), v.6277, Springer, pp. 263--272 (2010)"},{"key":"e_1_3_2_1_21_1","first-page":"87","author":"Kratchanov K.","year":"2012","unstructured":"Kratchanov , K. , Golemanova , E. , Golemanov , T. and G\u00f6k\u00e7en , Y. : Implementing Search Strategies in Winspider I: Introduction to Control Network Programming and Search. In: Stanev, I. and K. Grigorova (eds.): Knowledge-Based Automated Software Engineering, Cambridge Scholars Publ. , pp. 87 -- 113 ( 2012 ) Kratchanov, K., Golemanova, E., Golemanov, T. and G\u00f6k\u00e7en, Y.: Implementing Search Strategies in Winspider I: Introduction to Control Network Programming and Search. In: Stanev, I. and K. Grigorova (eds.): Knowledge-Based Automated Software Engineering, Cambridge Scholars Publ., pp. 87--113 (2012)","journal-title":"Publ."},{"key":"e_1_3_2_1_22_1","first-page":"115","author":"Kratchanov K.","year":"2012","unstructured":"Kratchanov , K. , Golemanova , E , Golemanov , T. and G\u00f6k\u00e7en , Y. : Implementing Search Strategies in Winspider II: Declarative, Procedural , and Hybrid Approaches. In: Stanev, I. and K. Grigorova (eds.): Knowledge-Based Automated Software Engineering, Cambridge Scholars Publ. , pp. 115 -- 135 ( 2012 ) Kratchanov, K., Golemanova, E, Golemanov, T. and G\u00f6k\u00e7en, Y.: Implementing Search Strategies in Winspider II: Declarative, Procedural, and Hybrid Approaches. In: Stanev, I. and K. Grigorova (eds.): Knowledge-Based Automated Software Engineering, Cambridge Scholars Publ., pp. 115--135 (2012)","journal-title":"Publ."},{"key":"e_1_3_2_1_23_1","unstructured":"Lacerda B.: Matlab Function Library of Finite State Automata Operations http:\/\/users.isr.ist.utl.pt\/~pal\/cadeiras\/deds0708\/deds\/Projects06-07\/BLacerda.pdf  Lacerda B.: Matlab Function Library of Finite State Automata Operations http:\/\/users.isr.ist.utl.pt\/~pal\/cadeiras\/deds0708\/deds\/Projects06-07\/BLacerda.pdf"},{"key":"e_1_3_2_1_24_1","volume-title":"An Introduction to Formal Languages and Automata","author":"Linz P.","year":"2012","unstructured":"Linz , P. : An Introduction to Formal Languages and Automata , 5 th ed., Jones & Bartlett ( 2012 ) Linz, P.: An Introduction to Formal Languages and Automata, 5th ed., Jones & Bartlett (2012)","edition":"5"},{"issue":"2","key":"e_1_3_2_1_25_1","first-page":"48","volume":"35","author":"Mar\u00f3ti G.","year":"2003","unstructured":"Mar\u00f3ti , G. : Didactic approach for teaching nondeterminism in automata theory , ZDM , Vol. 35 , No. 2 , pp. 48 -- 55 ( 2003 ) Mar\u00f3ti, G.: Didactic approach for teaching nondeterminism in automata theory, ZDM, Vol. 35, No. 2, pp. 48--55 (2003)","journal-title":"ZDM"},{"volume-title":"Teaching Tools for Turing Machines","author":"Martin C.","key":"e_1_3_2_1_26_1","unstructured":"Martin , C. and ol de Scheper , T. : Teaching Tools for Turing Machines , http:\/\/tech.brookes.ac.uk\/people\/clare.martin\/wp-content\/uploads\/2008\/09\/martin scheper. pdf (2003). Retrieved 2012-06-29 Martin, C. and olde Scheper, T.: Teaching Tools for Turing Machines, http:\/\/tech.brookes.ac.uk\/people\/clare.martin\/wp-content\/uploads\/2008\/09\/martin scheper. pdf (2003). Retrieved 2012-06-29"},{"key":"e_1_3_2_1_27_1","unstructured":"Nondeterminism http:\/\/www.answers.com\/topic\/nondeterminism-1. Retrieved 2012-06-29  Nondeterminism http:\/\/www.answers.com\/topic\/nondeterminism-1. Retrieved 2012-06-29"},{"key":"e_1_3_2_1_28_1","unstructured":"Parr T.: The Definitive ANTLR Reference The Pragmatic Bookshelf (2007)   Parr T.: The Definitive ANTLR Reference The Pragmatic Bookshelf (2007)"},{"key":"e_1_3_2_1_29_1","volume-title":"Introduction to the Theory of Computation","author":"Sipser M.","year":"2006","unstructured":"Sipser , M. : Introduction to the Theory of Computation , 2 nd ed., Thomson ( 2006 ) Sipser, M.: Introduction to the Theory of Computation, 2nd ed., Thomson (2006)","edition":"2"},{"key":"e_1_3_2_1_30_1","unstructured":"UPPAAL http:\/\/www.uppaal.org\/. Retrieved 2012-06-29  UPPAAL http:\/\/www.uppaal.org\/. Retrieved 2012-06-29"},{"key":"e_1_3_2_1_31_1","unstructured":"Wegener I.: Teaching Nondeterminism as a Special Case of Randomization Informatica Didactica 4 (2002)  Wegener I.: Teaching Nondeterminism as a Special Case of Randomization Informatica Didactica 4 (2002)"},{"key":"e_1_3_2_1_32_1","unstructured":"Wikipedia: Nondeterministic Programming: http:\/\/en.wikipedia.org\/wiki\/Nondeterministic_programming. Retrieved 2012-06-29  Wikipedia: Nondeterministic Programming: http:\/\/en.wikipedia.org\/wiki\/Nondeterministic_programming. Retrieved 2012-06-29"}],"event":{"name":"CompSysTech'12: 2012 Conference on Computer Systems and Technologies","acronym":"CompSysTech'12","location":"Ruse Bulgaria"},"container-title":["Proceedings of the 13th International Conference on Computer Systems and Technologies"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2383276.2383333","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2383276.2383333","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:00:49Z","timestamp":1750276849000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2383276.2383333"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6,22]]},"references-count":32,"alternative-id":["10.1145\/2383276.2383333","10.1145\/2383276"],"URL":"https:\/\/doi.org\/10.1145\/2383276.2383333","relation":{},"subject":[],"published":{"date-parts":[[2012,6,22]]},"assertion":[{"value":"2012-06-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}