Daniela Inclezan

54 papers A* 1A 2B 8C 2Journal 20Unranked 17
YearRankTypeTitle / Venue / Authors
2026 B ed.
Proceedings 41st International Conference on Logic Programming, ICLP 2025, Rende, Italy, 12-19th September 2025.
ICLP
Martin Gebser, Daniela Inclezan, Francesco Ricca, Manuel Carro, Miroslaw Truszczynski
2025 C conf
ASP for Language Documentation and Reclamation: A Derivational Stemming Tool for Myaamia.
PADL
Daniela Inclezan, Hunter Lockwood, Anita Baral, Jitendra Sharma, Pratiksha Shrestha
2025 J jnl
Autonomous Agents and Policy Compliance: A Framework for Reasoning About Penalties.
CoRR
Vineel S. K. Tummala, Daniela Inclezan
2025 J jnl
Introduction to the 41 $^{st}$ International Conference on Logic Programming Special Issue.
Theory Pract. Log. Program.
Martin Gebser, Daniela Inclezan, Francesco Ricca
2025 A* conf
Understanding K-12 Teachers' Needs for AI Education: A Survey-Based Study.
AAAI
Nazan Bautista, John Femiani, Daniela Inclezan
2025 — conf
Where Is the Environment in AI Ethics? Integrating Ecoliteracy Into AI Literacy.
AIED (5)
Daniela Inclezan, Luis Pradanos
2024 — conf
A Framework for Defining Behavior Modes in Policy-Aware Autonomous Agents.
ICLP Workshops
Daniela Inclezan, Charles Harders, Vineel S. K. Tummala
2024 — conf
An Exploration of Datalog Applications to Language Documentation and Reclamation.
Datalog
Anita Baral, Pratiksha Shrestha, Jitendra Sharma, Hunter Lockwood, Daniela Inclezan
2024 B conf
Architecture for Simulating Behavior Mode Changes in Norm-Aware Autonomous Agents.
ICLP
Sean Glaze, Daniela Inclezan
2024 B conf
Policies, Penalties, and Autonomous Agents.
LPNMR
Vineel S. K. Tummala, Daniela Inclezan
2024 J jnl
Preface to the Special Issue on the 2022 Conference on Logic Programming and Nonmonotonic Reasoning.
Theory Pract. Log. Program.
Georg Gottlob, Daniela Inclezan, Marco Maratea
2023 J jnl
An ASP Framework for the Refinement of Authorization and Obligation Policies.
CoRR
Daniela Inclezan
2023 J jnl
An ASP Framework for the Refinement of Authorization and Obligation Policies.
Theory Pract. Log. Program.
Daniela Inclezan
2023 B conf
Plan Selection Framework for Policy-Aware Autonomous Agents.
JELIA
Charles Harders, Daniela Inclezan
2023 C ed.
Practical Aspects of Declarative Languages - 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
PADL
Michael Hanus, Daniela Inclezan
2022 B ed.
Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings
LPNMR
Georg Gottlob, Daniela Inclezan, Marco Maratea
2022 — ed.
Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st - August 1st, 2022.
ICLP Workshops
Joaquín Arias, Roberta Calegari, Luke Dickens, Wolfgang Faber, Jorge Fandinno, Gopal Gupta, Markus Hecher, Daniela Inclezan, Emily Leblanc, Michael Morak, Elmer Salazar, Jessica Zangari
2021 — conf
APIA: An Architecture for Policy-Aware Intentional Agents.
ICLP Technical Communications
John Meyer, Daniela Inclezan
2020 J jnl
An Application of ASP Theories of Intentions to Understanding Restaurant Scenarios: Insights and Narrative Corpus.
Theory Pract. Log. Program.
Qinglin Zhang, Chris Benton, Daniela Inclezan
2020 — ed.
Proceedings of the 14th International Rule Challenge, 4th Doctoral Consortium, and 6th Industry Track @ RuleML+RR 2020 co-located with 16th Reasoning Web Summer School (RW 2020) 12th DecisionCAMP 2020 as part of Declarative AI 2020, Oslo, Norway (virtual due to Covid-19 pandemic), 29 June - 1 July, 2020.
RuleML+RR (Supplement)
Sotiris Moschoyiannis, Paul Fodor, Jan Vanthienen, Daniela Inclezan, Nikolay Nikolov, Francisco Martín-Recuerda, Ioan Toma
2020 J jnl
Seventh ASPOCP International Workshop on 'Answer Set Programming and Other Computing Paradigms'.
J. Log. Comput.
Daniela Inclezan, Marco Maratea
2019 — ed.
Proceedings 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 Technical Communications, Las Cruces, NM, USA, September 20-25, 2019.
ICLP Technical Communications
Bart Bogaerts, Esra Erdem, Paul Fodor, Andrea Formisano, Giovambattista Ianni, Daniela Inclezan, Germán Vidal, Alicia Villanueva, Marina De Vos, Fangkai Yang
2019 — conf
RestKB: A Library of Commonsense Knowledge about Dining at a Restaurant.
ICLP Technical Communications
Daniela Inclezan
2018 J jnl
An ASP Methodology for Understanding Narratives about Stereotypical Activities.
CoRR
Daniela Inclezan, Qinglin Zhang, Marcello Balduccini, Ankush Israney
2018 J jnl
An ASP Methodology for Understanding Narratives about Stereotypical Activities.
Theory Pract. Log. Program.
Daniela Inclezan, Qinglin Zhang, Marcello Balduccini, Ankush Israney
2018 J jnl
An Application of ASP Theories of Intentions to Understanding Restaurant Scenarios: Insights and Narrative Corpus.
CoRR
Qinglin Zhang, Chris Benton, Daniela Inclezan
2017 — conf
Action Languages and Question Answering.
IWCS(2)
Yuliya Lierler, Daniela Inclezan, Michael Gelfond
2017 — conf
Understanding Restaurant Stories Using an ASP Theory of Intentions.
ICLP (Technical Communications)
Daniela Inclezan, Qinglin Zhang, Marcello Balduccini, Ankush Israney
2017 J jnl
Viewpoint: A Critical View on Smart Cities and AI.
J. Artif. Intell. Res.
Daniela Inclezan, Luis Pradanos
2016 J jnl
COREALMLIB: An ALM Library Translated from the Component Library.
CoRR
Daniela Inclezan
2016 J jnl
CoreALMlib: An ALM library translated from the Component Library.
Theory Pract. Log. Program.
Daniela Inclezan
2016 — conf
Model level design pattern instance detection using answer set programming.
MiSE@ICSE
Gaurab Luitel, Matthew Stephan, Daniela Inclezan
2016 J jnl
Modular action language.
Theory Pract. Log. Program.
Daniela Inclezan, Michael Gelfond
2016 J jnl
Preface.
Fundam. Informaticae
Daniela Inclezan, Marco Maratea, Victor W. Marek
2015 — conf
A CLIB-Inspired Library of Commonsense Knowledge in Modular Action Language ALM.
AAAI Spring Symposia
Daniela Inclezan
2015 J jnl
An Answer Set Prolog formalization of shikake principles and examples - Methodology and lessons learned.
AI Soc.
Daniela Inclezan
2015 J jnl
An application of answer set programming to the field of second language acquisition.
Theory Pract. Log. Program.
Daniela Inclezan
2015 J jnl
Modular Action Language ALM.
CoRR
Daniela Inclezan, Michael Gelfond
2015 B conf
On the Relationship Between Two Modular Action Languages: A Translation from MAD into
LPNMR
Daniela Inclezan
2015 — conf
Recognizing Social Constructs from Textual Conversation.
HLT-NAACL
Somak Aditya, Chitta Baral, Nguyen Ha Vo, Joohyung Lee, Jieping Ye, Zaw Naung, Barry Lumpkin, Jenny Hastings, Richard B. Scherl, Dawn M. Sweet, Daniela Inclezan
2015 — conf
Representing States in a Biology Textbook.
AAAI Spring Symposia
Vinay K. Chaudhri, Daniela Inclezan
2014 A conf
Preparing computer science students for a sustainable future (abstract only).
SIGCSE
Daniela Inclezan
2014 A conf
Promoting ecoliteracy in an introductory database systems course: activities for the first week.
SIGCSE
Daniela Inclezan, Luis Pradanos
2013 — conf
A Logic-Based Methodology for the Formalization of Shikake Principles and Examples.
AAAI Spring Symposium: Shikakeology
Daniela Inclezan
2013 B conf
An Application of ASP to the Field of Second Language Acquisition.
LPNMR
Daniela Inclezan
2013 J jnl
An Application of Answer Set Programming to the Field of Second Language Acquisition.
CoRR
Daniela Inclezan
2013 J jnl
Some properties of system descriptions of AL
J. Appl. Non Class. Logics
Michael Gelfond, Daniela Inclezan
2013 — conf
Three Lessons in Creating a Knowledge Base to Enable Reasoning, Explanation and Dialog.
NLPAR@LPNMR
Vinay K. Chaudhri, Nikhil Dinesh, Daniela Inclezan
2012 — —
Modular action language ALM for dynamic domain representation.
Daniela Inclezan
2011 — conf
Representing Biological Processes in Modular Action Language ALM.
AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning
Daniela Inclezan, Michael Gelfond
2010 — conf
A SILK Graphical UI for Defeasible Reasoning, with a Biology Causal Process Example.
RuleML Challenge
Benjamin N. Grosof, Mark H. Burstein, Mike Dean, Carl Andersen, Brett Benyo, William Ferguson, Daniela Inclezan, Richard Shapiro
2010 — conf
A SILK Graphical UI for Defeasible Reasoning, with a Biology Causal Process Example.
ISWC (Posters & Demos)
Benjamin N. Grosof, Mark H. Burstein, Mike Dean, Carl Andersen, Brett Benyo, William Ferguson, Daniela Inclezan, Richard Shapiro
2010 — conf
Automated Inference of Socio-Cultural Information from Natural Language Conversations.
SocialCom/PASSAT
Richard B. Scherl, Daniela Inclezan, Michael Gelfond
2009 B conf
Modular Action Language
ICLP
Daniela Inclezan