Daniela Inclezan, Ph.D

Portrait of Dr. Daniela Incelzan

Associate Professor

205 C Benton Hall
513-529-0355   
inclezd@MiamiOH.edu

Research Interests

  • Knowledge representation
  • Commonsense reasoning about actions and change
  • Logic programming
  • Automated narrative understanding
  • Applications of AI to the social sciences
  • AI for sustainability

Education

  • Ph.D., Computer Science
    Texas Tech University
    2012
  • M.A., Applied Linguistics and Second Language Studies
    2011
  • M.S., Computer Science
    Texas Tech University
    2007
  • B.S., Computer Science
    Technical University of Cluj-Napoca, Romania
    2004
  • B.A., Archaeology
    Babeș-Bolyai University, Romania
    2003

Research

Representing and Reasoning about Actions and Change

My research focuses on the development of intelligent agents capable of reasoning and acting in a changing world. My work uses two underlying assumptions: (1) that change is caused by actions, and (2) that intelligent agents must be endowed with a mathematical model of their world – a model that captures the effects of actions on the state of the world and the preconditions for the execution of actions. Using this model and reasoning algorithms, agents can make inferences about the effects of their actions, or create plans to achieve their goals. My main interest is in developing logic programming methodologies that facilitate the specification of  vast knowledge about the dynamics of the world.

Knowledge Representation and Reasoning (KRR)

Answer Set Prolog is a well-established logic-based language that addresses several of the important problems in the field of KRR. It allows for an elegant and precise representation of default statements (e.g.,  Normally, birds fly) and their exceptions (Penguins do not fly); evolving domains; incomplete information; or uncertainty. In my work, I investigate the suitability of Answer Set Prolog (and other logic-based languages) for representing knowledge from different disciplines, e.g., second language acquisition, sociolinguistics, or biology.

Experience

Academic Experience

  • 2020-present: Associate Professor, Department of Computer Science and Software Engineering, Miami University
  • 2014-2020: Assistant Professor, Department of Computer Science and Software Engineering, Miami University
  • 2013 2014: Visiting Assistant Professor, Department of Computer Science and Software Engineering, Miami University

Professional Experience

  • 2012 2013: Consultant, SRI International
  • 2004 2005: Software Developer, AROBS Transilvania Software (Romania)

Professional Organizations

  • ACM (Association for Computing Machinery)
  • AAAI (Association for the Advancement of Artificial Intelligence)
  • ALP (Association for Logic Programming)
  • CSS (Cognitive Science Society)

Principal Publications

