Daniela Inclezan, Ph. D

Research Highlights

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

Assistant Professor

205 C Benton Hall


  • Ph.D.Computer Science, Texas Tech University2012
  • M.A.Applied Linguistics and Second Language Studies, Texas Tech University2011
  • M.Sc.Computer Science, Texas Tech University2007
  • B.Sc.Computer Science, Technical University of Cluj-Napoca (Romania)2004
  • B.A.Archaeology, Babes-Bolyai University (Romania)2003 


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.

Academic Experience

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

Professional Experience

  • 20122013: Consultant, SRI International
  • 20042005: 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

  • 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 (2013).
  • Also in Pedro Cabalar, Luis Fariñas, and Agustín Valverde (Eds.), From Philosophy to Computational Logic, pp. 95-109. Toulouse, France (2012).
  • Daniela Inclezan, “An Application of ASP to the Field of Second Language Acquisition.” Pedro Cabalar and Tran Cao Son (Eds.), LPNMR 2013, Lecture Notes in Artificial Intelligence 8148, pp. 395-410. Springer, Heidelberg (2013).
  • Daniela Inclezan, “A Logic-Based Methodology for the Formalization of Shikake Principles and Examples.” AAAI Spring 2013 Symposium on Shikakeology: Designing Triggers for Behavior Change. Palo Alto, CA. Online Proceedings (2013).
  • Daniela Inclezan, “Modeling a Theory of Second Language Acquisition in ASP.” In: Working Notes of the Fourteenth International Workshop on Non-Monotonic Reasoning. Rome, Italy. Online Proceedings (2012).
  • Daniela Inclezan and Michael Gelfond, “Representing Biological Processes in Modular Action Language ALM.” In: Proceedings of the AAAI Spring 2011 Symposium on Formalizing Commonsense. Palo Alto, CA. Online Proceedings (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).
  • Benjamin Grosof, Mark Burstein, Mike Dean, Carl Andersen, Brett Benyo, William Ferguson, Daniela Inclezan, and Richard Shapiro, “A SILK Graphical UI for Defeasible Reasoning, with a Biology Causal Process Example.” In: Proceedings of the RuleML 2010 Challenge, Fourth International Web Rule Symposium (RuleML 2010). Alexandria, VA. 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).