Robot Behavior Conflicts: Can Intelligence Be Modularized? - Amol Dattatraya Mali; Amitabha Mukerjee (AAAI, 1994)

Colorado School of Mines behavioral approach to the 1995 UGR competition. - Robin R. Murphy; William A. Hoff; John Blitch; Val Gough; Dale K. Hawkins; James C. Hoffman; Ramon Krosley; Torsten Lyons; Amol Dattatraya Mali; James MacMillan; Steven Warshawsky (Mobile Robots, 1995)

Social Laws For Agent Modeling. - Amol Dattatraya Mali (Agent Modeling, 1996)

Constraint-based specification of reactive multi-agent systems. - Amol Dattatraya Mali (AAAI Workshop: Constraints & Agents, 1997)

Modularity Assumptions in Situated Agency. - Amol Dattatraya Mali; Amitabha Mukerjee (Deep Blue Versus Kasparov: The Significance for Artificial Intelligence, 1997)

A Structured Approach for Synthesizing Planners from Specifications. - Biplav Srivastava; Subbarao Kambhampati; Amol Dattatraya Mali (ASE, 1997)

Lessons learned in integrating sensing into autonomous mobile robot architectures. - Robin R. Murphy; Amol Dattatraya Mali (J. Exp. Theor. Artif. Intell., 1997)

Hybrid Planning for Partially Hierarchical Domains. - Subbarao Kambhampati; Amol Dattatraya Mali; Biplav Srivastava (AAAI/IAAI, 1998)

Refinement-Based Planning as Satisfiability. - Amol Dattatraya Mali (AAAI/IAAI, 1998)

Encoding HTN Planning in Propositional Logic. - Amol Dattatraya Mali; Subbarao Kambhampati (AIPS, 1998)

Tradeoffs in Making the Behavior-Based Robotic Systems Goal-Directed. - Amol Dattatraya Mali (ICRA, 1998)

Metrics for Evaluation of Behavior-Based Robotic Systems. - Amol Dattatraya Mali; Amitabha Mukerjee (ICRA, 1998)

Externalizing Internal State. - Amol Dattatraya Mali (AAAI/IAAI, 1999)

On the utility of Plan-space (Causal) Encodings. - Amol Dattatraya Mali; Subbarao Kambhampati (AAAI/IAAI, 1999)

Plan Merging & Plan Reuse as Satisfiability. - Amol Dattatraya Mali (ECP, 1999)

Hierarchical Task Network Planning as Satisfiability. - Amol Dattatraya Mali (ECP, 1999)

Reactive robots and amnesics: a comparative study in memoryless behavior. - Amitabha Mukerjee; Amol Dattatraya Mali (IEEE Trans. Syst. Man Cybern. Part C, 1999)

Enhancing HTN Planning as Satisfability. - Amol Dattatraya Mali (Artificial Intelligence and Soft Computing, 2000)

On the Hybrid Propositional Plan Encodings. - Amol Dattatraya Mali (Artificial Intelligence and Soft Computing, 2000)

Towards Synthesis of Reactive and Robust Behavior Chains. - Amol Dattatraya Mali (Artificial Intelligence and Soft Computing, 2000)

Distributed Motion Generation for Two Omni-Directional Robots Carrying Ladder. - Yuichi Asahiro; Eric Chung-Hui Chang; Amol Dattatraya Mali; Syunsuke Nagafuji; Ichiro Suzuki; Masafumi Yamashita (DARS, 2000)

A Distributed Ladder Transportation Algorithm for Two Robots in a Corridor. - Yuichi Asahiro; Eric Chung-Hui Chang; Amol Dattatraya Mali; Ichiro Suzuki; Masafumi Yamashita (ICRA, 2001)

Encoding Temporal Planning as CSP. - Amol Dattatraya Mali (AIPS Workshop on Planning for Temporal Domains, 2002)

Interaction graphs for planning problem decomposition. - Mark A. Iwen; Amol Dattatraya Mali (AAMAS, 2002)

Local Search for Incremental Satisfiability. - Jose Gutierrez; Amol Dattatraya Mali (IC-AI, 2002)

