{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T12:50:01Z","timestamp":1775825401649,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":75,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642307423","type":"print"},{"value":"9783642307430","type":"electronic"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30743-0_16","type":"book-chapter","created":{"date-parts":[[2012,6,2]],"date-time":"2012-06-02T03:49:46Z","timestamp":1338608986000},"page":"229-246","source":"Crossref","is-referenced-by-count":15,"title":["Applications of Action Languages in Cognitive Robotics"],"prefix":"10.1007","author":[{"given":"Esra","family":"Erdem","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Volkan","family":"Patoglu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/978-3-642-20895-9_36","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"E. Aker","year":"2011","unstructured":"Aker, E., Erdogan, A., Erdem, E., Patoglu, V.: Causal Reasoning for Planning and Coordination of Multiple Housekeeping Robots. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol.\u00a06645, pp. 311\u2013316. Springer, Heidelberg (2011)"},{"key":"16_CR2","unstructured":"Aker, E., Erdogan, A., Erdem, E., Patoglu, V.: Housekeeping with multiple autonomous robots: Representation, reasoning and execution. In: Proc. of Commonsense (2011)"},{"issue":"1-2","key":"16_CR3","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/j.artint.2003.08.002","volume":"153","author":"V. Akman","year":"2004","unstructured":"Akman, V., Erdogan, S.T., Lee, J., Lifschitz, V., Turner, H.: Representing the zoo world and the traffic world in the language of the causal calculator. Artificial Intelligence\u00a0153(1-2), 105\u2013140 (2004)","journal-title":"Artificial Intelligence"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Baral, C., Chancellor, K., Tran, N., Tran, N.: Representing and reasoning about signal networks: an illustration using nfkappab dependent signaling pathways. In: Proc. of CSB, pp. 623\u2013628 (2003)","DOI":"10.1109\/CSB.2003.1227427"},{"key":"16_CR5","unstructured":"Baral, C., Gelfond, M.: Representing concurrent actions in extended logic programming. In: Proc. of IJCAI, pp. 866\u2013873 (1993)"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Baral, C., Gelfond, M.: Reasoning agents in dynamic domains, pp. 257\u2013279. Kluwer Academic Publishers (2000)","DOI":"10.1007\/978-1-4615-1567-8_12"},{"key":"16_CR7","unstructured":"Baral, C., Gelfond, M.: Reasoning about intended actions. In: Proc. of AAAI, pp. 689\u2013694 (2005)"},{"issue":"1-3","key":"16_CR8","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1016\/S0743-1066(96)00141-0","volume":"31","author":"C. Baral","year":"1997","unstructured":"Baral, C., Gelfond, M., Provetti, A.: Representing actions: Laws, observations and hypotheses. Journal of Logic Programming\u00a031(1-3), 201\u2013243 (1997)","journal-title":"Journal of Logic Programming"},{"key":"16_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-540-74565-5_3","volume-title":"KI 2007: Advances in Artificial Intelligence","author":"M. Beetz","year":"2007","unstructured":"Beetz, M., Buss, M., Wollherr, D.: Cognitive Technical Systems \u2014 What Is the Role of Artificial Intelligence? In: Hertzberg, J., Beetz, M., Englert, R. (eds.) KI 2007. LNCS (LNAI), vol.\u00a04667, pp. 19\u201342. Springer, Heidelberg (2007)"},{"key":"16_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/3-540-58467-6_2","volume-title":"KI-94: Advances in Artificial Intelligence","author":"S.E. Bornscheuer","year":"1994","unstructured":"Bornscheuer, S.E., Thielscher, M.: Representing Concurrent Actions and Solving Conflicts. In: Dreschler-Fischer, L., Nebel, B. (eds.) KI 1994. LNCS, vol.\u00a0861, pp. 16\u201327. Springer, Heidelberg (1994)"},{"issue":"3","key":"16_CR11","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1093\/jigpal\/4.3.355","volume":"4","author":"S.E. Bornscheuer","year":"1996","unstructured":"Bornscheuer, S.E., Thielscher, M.: Representing concurrent actions and solving conflicts. Logic Journal of the IGPL\u00a04(3), 355\u2013368 (1996)","journal-title":"Logic Journal of the IGPL"},{"issue":"12","key":"16_CR12","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/2043174.2043195","volume":"54","author":"G. Brewka","year":"2011","unstructured":"Brewka, G., Eiter, T., Truszczynski, M.: Answer set programming at a glance. Communications of ACM\u00a054(12), 92\u2013103 (2011)","journal-title":"Communications of ACM"},{"key":"16_CR13","unstructured":"Cabalar, P.: Pertinence for Causal Representation of Action Domains. Ph.D. thesis, University of Corunna (2001)"},{"key":"16_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/978-3-642-04238-6_29","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"O. Caldiran","year":"2009","unstructured":"Caldiran, O., Haspalamutgil, K., Ok, A., Palaz, C., Erdem, E., Patoglu, V.: Bridging the Gap between High-Level Reasoning and Low-Level Control. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol.\u00a05753, pp. 342\u2013354. Springer, Heidelberg (2009)"},{"key":"16_CR15","unstructured":"Casolary, M., Lee, J.: Representing the language of the causal calculator in answer set programming. In: Proc. of ICLP (Technical Communications), pp. 51\u201361 (2011)"},{"key":"16_CR16","unstructured":"Delgrande, J.P., Schaub, T., Tompits, H.: An extended query language for action languages and its application to aggregates and preferences. In: Proc. of NMR, pp. 362\u2013370 (2006)"},{"key":"16_CR17","first-page":"273","volume":"2","author":"P. Doherty","year":"1998","unstructured":"Doherty, P., Gustafsson, J., Karlsson, L., Kvarnstr\u00f6m, J.: Tal: Temporal action logics language specification and tutorial. ETAI\u00a02, 273\u2013306 (1998)","journal-title":"ETAI"},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"Dornhege, C., Eyerich, P., Keller, T., Tr\u00fcg, S., Brenner, M., Nebel, B.: Semantic attachments for domain-independent planning systems. In: Proc. of ICAPS (2009)","DOI":"10.1609\/icaps.v19i1.13380"},{"issue":"1-2","key":"16_CR19","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/s10601-007-9031-y","volume":"13","author":"S. Dworschak","year":"2008","unstructured":"Dworschak, S., Grell, S., Nikiforova, V.J., Schaub, T., Selbig, J.: Modeling biological networks by action languages via answer set programming. Constraints\u00a013(1-2), 21\u201365 (2008)","journal-title":"Constraints"},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"Dworschak, S., Grote, T., K\u00f6nig, A., Schaub, T., Veber, P.: The system bioc for reasoning about biological models in action language c. In: Proc. of ICTAI (1), pp. 11\u201318 (2008)","DOI":"10.1109\/ICTAI.2008.69"},{"key":"16_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"502","DOI":"10.1007\/978-3-540-24605-3_37","volume-title":"Theory and Applications of Satisfiability Testing","author":"N. E\u00e9n","year":"2004","unstructured":"E\u00e9n, N., S\u00f6rensson, N.: An Extensible SAT-solver. In: Giunchiglia, E., Tacchella, A. (eds.) SAT 2003. LNCS, vol.\u00a02919, pp. 502\u2013518. Springer, Heidelberg (2004)"},{"issue":"15","key":"16_CR22","doi-asserted-by":"publisher","first-page":"1172","DOI":"10.1016\/j.artint.2010.07.004","volume":"174","author":"T. Eiter","year":"2010","unstructured":"Eiter, T., Erdem, E., Fink, M., Senko, J.: Updating action domain descriptions. Artificial Intelligence\u00a0174(15), 1172\u20131221 (2010)","journal-title":"Artificial Intelligence"},{"issue":"1\u20132","key":"16_CR23","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/S0004-3702(02)00367-3","volume":"144","author":"T. Eiter","year":"2003","unstructured":"Eiter, T., Faber, W., Leone, N., Pfeifer, G., Polleres, A.: A logic programming approach to knowledge-state planning, II: The DLV $^{\\mbox{k}}$ system. Artificial Intelligence\u00a0144(1\u20132), 157\u2013211 (2003)","journal-title":"Artificial Intelligence"},{"key":"16_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/3-540-63255-7_27","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"T. Eiter","year":"1997","unstructured":"Eiter, T., Leone, N., Mateis, C., Pfeifer, G., Scarcello, F.: A Deductive System for Non-monotonic Reasoning. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol.\u00a01265, pp. 363\u2013374. Springer, Heidelberg (1997)"},{"key":"16_CR25","doi-asserted-by":"crossref","unstructured":"Erdem, E., Haspalamutgil, K., Palaz, C., Patoglu, V., Uras, T.: Combining high-level causal reasoning with low-level geometric reasoning and motion planning for robotic manipulation. In: Proc. of ICRA, pp. 4575\u20134581 (2011)","DOI":"10.1109\/ICRA.2011.5980160"},{"key":"16_CR26","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"822","DOI":"10.1007\/3-540-44957-4_55","volume-title":"Computational Logic - CL 2000","author":"E. Erdem","year":"2000","unstructured":"Erdem, E., Lifschitz, V., Wong, M.D.F.: Wire Routing and Satisfiability Planning. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol.\u00a01861, pp. 822\u2013836. Springer, Heidelberg (2000)"},{"key":"16_CR27","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1613\/jair.1129","volume":"20","author":"M. Fox","year":"2003","unstructured":"Fox, M., Long, D.: Pddl2.1: An extension to pddl for expressing temporal planning domains. J. Artif. Intell. Res (JAIR)\u00a020, 61\u2013124 (2003)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"16_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1007\/978-3-642-15675-5_32","volume-title":"Logics in Artificial Intelligence","author":"M. Gebser","year":"2010","unstructured":"Gebser, M., Grote, T., Schaub, T.: Coala: A Compiler from Action Languages to ASP. In: Janhunen, T., Niemel\u00e4, I. (eds.) JELIA 2010. LNCS, vol.\u00a06341, pp. 360\u2013364. Springer, Heidelberg (2010)"},{"key":"16_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/978-3-540-89982-2_23","volume-title":"Logic Programming","author":"M. Gebser","year":"2008","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Thiele, S.: Engineering an Incremental ASP Solver. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol.\u00a05366, pp. 190\u2013205. Springer, Heidelberg (2008)"},{"issue":"2","key":"16_CR30","doi-asserted-by":"crossref","first-page":"107","DOI":"10.3233\/AIC-2011-0491","volume":"24","author":"M. Gebser","year":"2011","unstructured":"Gebser, M., Kaufmann, B., Kaminski, R., Ostrowski, M., Schaub, T., Schneider, M.T.: Potassco: The potsdam answer set solving collection. AI Communications\u00a024(2), 107\u2013124 (2011)","journal-title":"AI Communications"},{"key":"16_CR31","doi-asserted-by":"crossref","unstructured":"Gelfond, M., Inclezan, D.: Yet another modular action language. In: Proc. of SEA, pp. 64\u201378 (2009)","DOI":"10.1007\/978-3-642-02846-5_55"},{"key":"16_CR32","unstructured":"Gelfond, M., Lifschitz, V.: Representing actions in extended logic programming. In: Proc. of the Joint International Conference and Symposium on Logic Programming, pp. 559\u2013573 (1992)"},{"issue":"2\/3&4","key":"16_CR33","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/0743-1066(93)90035-F","volume":"17","author":"M. Gelfond","year":"1993","unstructured":"Gelfond, M., Lifschitz, V.: Representing action and change by logic programs. Journal of Logic Programming\u00a017(2\/3&4), 301\u2013321 (1993)","journal-title":"Journal of Logic Programming"},{"key":"16_CR34","first-page":"193","volume":"2","author":"M. Gelfond","year":"1998","unstructured":"Gelfond, M., Lifschitz, V.: Action languages. Electron. Trans. Artif. Intell.\u00a02, 193\u2013210 (1998)","journal-title":"Electron. Trans. Artif. Intell."},{"issue":"2","key":"16_CR35","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1016\/S0004-3702(97)00037-4","volume":"95","author":"E. Giunchiglia","year":"1997","unstructured":"Giunchiglia, E., Kartha, G.N., Lifschitz, V.: Representing action: Indeterminacy and ramifications. Artificial Intelligence\u00a095(2), 409\u2013438 (1997)","journal-title":"Artificial Intelligence"},{"issue":"1\u20132","key":"16_CR36","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/j.artint.2002.12.001","volume":"153","author":"E. Giunchiglia","year":"2004","unstructured":"Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artificial Intelligence\u00a0153(1\u20132), 49\u2013104 (2004)","journal-title":"Artificial Intelligence"},{"key":"16_CR37","unstructured":"Giunchiglia, E., Lifschitz, V.: Dependent fluents. In: Proc. of IJCAI, pp. 1964\u20131969 (1995)"},{"key":"16_CR38","unstructured":"Giunchiglia, E., Lifschitz, V.: An action language based on causal explanation: Preliminary report. In: Proc. of AAAI\/IAAI, pp. 623\u2013630 (1998)"},{"key":"16_CR39","doi-asserted-by":"crossref","unstructured":"Gravot, F., Cambon, S., Alami, R.: aSyMov:A Planner That Deals with Intricate Symbolic and Geometric Problems. In: Robotics Research the Eleventh International Symposium. Springer Tracts in Advanced Robotics, vol.\u00a015, pp. 100\u2013110. Springer (2005)","DOI":"10.1007\/11008941_11"},{"key":"16_CR40","unstructured":"Haspalamutgil, K.: Multi-Robot Systems in Cognitive Factories: Representation, Reasoning, Execution and Monitoring. Master\u2019s thesis, Sabanci University, Istanbul, Turkey (2011)"},{"key":"16_CR41","unstructured":"Hauser, K., Latombe, J.C.: Integrating task and PRM motion planning: Dealing with many infeasible motion planning queries. In: Workshop on Bridging the Gap between Task and Motion Planning at ICAPS (2009)"},{"key":"16_CR42","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1613\/jair.855","volume":"14","author":"J. Hoffmann","year":"2001","unstructured":"Hoffmann, J., Nebel, B.: The ff planning system: Fast plan generation through heuristic search. J. Artif. Intell. Res (JAIR)\u00a014, 253\u2013302 (2001)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"16_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1007\/978-3-642-04238-6_39","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"L. Hopton","year":"2009","unstructured":"Hopton, L., Cliffe, O., De Vos, M., Padget, J.: AQL: A Query Language for Action Domains Modelled Using Answer Set Programming. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol.\u00a05753, pp. 437\u2013443. Springer, Heidelberg (2009)"},{"key":"16_CR44","unstructured":"Kaelbling, L.P., Lozano-Perez, T.: Hierarchical planning in the now. In: Proc. of ICRA Workshop on Mobile Manipulation (2010)"},{"key":"16_CR45","doi-asserted-by":"crossref","unstructured":"Kartha, G.N., Lifschitz, V.: Actions with indirect effects (preliminary report). In: Proc. of KR, pp. 341\u2013350 (1994)","DOI":"10.1016\/B978-1-4832-1452-8.50127-5"},{"issue":"1","key":"16_CR46","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R. Kowalski","year":"1986","unstructured":"Kowalski, R., Sergot, M.: A logic-based calculus of events. New Gen. Comput.\u00a04(1), 67\u201395 (1986)","journal-title":"New Gen. Comput."},{"key":"16_CR47","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4022-9","volume-title":"Robot Motion Planning","author":"J.C. Latombe","year":"1991","unstructured":"Latombe, J.C.: Robot Motion Planning. Kluwer Academic, Dordrecht (1991)"},{"key":"16_CR48","doi-asserted-by":"crossref","unstructured":"Levesque, H., Lakemeyer, G.: Cognitive robotics. In: Handbook of Knowledge Representation. Elsevier (2007)","DOI":"10.1016\/S1574-6526(07)03023-4"},{"key":"16_CR49","first-page":"159","volume":"2","author":"H.J. Levesque","year":"1998","unstructured":"Levesque, H.J., Pirri, F., Reiter, R.: Foundations for the situation calculus. ETAI\u00a02, 159\u2013178 (1998)","journal-title":"ETAI"},{"issue":"2\u20134","key":"16_CR50","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1023\/A:1018973620715","volume":"21","author":"V. Lifschitz","year":"1997","unstructured":"Lifschitz, V.: Two components of an action language. Annals of Mathematics in Artificial Intelligence\u00a021(2\u20134), 305\u2013320 (1997)","journal-title":"Annals of Mathematics in Artificial Intelligence"},{"key":"16_CR51","doi-asserted-by":"crossref","unstructured":"Lifschitz, V.: Action languages, answer sets and planning. In: The Logic Programming Paradigm: a 25-Year Perspective, pp. 357\u2013373. Springer (1999)","DOI":"10.1007\/978-3-642-60085-2_16"},{"key":"16_CR52","unstructured":"Lifschitz, V.: What is answer set programming? In: Proc. of. AAAI, pp. 1594\u20131597 (2008)"},{"key":"16_CR53","unstructured":"Lifschitz, V., Ren, W.: A modular action description language. In: Proc. of AAAI (2006)"},{"key":"16_CR54","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/3-540-46767-X_7","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"V. Lifschitz","year":"1999","unstructured":"Lifschitz, V., Turner, H.: Representing Transition Systems by Logic Programs. In: Gelfond, M., Leone, N., Pfeifer, G. (eds.) LPNMR 1999. LNCS (LNAI), vol.\u00a01730, pp. 92\u2013106. Springer, Heidelberg (1999)"},{"key":"16_CR55","doi-asserted-by":"crossref","unstructured":"Liu, H., Singh, P.: ConceptNet: A practical commonsense reasoning toolkit. BT Technology Journal\u00a022 (2004)","DOI":"10.1023\/B:BTTJ.0000047600.45421.6d"},{"key":"16_CR56","doi-asserted-by":"crossref","unstructured":"Marek, V., Truszczy\u0144ski, M.: Stable models and an alternative logic programming paradigm. In: The Logic Programming Paradigm: a 25-Year Perspective, pp. 375\u2013398. Springer (1999)","DOI":"10.1007\/978-3-642-60085-2_17"},{"key":"16_CR57","unstructured":"McCain, N.: Causality in Commonsense Reasoning about Actions. Ph.D. thesis, University of Texas at Austin (1997)"},{"key":"16_CR58","unstructured":"McCain, N., Turner, H.: A causal theory of ramifications and qualifications. In: Proc. of IJCAI, pp. 1978\u20131984 (1995)"},{"key":"16_CR59","unstructured":"McCain, N., Turner, H.: Causal theories of action and change. In: Proc. of AAAI\/IAAI, pp. 460\u2013465 (1997)"},{"key":"16_CR60","doi-asserted-by":"crossref","unstructured":"McCarthy, J.: Situations, actions, and causal laws. Tech. rep., Stanford University (1963)","DOI":"10.21236\/AD0785031"},{"issue":"A","key":"16_CR61","first-page":"77","volume":"3","author":"R. Miller","year":"1999","unstructured":"Miller, R., Shanahan, M.: The event calculus in classical logic - alternative axiomatisations. ETAI\u00a03(A), 77\u2013105 (1999)","journal-title":"ETAI"},{"key":"16_CR62","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/A:1018930122475","volume":"25","author":"I. Niemel\u00e4","year":"1999","unstructured":"Niemel\u00e4, I.: Logic programs with stable model semantics as a constraint programming paradigm. Annals of Mathematics and Artificial Intelligence\u00a025, 241\u2013273 (1999)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"16_CR63","doi-asserted-by":"crossref","unstructured":"Plaku, E., Hager, G.D.: Sampling-based motion and symbolic action planning with geometric and differential constraints. In: Proc. of ICRA, pp. 5002\u20135008 (2010)","DOI":"10.1109\/ROBOT.2010.5509563"},{"key":"16_CR64","doi-asserted-by":"crossref","unstructured":"Sandewall, E.: Features and Fluents: A Systematic Approach to the Representation of Knowledge about Dynamical Systems. Oxford University Press (1994)","DOI":"10.1093\/oso\/9780198538455.001.0001"},{"key":"16_CR65","first-page":"307","volume":"2","author":"E. Sandewall","year":"1998","unstructured":"Sandewall, E.: Cognitive robotics logic and its metatheory: Features and fluents revisited. ETAI\u00a02, 307\u2013329 (1998)","journal-title":"ETAI"},{"issue":"1\u20132","key":"16_CR66","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/S0004-3702(00)00080-1","volume":"125","author":"T.C. Son","year":"2001","unstructured":"Son, T.C., Baral, C.: Formalizing sensing actions a transition function based approach. Artificial Intelligence\u00a0125(1\u20132), 19\u201391 (2001)","journal-title":"Artificial Intelligence"},{"key":"16_CR67","first-page":"179","volume":"2","author":"M. Thielscher","year":"1998","unstructured":"Thielscher, M.: Introduction to the fluent calculus. ETAI\u00a02, 179\u2013192 (1998)","journal-title":"ETAI"},{"issue":"2\u20134","key":"16_CR68","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/s10472-008-9091-8","volume":"51","author":"N. Tran","year":"2007","unstructured":"Tran, N., Baral, C.: Reasoning about non-immediate triggers in biological networks. Ann. Math. Artif. Intell.\u00a051(2\u20134), 267\u2013293 (2007)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"3","key":"16_CR69","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1016\/j.jal.2008.10.001","volume":"7","author":"N. Tran","year":"2009","unstructured":"Tran, N., Baral, C.: Hypothesizing about signaling networks. J. Applied Logic\u00a07(3), 253\u2013274 (2009)","journal-title":"J. Applied Logic"},{"key":"16_CR70","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/11530084_11","volume-title":"Data Integration in the Life Sciences","author":"N. Tran","year":"2005","unstructured":"Tran, N., Baral, C., Nagaraj, V.J., Joshi, L.: Knowledge-Based Integrative Framework for Hypothesis Formation in Biochemical Networks. In: Lud\u00e4scher, B., Raschid, L. (eds.) DILS 2005. LNCS (LNBI), vol.\u00a03615, pp. 121\u2013136. Springer, Heidelberg (2005)"},{"key":"16_CR71","unstructured":"Tran, N., Baral, C., Shankland, C.: Issues in reasoning about interaction networks in cells: Necessity of event ordering knowledge. In: Proc. of AAAI, pp. 676\u2013681 (2005)"},{"issue":"1\u20133","key":"16_CR72","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/S0743-1066(96)00125-2","volume":"31","author":"H. Turner","year":"1997","unstructured":"Turner, H.: Representing actions in logic programs and default theories: A situation calculus approach. Journal of Logic Programming\u00a031(1\u20133), 245\u2013298 (1997)","journal-title":"Journal of Logic Programming"},{"key":"16_CR73","unstructured":"Uras, T.: Applications of AI Planning in Genome Rearrangement and in Multi-Robot Systems. Master\u2019s thesis, Sabanci University, Istanbul, Turkey (2011)"},{"key":"16_CR74","doi-asserted-by":"crossref","unstructured":"Wolfe, J., Marthi, B., Russell, S.: Combined task and motion planning for mobile manipulation. In: International Conference on Automated Planning and Scheduling (2010)","DOI":"10.1609\/icaps.v20i1.13436"},{"key":"16_CR75","doi-asserted-by":"crossref","unstructured":"Zaeh, M., Beetz, M., Shea, K., Reinhart, G., Bender, K., Lau, C., Ostgathe, M., Vogl, W., Wiesbeck, M., Engelhard, M., Ertelt, C., R\u00fchr, T., Friedrich, M., Herle, S.: The cognitive factory. In: Changeable and Reconf. Manufacturing Systems, pp. 355\u2013371 (2009)","DOI":"10.1007\/978-1-84882-067-8_20"}],"container-title":["Lecture Notes in Computer Science","Correct Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30743-0_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,29]],"date-time":"2025-03-29T06:44:40Z","timestamp":1743230680000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30743-0_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642307423","9783642307430"],"references-count":75,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30743-0_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}