(Miami University graduate students’ names are underlined; undergraduate students’ names are underlined and in italics.)

  • Qinglin Zhang, Chris Benton , and Daniela Inclezan, “An Application of ASP Theories of Intentions to Understanding Restaurant Scenarios: Insights and Narrative Corpus.” In: Theory and Practice of Logic Programming 20:2, pp. 273-293. Cambridge University Press (2020)
  • Daniela Inclezan, “RESTKB: A Library of Commonsense Knowledge about Dining at a Restaurant.” In: Proceedings of the 35th International Conference on Logic Programming (ICLP) – Technical Communications, pp. 126-139. Electronic Proceedings in Theoretical Computer Science (2019).
  • Daniela Inclezan, Qinglin Zhang, Marcello Balduccini, and Ankush Israney, “An ASP Methodology for Understanding Narratives about Stereotypical Activities.” In: Theory and Practice of Logic Programming 18:3-4, pp. 535-552. Cambridge University Press (2018).
  • Daniela Inclezan and Luis Prádanos: “Viewpoint: A Critical View on Smart Cities and AI.” In Journal of Artificial Intelligence Research 60, pp. 681-686. AAAI Press (2017).
  • Yuliya Lierler, Daniela Inclezan, and Michael Gelfond, “Action Languages and Question Answering”. In: Proceedings of the 12th International Conference on Computational Semantics (IWCS) – Short Papers. The Association for Computational Linguistics (2017).
  • Daniela Inclezan, “CoreALMLib: An ALM Library Translated from the Component Library.” In: Theory and Practice of Logic Programming 16:5-6, pp. 800-816. Cambridge University Press (2016).
  • Daniela Inclezan and Michael Gelfond, “Modular Action Language ALM.” In: Journal of Theory and Practice of Logic Programming 16:2, pp. 189–235. Cambridge University Press (2016).
  • Gaurab Luitel, Matthew Stephan, and Daniela Inclezan, “Model Level Design Pattern Instance Detection Using Answer Set Programming.” In: Proceedings of the 8th International Workshop on Modeling in Software Engineering (MiSE), pp. 13-19. ACM (2016).
  • Daniela Inclezan, “On the Relationship between Two Modular Action Languages: A Translation from MAD into ALM.” In: Lecture Notes in Artificial Intelligence 9345, pp. 411-424. Springer (2015).
  • Vinay Chaudhri and Daniela Inclezan, “Representing States in a Biology Textbook.” In: Proceedings of the AAAI 2015 Spring Symposium on Formalizing Commonsense. AAAI Press (2015).
  • Daniela Inclezan, “An Application of ASP to the Field of Second Language Acquisition.” In: Journal of Theory and Practice of Logic Programming 15:1, pp. 1–17. Cambridge University Press (2015).
  • Daniela Inclezan, “An Answer Set Prolog Formalization of Shikake Principles and Examples: Methodology and Lessons Learned.” In: AI & Society: Knowledge, Culture and Communication 30:4, pp. 537–547. Springer (2015).
  • Vinay Chaudhri, Nikhil Dinesh, and Daniela Inclezan, “Creating a Knowledge Base to Enable Explanation, Reasoning, and Dialog: Three Lessons.” In: Advances in Cognitive Systems 3, pp. 183–200. Cognitive Systems Foundation (2014).
  • Daniela Inclezan and Luis Pradanos, “Promoting Ecoliteracy in an Introductory Database Systems Course: Activities for the First Week.” In: Proceedings of the 45th ACM Technical Symposium on Computer Science Education (SIGCSE), pp. 573-578. New York: ACM (2014)
  • Daniela Inclezan, “An Application of ASP to the Field of Second Language Acquisition: Extended Abstract” Pedro Cabalar and Tran Cao Son (Eds.), LPNMR 2013, Lecture Notes in Artificial Intelligence 8148, pp. 395-400. Heidelberg, Germany: Springer (2013) –BEST APPLICATION PAPER AWARD.
  • Michael Gelfond and Daniela Inclezan, “Some Properties of System Descriptions in ALd.” In: Journal of Applied Non-Classical Logics 23(1-2), pp. 105-120. New York, NY: Taylor & Francis (2013).
  • Daniela Inclezan and Michael Gelfond, “Representing Biological Processes in Modular Action Language ALM.” In: Proceedings of the AAAI 2011 Spring Symposium on Formalizing Commonsense, pp. 49-55. Palo Alto, CA: AAAI Press (2011).
  • Daniela Inclezan, “Computing Trajectories of Dynamic Systems Using ASP and Flora-2.” In: NonMon@30: Thirty Years of Nonmonotonic Reasoning Conference. Lexington, KY. Online Proceedings (2010).
  • Richard Scherl, Daniela Inclezan, and Michael Gelfond, “Automated Inference of Socio-Cultural Information from Natural Language Conversations.” In: Proceedings of the IEEE International Conference on Social Computing/ IEEE International Conference on Privacy, Security, Risk and Trust. SIN-The Second International Symposium on Social Intelligence and Networking, pp. 480-487. Los Alimitos, CA: IEEE Computer Society (2010).
  • Michael Gelfond and Daniela Inclezan, “Yet Another Modular Action Language.” In: Proceedings of the Software Engineering for Answer Set Programming Workshop (SEA 2009), pp. 64-78. University of Bath Opus: Online Publications Store (2009).