Automatic Problem Decomposition for Distributed Planning. - Mark A. Iwen; Amol Dattatraya Mali (IC-AI, 2002)

Distributed Graphplan. - Mark A. Iwen; Amol Dattatraya Mali (ICTAI, 2002)

DSatz: A Directional SAT Solver for Planning. - Mark A. Iwen; Amol Dattatraya Mali (ICTAI, 2002)

On Temporal Planning as CSP. - Amol Dattatraya Mali (ICTAI, 2002)

Modular Models of Intelligence - Review, Limitations and Prospects. - Amitabha Mukerjee; Amol Dattatraya Mali (Artif. Intell. Rev., 2002)

On the Hybrid Propositional Encodings of Planning. - Amol Dattatraya Mali (Comput. Intell., 2002)

On the behavior-based architectures of autonomous agency. - Amol Dattatraya Mali (IEEE Trans. Syst. Man Cybern. Part C, 2002)

MFSAT: A SAT Solver Using Multi-Flip Local Search. - Amol Dattatraya Mali; Yevgeny Lipen (ICTAI, 2003)

S-MEP: A Planner for Numeric Goals. - Javier Sánchez; Amol Dattatraya Mali (ICTAI, 2003)

Search Control Techniques for Planning. - Minh Tang; Amol Dattatraya Mali (ICTAI, 2003)

On the evaluation of agent behaviors. - Amol Dattatraya Mali (Artif. Intell., 2003)

Variants of A* for Planning. - Minh Tang; Amol Dattatraya Mali (ECAI, 2004)

On quantified weighted MAX-SAT. - Amol Dattatraya Mali (Decis. Support Syst., 2005)

T-satplan: a Sat-based Temporal Planner. - Amol Dattatraya Mali; Ying Liu (Int. J. Artif. Intell. Tools, 2006)

State-space Planning with Variants of A*. - Amol Dattatraya Mali; Minh Tang (Int. J. Artif. Intell. Tools, 2006)

Marker-Augmented robot-Environment Interaction. - Amol Dattatraya Mali (Control. Intell. Syst., 2007)

Improving concurrency in temporal plans. - Amol Dattatraya Mali; Michael Osowski (Artif. Intell. Rev., 2011)

Motion-Driven Action-Based Planning. - Brandon Ellenberger; Amol Dattatraya Mali (ICTAI, 2013)

Fully-Automated Instance Decomposition and Subplan Synthesis for Parallel Execution. - Amol Dattatraya Mali; Ravi Puthiyattil (ICTAI, 2013)

Expressing User Intent in Planning by Instance Rewriting. - Amol Dattatraya Mali (ICTAI, 2016)

An Approach to Planning Multi-Phase Projects. - Amol Dattatraya Mali (ICTAI, 2016)

Modifying Keyboard Layout to Reduce Finger-Travel Distance. - Nan Yang; Amol Dattatraya Mali (ICTAI, 2016)

Probabilistic Roadmaps with Higher Expressive Power. - Amol Dattatraya Mali (Int. J. Artif. Intell. Tools, 2016)

Path-Cost Bounds for Parameterized Centralized Variants of A* for Static and Certain Environments. - Amol Dattatraya Mali; Minh Tang (Int. J. Artif. Intell. Tools, 2016)

Editorial. - Amol Dattatraya Mali; Miltiadis Alamaniotis (Int. J. Artif. Intell. Tools, 2017)

Recent Advances in Minimally-Obtrusive Monitoring of People's Health. - Amol Dattatraya Mali (Int. J. Monit. Surveillance Technol. Res., 2017)

On Automated Generation of Keyboard Layout to Reduce Finger-Travel Distance. - Amol Dattatraya Mali; Nan Yang (Int. J. Monit. Surveillance Technol. Res., 2017)

Recent Domain-Specific Applications of Artificial Intelligence Using IoT. - Amol Dattatraya Mali (Int. J. Artif. Intell. Tools, 2019)

Motion Planning in Computer Games. - Amol Dattatraya Mali (Encyclopedia of Computer Graphics and Games, 2019)

Public Health Education Via Computer Games. - Amol Dattatraya Mali (Encyclopedia of Computer Graphics and Games, 2019)