Daniela Inclezan, Ph.D
- 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
- Knowledge representation
- Commonsense reasoning about actions and change
- Logic programming
- Automated narrative understanding
- Applications of AI to the social sciences
- AI for sustainability
Dr. Daniela Inclezan teaches courses on data structures, database systems, comparative programming languages, and knowledge representation.
In the summer of 2014, she established and led a study-abroad workshop in Italy where she taught courses on logic programming and leadership for sustainable engineering. The workshop continues to be offered every year. In her teaching, Dr. Inclezan strives to raise students’ awareness to the important role that computer scientists can play in addressing social and environmental problems.
She conducts research in the field of Artificial Intelligence (AI), particularly in knowledge representation and logic programming. She is interested in the design of languages for an elegant and concise representation of commonsense knowledge about actions and change.
In her work, Dr. Inclezan investigates applications of AI to automated narrative understanding, social sciences, and sustainability. One of her publications received the 2013 Best Application Paper Award at an important conference in her field, Logic Programming and Non-Monotonic Reasoning.
Dr. Inclezan received her B.S. in Computer Science from the Technical University of Cluj-Napoca, Romania, M.A. in Applied Linguistics and Second Language Studies from Texas Tech University, M.S. in Computer Science from Texas Tech University, and Ph.D. in Computer Science from Texas Tech University.
She joined the Department of Computer Science and Software Engineering in 2013 as a visiting assistant professor, became an assistant professor in the 2014-2015 academic year, granted tenure as an associate professor in July 2020 and currently is the Maryloo Spooner Schallek Endowed Professor.
Prior to joining Miami University, Dr. Inclezan worked as a consultant for SRI International.
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.
- 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
- 2021 - present: Maryloo Spooner Schallek Endowed Professor
- 2012-2013: Consultant, SRI International
- 2004-2005: Software Developer, AROBS Transilvania Software (Romania)
- ACM (Association for Computing Machinery)
- AAAI (Association for the Advancement of Artificial Intelligence)
- ALP (Association for Logic Programming)
- CSS (Cognitive Science Society)
(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).