home

 

     
     Daniela Inclezan, Ph. D.

 


        Miami University

        Department of Computer Science and Software Engineering

        205 C Benton Hall

        Oxford, OH 45056

        daniela.inclezan@gmail.com

Education


Ph.D.

Computer Science

Texas Tech University, Lubbock TX, August 2012

Dissertation: Modular Action Language ALM for Dynamic Domain Representation

Dissertation Director: Michael Gelfond


M.A.

Applied Linguistics and Second Language Acquisition

Texas Tech University, Lubbock TX, May 2011


M.S.

Computer Science

Texas Tech University, Lubbock TX, August 2007

Thesis: “Security Policy Management in Federated Computing Environments”

Director: Michael Sobolewski


B.S.

Computer Science

Technical University of Cluj-Napoca, Romania, July 2004


B.A.

Archaeology

“Babes-Bolyai” University, Cluj-Napoca, Romania, July 2003

 

Research Interests


- Knowledge representation and reasoning

- Logic programming

- Natural language processing

- Database systems

- Sustainability in CS education

- Linguistics

- Language acquisition

 

Organizations and Affiliations


Association for the Advancement of Artificial Intelligence (AAAI)
Association for Logic Programming (ALP)
Association for Computing Machinery (ACM)
Texas Action Group (TAG)

Cognitive Science Society (CSS)

 

The Honor Society Phi Kappa Phi

The National Collegiate Hispanic Honor Society Sigma Delta Pi

 

Publications


1. Daniela Inclezan, “An Application of ASP to the Field of Second Language Acquisition.” In: Journal of Theory and Practice of Logic Pogramming (under consideration).

2. 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).

3. Bill VanPatten, Daniela Inclezan, Hilda Salazar, and Andrew P. Farley, “Processing Instruction and Dictogloss: A Study on Object Pronouns and Word Order in Spanish”. In: Foreign Language Annals 42(3), pp. 557-575 (2009).

4. Daniela Inclezan, “Security Policy Management in Federated Computing Environments”, Master’s Thesis, Texas Tech University (2007).

Peer-Reviewed Conference Publications


1. Daniela Inclezan, “A CLIB-Inspired Library of Commonsense Knowledge in Modular Action Language ALM.” In: Proceedings of the AAAI 2015 Spring Symposium on Formalizing Commonsense (to appear).   [Slides]

2. Vinay Chaudhri and Daniela Inclezan, “Representing States in a Biology Textbook.” In: Proceedings of the AAAI 2015 Spring Symposium on Formalizing Commonsense (to appear).

3. 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).

4. Daniela Inclezan, “An Answer Set Prolog Formalization of Shikake Principles and Examples: Methodology and Lessons Learned.” In: AI & Society: Knowledge, Culture and Communication (online edition), pp. 1–11. Springer London (2014).

5. 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).

6. Daniela Inclezan and Luis Pradanos, “Promoting Ecoliteracy in an Introductory Database Systems Course: Activities for the First Week.” Special Interest Group in Computer Science Education Technical Symposium (SIGCSE 2014) (forthcoming) – 39.4% acceptance rate.

7. Vinay Chaudhri, Nikhil Dinesh, and Daniela Inclezan, “Three Lessons in Creating a Knowledge Base to Enable Explanation, Reasoning and Dialog.” Second Annual Conference on Advances in Cognitive Systems (ACS 2013) (forthcoming).

8. 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) – BEST APPLICATION PAPER AWARD.

9. 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 (2013).

10. Daniela Inclezan, “Modeling a Theory of Second Language Acquisition in ASP”. In: Working Notes of the 14th International Workshop on Non-Monotonic Reasoning. Rome, Italy (2012)    [PDF]

11. Daniela Inclezan and Michael Gelfond, “Representing Biological Processes in Modular Action Language ALM”. In: Proceedings of the AAAI Spring 2011 Symposium on Formalizing Commonsense, pp. 49-55. Palo Alto, CA: AAAI Press (2011)    [PDF]    [Bibtex]    [Slides]

12. Daniela Inclezan, “Computing Trajectories of Dynamic Systems Using ASP and Flora-2”. In: NonMon@30: Thirty Years of Nonmonotonic Reasoning Conference. Lexington, KY. Online publication (2010)    [PDF]    [Bibtex]    [Slides]

13. 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, 4th International Web Rule Symposium (RuleML 2010). Alexandria, VA, October 2010 (forthcoming)    [PDF]    [Bibtex]

14. 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)    [PDF]    [Bibtex]

15. Michael Gelfond and Daniela Inclezan, “Yet Another Modular Action Language”. In: Proceedings of the Software Engineering for Answer Set Programming Workshop (SEA'09), pp. 64-78. University of Bath Opus: Online Publications Store (2009)    [PDF]    [Bibtex]

16. Daniela Inclezan and Michael Sobolewski, “Security Policy Management in Federated Computing Environments”. In: Proceedings of the 2nd Annual Symposium on Information Assurance, pp. 64-70. Albany, NY (2007)     [PDF]

Posters and Conference Publications


1. 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,” Poster and Demonstration, 9th International Semantic Web Conference (ISWC2010), Shanghai, China, November 2010

2. Daniela Inclezan, “Modular Action Language ALM,” Poster, Programming Languages, Operating Systems, and Architecture Workshop (PLOSA 2009), Washington, DC, March 2009

3.  Daniela Inclezan, “Ţigani y gitanos: diferencias e influencias trasnacionales,” 8th Céfiro Annual Conference, Texas Tech University, March 2007