Mali, Amol D. - Department of Electrical Engineering and Computer Science, University of Wisconsin-Milwaukee

• Metrics For Evaluation of Behavior-Based Robotic Systems Amol Dattatraya Mali
• Reactive Robots and Amnesics : A Comparative Study in Memoryless Behavior
• On the Hybrid Propositional Encodings of Planning 1 Amol Dattatraya Mali
• On the utility of Planspace (Causal) Encodings Amol D. Mali & Subbarao Kambhampati #
• Enhancing HTN Planning As Satis ability Amol D. Mali
• A Distributed Ladder Transportation Algorithm for Two Robots in a Corridor \Lambda Yuichi Asahiro y Eric ChungHui Chang z Amol Mali z Ichiro Suzuki z Masafumi Yamashita y
• Marker-Augmented Robot-Environment Interaction Amol D. Mali
• March 10, 2006 20:17 WSPC/INSTRUCTION FILE mali-tang-camera International Journal on Arti cial Intelligence Tools
• On Quanti ed Weighted MAX-SAT Amol D. Mali 1
• April 25, 2006 13:5 WSPC/INSTRUCTION FILE mali-liu-camera International Journal on Arti cial Intelligence Tools
• Plan Merging & Plan Reuse As Satis ability
• On Temporal Planning as CSP Amol Dattatraya Mali
• MFSAT: A SAT Solver Using MultiFlip Local Search Amol Dattatraya Mali & Yevgeny Lipen (*)
• Tradeo s in Making the Behavior-Based Robotic Systems Goal-Directed
• MFSAT: A SAT Solver Using Multi-Flip Local Search Amol Dattatraya Mali & Yevgeny Lipen (*)
• Encoding HTN Planning in Propositional Logic Amol D. Mali and Subbarao Kambhampati
• Distributed Graphplan Mark Iwen & Amol Dattatraya Mali
• Local Search for Incremental Satis ability Jos'e Gutierrez and Amol Dattatraya Mali,
• Search Control Techniques for Planning Minh Tang and Amol Dattatraya Mali
• DSatz: A Directional SAT Solver for Planning Mark Iwen and Amol Dattatraya Mali
• Hierarchical Task Network Planning As Satis ability
• On the Behavior-based Architectures of Autonomous Amol Dattatraya Mali (Member, IEEE)
• SMEP: A Planner for Numeric Goals Javier Sanchez(*) & Amol Dattatraya Mali
• On Temporal Planning as CSP Amol Dattatraya Mali
• Modular Models of Intelligence -Review, Limitations and Prospects
• MARKERAUGMENTED ROBOTENVIRONMENT INTERACTION
• Towards Synthesis of Reactive & Robust Behavior Chains Amol D. Mali
• DSatz: A Directional SAT Solver for Planning Mark Iwen and Amol Dattatraya Mali
• Search Control Techniques for Planning Minh Tang and Amol Dattatraya Mali
• MARKER-AUGMENTED ROBOT-ENVIRONMENT INTERACTION
• Distributed Graphplan Mark Iwen & Amol Dattatraya Mali
• A Distributed Ladder Transportation Algorithm for Two Robots in a Corridor Yuichi Asahiroy
• Purely Causal Encoding of [Kautz et al 96] Encodings for 8 Step Planning Problem
• Hybrid Planning for Partially Hierarchical Domains Subbarao Kambhampati , Amol Mali & Biplav Srivastava
• On Quanti ed Weighted MAX-SAT Amol Dattatraya Mali
• Purely Causal Encoding of [Kautz et al 96] Encodings for 8 Step Planning Problem
• On the Evaluation of Agent Behaviors Amol Dattatraya Mali
• S-MEP: A Planner for Numeric Goals Javier Sanchez(*) & Amol Dattatraya Mali
• Distributed Planning 1 Amol D. Mali, Subbarao Kambhampati
• Automatic Problem Decomposition for Distributed Planning Mark Iwen & Amol Dattatraya Mali,
• On the Hybrid Propositional Plan Encodings Amol D. Mali