Selected
Publications Selected
Publications 
Amol D.Mali,
Marker-augmented robot-environment interaction, (.ps - postscript format or .pdf - Adobe Acrobat format)
Control and Intelligent systems , Vol. 35, No. 2, 2007, pp. 99-106
Amol D.Mali and Ying Liu,
T-SATPLAN: A SAT-based Temporal Planner, (.ps - postscript format or .pdf - Adobe Acrobat format)
International Journal on Artificial Intelligence Tools (IJAIT), Vol. 15, No. 5, Oct. 2006, pp. 779-802
Amol D.Mali and Minh Tang,
State-space planning with variants of A* (.ps - postscript format or .pdf - Adobe Acrobat format)
International Journal on Artificial Intelligence Tools (IJAIT), Vol. 15, No. 3, 2006, pp. 433-464
Amol D.Mali,
On Quantified Weighted MAX-SAT (.ps - postscript format or .pdf - Adobe Acrobat format)
Decision Support Systems and Electronic Commerce Journal, Vol. 40, Issue 2, August 2005, pp. 257-268
Amol D. Mali,
On the Evaluation of Agent Behaviors (.ps - postscript
format or .pdf - Adobe Acrobat format)
Artificial Intelligence Journal, Vol. 143, No. 1, Jan. 2003, pp. 1-17 (ranked 4th in the list of 10 most-downloaded of the 82 articles published in Artificial Intelligence journal in 2003).
Amol D. Mali,
On the Behavior-based Architectures of Autonomous Agency (.ps
- postscript format or .pdf - Adobe Acrobat
format)
IEEE transactions on Systems, Man and Cybernetics, Part C: Applications
and Reviews, Vol. 32, No. 3, August 2002, pp. 231-242.
Amol D. Mali,
On the Hybrid Propositional Encodings of Planning (.ps
- postscript format or .pdf - Adobe Acrobat format)
Computational Intelligence Journal, Vol. 18, No. 3, August 2002, pp.
386-419.
Amitabha Mukerjee & Amol D. Mali,
Modular Models of Intelligence - Review, Limitations and Prospects (.ps
- postscript format or .pdf - Adobe Acrobat
)
Artificial Intelligence Review Journal, Vol. 17, No. 1, March 2002,
pp. 39-64
(Listed in the 5 most-viewed articles
from about 80 articles from the
15 issues of AI Review journal between March 2002 and April 2004).
Amitabha Mukerjee and Amol D. Mali,
Reactive Robots and Amnesics: A comparative Study (.ps
- postscript format or .pdf - Adobe Acrobat format)
IEEE transactions on Systems, Man and Cybernetics, Part C: Applications
and Reviews, Vol. 29, N0. 2, May 1999, pp. 216-226.
Robin Murphy and Amol D. Mali,
Lessons learned in integrating sensing with autonomous agent architectures
Journal of Experimental and Theoretical Artificial Intelligence, Special
Issue April-Sept. 1997, Vol. 9, No. 2/3, pp. 122-134.
Minh Tang and Amol D. Mali,
Variants of A* for planning (.ps
- postscript format or .pdf - Adobe
Acrobat format)
Proceedings of European Conference on Artificial Intelligence
(ECAI), Valencia, Spain, Aug. 2004, pp. 1093-1094
Javier Sanchez and Amol D. Mali,
S-MEP: A planner for Numeric Goals (.ps
- postscript format or .pdf - Adobe
Acrobat format)
Proceedings of IEEE International Conference on Tools with Artificial Intelligence
(ICTAI), IEEE Computer Society, Nov. 2003, pp. 274-283 (Acceptance rate: 27 %).
Minh Tang and Amol D. Mali,
Search Control Techniques for Planning (.ps
- postscript format or .pdf
- Adobe Acrobat format)
Proceedings of IEEE International Conference on Tools with Artificial Intelligence
(ICTAI), IEEE Computer Society, Nov. 2003, pp. 168-175 (Acceptance rate: 27 %).
Amol D. Mali and Yevgeny Lipen,
MFSAT: A SAT Solver using Multiple flips-based Local Search (.ps
- postscript format or .pdf - Adobe
Acrobat format)
Proceedings of IEEE International Conference on Tools with Artificial Intelligence
(ICTAI), IEEE Computer Society, Nov. 2003, pp. 84-93 (Acceptance rate: 27 %).
Amol D. Mali,
On Temporal Planning as CSP (.ps - postscript
format or .pdf - Adobe Acrobat
format)
Proceedings of IEEE International Conference on Tools with Artificial Intelligence
(ICTAI), Washington D.C., November 2002, pp. 75-82 (Acceptance rate: 32 %).
Mark Iwen & Amol D. Mali,
DSatz: A Directional SAT Solver for Planning (.ps -
postscript format or .pdf - Adobe Acrobat format)
Proceedings of IEEE International Conference on Tools with Artificial Intelligence
(ICTAI), Washington D.C., November 2002, pp. 199-208 (Acceptance rate: 32 %).
Mark Iwen & Amol D. Mali,
Distributed Graphplan (.ps - postscript format
or .pdf - Adobe Acrobat format)
Proceedings of IEEE International Conference on Tools with Artificial Intelligence
(ICTAI), Washington D.C., November 2002, pp. 138-145 (Acceptance rate: 32 %).
Mark Iwen & Amol D. Mali,
Automatic Problem Decomposition for Distributed Planning (.ps
- postscript format or .pfd - Adobe Acrobat
format)
Proceedings of the International Conference on Artificial Intelligence (IC-AI),
Vol. 1, Las Vegas, June 2002, pp. 411-417 (Acceptance rate: 30 %).
Jos'e Gutierrez & Amol D. Mali,
Local Search for Incremental Satisfiability (.ps - postscript
format or .pdf - Adobe Acrobat format)
Proceedings of the International Conference on Artificial Intelligence (IC-AI),
Vol. 3, Las Vegas, June 2002, pp. 986-992 (Acceptance rate: 32 %).
Yuichi Asahiro, Eric Chung-Hui Chang, Amol D. Mali, Ichiro Suzuki, & Masafumi
Yamashita,
A Distributed Ladder Transportation Algorithm for Two Robots in a Corridor (.ps
- postscript format or .pdf - Adobe Acrobat format)
IEEE International Conference on Robotics and Automation (ICRA), Seoul,Korea,
May 2001, pp. 3016-3021.
Amol D. Mali,
Enhancing HTN Planning As Satisfiability (.ps - postscript
format or .pdf - Adobe Acrobat format)
Proceedings of the international conference on Artificial Intelligence and Soft
computing (ASC), Canada, July 2000, pp. 325-333
Amol D. Mali,
On the Hybrid Propositional Plan Encodings (.ps - postscript
format or .pdf - Adobe Acrobat format)
Proceedings of the international conference on Artificial Intelligence and Soft
computing (ASC), Canada, July 2000, pp. 334-342
Amol D. Mali,
Towards Synthesis of Reactive & Robust Behavior Chains (.ps
- postscript format or .pdf - Adobe Acrobat format)
Proceedings of the international conference on Artificial Intelligence and Soft
computing (ASC), Canada, July 2000, pp. 508-515
Amol D. Mali,
Marker-Augmented Robot-Environment Interaction (.ps
- postscript format or .pdf - Adobe Acrobat
format)
Proceedings of IEEE International Conference on Robotics & Automation, Detroit,
May 1999, pp. 652-657.
Amol D. Mali,
Plan Merging & Plan Reuse As Satisfiability (.ps
- postscript format or .pdf - Adobe Arobat format)
Proceedings of the European Conference on Planning (ECP), Durham, UK, Sept.
1999, pp. 84-96.
Amol D. Mali,
Hierarchical Task Network Planning as Satisfiability (.ps
- postscript format or .pdf - Adobe Acrobat
format)
Proceedings of the European Conference on Planning (ECP), Durham, UK, Sept.
1999, pp. 122-134.
Amol D. Mali and Subbarao Kambhampati,
On the Utility of Plan-space (Causal) Encodings (.ps
- postscript format or .pdf - Adobe Acrobat format)
Proceedings of the National Conference on Artificial Intelligence (AAAI), Orlando,
Florida, July 1999, pp. 557-563 (Acceptance rate: 25 %).
Amol D. Mali and Subbarao Kambhampati,
Encoding HTN Planning in Propositional Logic (.ps - postscript
format or .pdf - Adobe Acrobat format)
Proceedings of the International Conference on AI Planning Systems (AIPS), Pittsburgh,
1998, pp. 190-198 (Acceptance rate: 38%).
Subbarao Kambhampati, Amol D. Mali and Biplav Srivastava,
Hybrid Planning in Partially Hierarchical Domains (.ps
- postscript format or .pdf - Adobe Acrobat format)
Proceedings of the National Conference on Artificial Intelligence (AAAI), Madison,
1998, pp. 882-888 (Acceptance rate: 28%).
Amol D. Mali,
Tradeoffs in Making the Behavior-based Robotic Systems Goal-Directed (.ps
- postscript format or .pdf - Adobe Acrobat
format)
Proceedings of the IEEE International Conference on Robotics and Automation
(ICRA), 1998, pp. 1128-1133.
Amol D. Mali and Amitabha Mukerjee,
Metrics for Evaluation of Behavior-based Robotic Systems (.ps
- postscript format or .pdf - Adobe Acrobat format)
Proceedings of the IEEE International Conference on Robotics and Automation
(ICRA), 1998, pp. 1122-1127.
B. Srivastava, S. Kambhampati and A. Mali,
A structured approach for synthesizing planners from specifications
Proceedings of the Automated Software Engineering conference(ASE), Nevada, 1997,
18-26 (Acceptance rate: 30%).
R. Murphy, W. Hoff, J. Hoffman, J. Blitch, D. Hawkins, V. Gough, R. Krosley,
T. Lyons, A. Mali, S. Warshawsky,
Implementation and comparison of two computer vision based road following approaches
28th international symposium on advanced transportation applications (ISATA),
Sept. 19-22, 1995, Stuttgart, Germany, pp. 441-448.
R. Murphy, W. Hoff, J. Blitch, V. Gough, D. Hawkins, J. Hoffman, R. Krosley,
T. Lyons, A. Mali, J. MacMilan and S. Warshawsky,
Colorado school of mines behavioral approach to the 1995 UGR competition
SPIE Mobile Robots X, Oct. 22-26, 1995, Philadelphia, PA, pp. 220-227.
Amol D. Mali and Amitabha Mukerjee,
Robot Behavior Conflicts: Can Intelligence Be Modularized?
Proceedings of the National Conference on Artificial Intelligence (AAAI), Seattle,
1994, pp. 1279-1284 (Acceptance rate: 27%).
Amol D. Mali and Amitabha Mukerjee,
Detection and elimination of cycles in temporal sequences of behaviors
Proceedings of National Systems Conference (NSC), Kanpur, India, 1993, pp. 12-19.
Amol D. Mali,
On Quantified Weighted MAX-SAT (.ps - postscript format or .pdf -Adobe Acrobat format)
Department of Electrical Engineering & Computer Science,
University of Wisconsin--Milwaukee, Dec 2003
Amol D. Mali and Subbarao Kambhampati,
"Distributed Planning" (.ps - postscript format
or .pdf - Adobe Acrobat format), Department of Computer Science and Engineering, Arizona State University, 1999
Javier Sanchez, Minh Tang and Amol D. Mali,
P-MEP: Parallel More Expressive Planner (.ps - postscript
format or .pdf - Adobe Acrobat format)
Proceedings of the 4th international planning competition (IPC), Whistler, Canada,
June 2004, pp. 53-55.
Amol D. Mali,
Encoding temporal planning as CSP (.ps - postscript
format or .pdf - Adobe Acrobat format)
AIPS workshop on planning in temporal domains, April 2002, Toulouse, France,
pp. 18-25.
Mark Iwen and Amol D. Mali,
Automatic problem decomposition for distributed planning (.ps
- postscript format or .pdf - Adobe Acrobat
format)
Proceedings of international conference on autonomous agents and multi-agent
systems (AAMAS), Italy, 2002, pp. 984-985.
Amol D. Mali,
Heuristics for HTN planning as satisfiability (.ps
- postscript format or .pdf - Adobe Acrobat
format)
AAAI workshop Constraints & AI Planning, Austin, Texas, July 2000, pp. 25-34.
Amol D. Mali and Peter Haddawy,
Directions in decision-theoretic planning as CSP, Position paper
Decision Theoretic Planning workshop held in conjunction with the International
Conference on Artificial Intelligence Planning and Scheduling (AIPS), Breckenridge,
Colorado, 2000, pp. 99-100.
Yuichi Asahiro, Eric Chung-Hui Chang, Amol D. Mali, Shunsuke Nagafuji, Ichiro
Suzuki, & Masafumi Yamashita,
Distributed Motion Generation for Two Omni-Directional Robots Carrying a Ladder
(.ps - postscript format or .pdf
- Adobe Acrobat format)
Proceedings of International Symposium on Distributed Autonomous Robotic Systems
(DARS), Lecture notes, Springer Verlag, Knoxville, Tennessee, October 2000.
Amol D. Mali,
Externalizing Internal State (.ps - postscript format
or .pdf - Adobe Acrobat format)
Proceedings of the National Conference on Artificial Intelligence (AAAI) as
a student abstract, Orlando, Florida, July 1999, p. 971.
Amol D. Mali,
Hybrid Propositional Encodings of Planning, Student abstract (.ps
- postscript format or .pdf - Adobe Acrobat format)
Proceedings of the National Conference on Artificial Intelligence (AAAI), 1999,
p. 972.
Amol D. Mali,
Refinement-based Planning As Satisfiability, Student Abstract (.ps
- postscript format or .pdf - Adobe Acrobat
format)
Proceedings of the National Conference on Artificial Intelligence (AAAI), Madison,
1998, p. 1194.
Amol D. Mali and Subbarao Kambhampati,
Frugal Propositional Encodings for Planning (.ps -
postscript format or .pdf - Adobe Acrobat format)
Working Notes of the AI Planning Systems Workshop "Planning As Combinatorial
Search", Pittsburgh, 1998, pp. 89-94.
Amol D. Mali and Subbarao Kambhampati,
Refinement-based Planning As Satisfiability (.ps
- postscript format or .pdf - Adobe
Acrobat format)
Working Notes of the AI Planning Systems Workshop "Planning As Combinatorial
Search", Pittsburgh, 1998, pp. 95-100.
Amol D. Mali and Amitabha Mukerjee,
Modularity assumptions in situated agency
Proceedings of the AAAI workshop "Deep Blue versus Kasparov: The Significance
for Artificial Intelligence'', Portland, Oregon, 1996, pp. 37-44.
Amol D. Mali,
Social laws for agent modeling
Proceedings of AAAI workshop on agent modeling, Portland, Oregon, 1996, pp.
53-60.