Patents
Machine-Learning Assisted Natural Language Programming System
Publications
Machines as Thought Partners: Reflections on 50 Years of Prolog
Prolog - The Next 50 Years. Ed. by David S. Warren, Veronica Dahl, Thomas Eiter, Manuel Hermenegildo, Robert Kowalski, and Francesca Rossi. LNCS 13900. Springer. 2023.
Logic programming
Knowledge Representation
Programming Languages
Prolog Anniversary
An Action Language for Multi-Agent Domains
Artificial Intelligence 302, p. 103601. issn: 0004-3702. 2022.
Action Languages
Epistemic Planning
Reasoning about Knowledge
Representing and Reasoning about Dynamic Multi-Agent Domains: An Action Language Approach
PhD thesis. Arizona State University. 2018.
Multi-Agent Reasoning
Knowledge Representation
Reasoning about Actions
Dynamic Epistemic Logic
An Action Language for Multi-Agent Domains
CoRR abs/1511.01960. 2015.
Action Languages
Epistemic Planning
Reasoning about Knowledge
Exploring the KD45n Property of a Kripke Model After the Execution of an Action Sequence
In Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence. AAAI 2015.
Action Languages
Epistemic Planning
Reasoning about Knowledge
Multi-Agent Action Modeling through Action Sequences and Perspective Fluents.
Proceedings of the AAAI Spring Symposium on Common Sense Reasoning 2015. AAAI 2015.
Action Languages
Epistemic Planning
Reasoning about Knowledge
Finitary S5 Theories
Logics in Artificial Intelligence. Ed. by Eduardo Fermé and João Leite. Vol. 8761. Lecture Notes in Computer Science. Springer International Publishing, pp. 239-252. 2014.
Dynamic Epistemic Logic
Reasoning about Knowledge
Reasoning about the Beliefs of Agents in Multi-Agent Domains in the Presence of State Constraints: The Action Language mAL
Computational Logic in Multi-Agent Systems. Ed. by João Leite, Tran Cao Son, Paolo Torroni, Leon Torre, and Stefan Woltran. Vol. 8143. Lecture Notes in Computer Science. Springer Berlin Heidelberg, pp. 290–306. 2013.
Action Languages
Epistemic Planning
Reasoning about Knowledge
An Action Language for Reasoning about Beliefs in Multi-Agent Domains
Proceedings of the 14th International Workshop on Non-Monotonic Reasoning. 2012.
Action Languages
Epistemic Planning
Reasoning about Knowledge
Answer Set Programming and Planning with Knowledge and World-Altering Actions in Multiple Agent Domains
Correct Reasoning. Ed. by Esra Erdem, Joohyung Lee, Yuliya Lierler, and David Pearce. Vol. 7265. Lecture Notes in Computer Science. Springer Berlin Heidelberg, pp. 509-526. 2012.
Action Languages
Epistemic Planning
Reasoning about Knowledge
Answer-Set Programming
On Representing Actions in Multi-Agent Domains
Proceedings of the Symposium on Constructive Mathematics. Ed. by Marcello Balduccini and Tran Cao Son. Springer, pp. 213-232. 2011.
Action Languages
Reasoning about Knowledge
Multi-Agent Reasoning
Logic Programming for Finding Models in the Logics of Knowledge and its Applications: A Case Study
Theory and Practice of Logic Programming 10.4-6, pp. 675-690. 2010.
Planning
Multi-Agent Systems
Modal Logics
Using Answer Set Programming to Model Multi-Agent Scenarios Involving Agents’ Knowledge About Other’s Knowledge
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems. pp. 259-266. AAMAS 2010.
Answer-Set Programming
Reasoning about Actions
A Declarative Framework for Modeling Multi-Agent Systems
MS thesis. Texas Tech University. 2007.
Multi-Agent Reasoning
Knowledge Representation
Answer-Set Programming
Modeling Cooperative Multi-Agent Systems
Proceedings of the 4th International Workshop on Answer Set Programming. ASP 2007.
Multi-Agent Reasoning
Knowledge Representation
Answer-Set Programming
Textual Inference by Combining Multiple Logic Programming Paradigms
AAAI'05 Workshop on Inference for Textual Question Answering. AAAI 2005.
Query Answering
Polyglot Programing
Logic Programming