Amol Dattatraya Mali

Publication Activity (10 Years)

Years Active: 1994-2019
Publications (10 Years): 9

Top Topics

Expressive Power

Parallel Execution

Derived Predicates

Top Venues

Int. J. Artif. Intell. Tools

Int. J. Monit. Surveillance Technol. Res.

Publications

Amol Dattatraya Mali
Recent Domain-Specific Applications of Artificial Intelligence Using IoT. Int. J. Artif. Intell. Tools 28 (7) (2019)
Amol Dattatraya Mali, Nan Yang
On Automated Generation of Keyboard Layout to Reduce Finger-Travel Distance. Int. J. Monit. Surveillance Technol. Res. 5 (2) (2017)
Amol Dattatraya Mali, Miltiadis Alamaniotis
Editorial. Int. J. Artif. Intell. Tools 26 (5) (2017)
Amol Dattatraya Mali
Recent Advances in Minimally-Obtrusive Monitoring of People's Health. Int. J. Monit. Surveillance Technol. Res. 5 (2) (2017)
Amol Dattatraya Mali, Minh Tang
Path-Cost Bounds for Parameterized Centralized Variants of A* for Static and Certain Environments. Int. J. Artif. Intell. Tools 25 (4) (2016)
Amol Dattatraya Mali
Probabilistic Roadmaps with Higher Expressive Power. Int. J. Artif. Intell. Tools 25 (4) (2016)
Nan Yang, Amol Dattatraya Mali
Modifying Keyboard Layout to Reduce Finger-Travel Distance. ICTAI (2016)
Amol Dattatraya Mali
An Approach to Planning Multi-Phase Projects. ICTAI (2016)
Amol Dattatraya Mali
Expressing User Intent in Planning by Instance Rewriting. ICTAI (2016)
Amol Dattatraya Mali, Ravi Puthiyattil
Fully-Automated Instance Decomposition and Subplan Synthesis for Parallel Execution. ICTAI (2013)
Brandon Ellenberger, Amol Dattatraya Mali
Motion-Driven Action-Based Planning. ICTAI (2013)
Amol Dattatraya Mali, Michael Osowski
Improving concurrency in temporal plans. Artif. Intell. Rev. 35 (3) (2011)
Amol Dattatraya Mali
Marker-Augmented robot-Environment Interaction. Control. Intell. Syst. 35 (2) (2007)
Amol Dattatraya Mali, Ying Liu
T-satplan: a Sat-based Temporal Planner. Int. J. Artif. Intell. Tools 15 (5) (2006)
Amol Dattatraya Mali, Minh Tang
State-space Planning with Variants of A*. Int. J. Artif. Intell. Tools 15 (3) (2006)
Amol Dattatraya Mali
On quantified weighted MAX-SAT. Decis. Support Syst. 40 (2) (2005)
Minh Tang, Amol Dattatraya Mali
Variants of A* for Planning. ECAI (2004)
Javier Sánchez, Amol Dattatraya Mali
S-MEP: A Planner for Numeric Goals. ICTAI (2003)
Minh Tang, Amol Dattatraya Mali
Search Control Techniques for Planning. ICTAI (2003)
Amol Dattatraya Mali
On the evaluation of agent behaviors. Artif. Intell. 143 (1) (2003)
Amol Dattatraya Mali, Yevgeny Lipen
MFSAT: A SAT Solver Using Multi-Flip Local Search. ICTAI (2003)
Amol Dattatraya Mali
On the Hybrid Propositional Encodings of Planning. Comput. Intell. 18 (3) (2002)
Mark A. Iwen, Amol Dattatraya Mali
Distributed Graphplan. ICTAI (2002)
Jose Gutierrez, Amol Dattatraya Mali
Local Search for Incremental Satisfiability. IC-AI (2002)
Mark A. Iwen, Amol Dattatraya Mali
Automatic Problem Decomposition for Distributed Planning. IC-AI (2002)
Amol Dattatraya Mali
Encoding Temporal Planning as CSP. AIPS Workshop on Planning for Temporal Domains (2002)
Mark A. Iwen, Amol Dattatraya Mali
Interaction graphs for planning problem decomposition. AAMAS (2002)
Amol Dattatraya Mali
On Temporal Planning as CSP. ICTAI (2002)
Mark A. Iwen, Amol Dattatraya Mali
DSatz: A Directional SAT Solver for Planning. ICTAI (2002)
Amitabha Mukerjee, Amol Dattatraya Mali
Modular Models of Intelligence - Review, Limitations and Prospects. Artif. Intell. Rev. 17 (1) (2002)
Amol Dattatraya Mali
On the behavior-based architectures of autonomous agency. IEEE Trans. Syst. Man Cybern. Part C 32 (3) (2002)
Yuichi Asahiro, Eric Chung-Hui Chang, Amol Dattatraya Mali, Ichiro Suzuki, Masafumi Yamashita
A Distributed Ladder Transportation Algorithm for Two Robots in a Corridor. ICRA (2001)
Amol Dattatraya Mali
Towards Synthesis of Reactive and Robust Behavior Chains. Artificial Intelligence and Soft Computing (2000)
Yuichi Asahiro, Eric Chung-Hui Chang, Amol Dattatraya Mali, Syunsuke Nagafuji, Ichiro Suzuki, Masafumi Yamashita
Distributed Motion Generation for Two Omni-Directional Robots Carrying Ladder. DARS (2000)
Amol Dattatraya Mali
Enhancing HTN Planning as Satisfability. Artificial Intelligence and Soft Computing (2000)
Amol Dattatraya Mali
On the Hybrid Propositional Plan Encodings. Artificial Intelligence and Soft Computing (2000)
Amol Dattatraya Mali
Marker-Augmented Robot-Environment Interaction. ICRA (1999)
Amitabha Mukerjee, Amol Dattatraya Mali
Reactive robots and amnesics: a comparative study in memoryless behavior. IEEE Trans. Syst. Man Cybern. Part C 29 (2) (1999)
Amol Dattatraya Mali
Plan Merging & Plan Reuse as Satisfiability. ECP (1999)
Amol Dattatraya Mali
Hybrid Propositional Encodings of Planning. AAAI/IAAI (1999)
Amol Dattatraya Mali, Subbarao Kambhampati
On the utility of Plan-space (Causal) Encodings. AAAI/IAAI (1999)
Amol Dattatraya Mali
Externalizing Internal State. AAAI/IAAI (1999)
Amol Dattatraya Mali
Hierarchical Task Network Planning as Satisfiability. ECP (1999)
Amol Dattatraya Mali
Tradeoffs in Making the Behavior-Based Robotic Systems Goal-Directed. ICRA (1998)
Subbarao Kambhampati, Amol Dattatraya Mali, Biplav Srivastava
Hybrid Planning for Partially Hierarchical Domains. AAAI/IAAI (1998)
Amol Dattatraya Mali
Refinement-Based Planning as Satisfiability. AAAI/IAAI (1998)
Amol Dattatraya Mali, Subbarao Kambhampati
Encoding HTN Planning in Propositional Logic. AIPS (1998)
Amol Dattatraya Mali, Amitabha Mukerjee
Metrics for Evaluation of Behavior-Based Robotic Systems. ICRA (1998)
Robin R. Murphy, Amol Dattatraya Mali
Lessons learned in integrating sensing into autonomous mobile robot architectures. J. Exp. Theor. Artif. Intell. 9 (2-3) (1997)
Biplav Srivastava, Subbarao Kambhampati, Amol Dattatraya Mali
A Structured Approach for Synthesizing Planners from Specifications. ASE (1997)
Amol Dattatraya Mali
Constraint-based specification of reactive multi-agent systems. AAAI Workshop: Constraints & Agents (1997)
Amol Dattatraya Mali, Amitabha Mukerjee
Modularity Assumptions in Situated Agency. Deep Blue Versus Kasparov: The Significance for Artificial Intelligence (1997)
Amol Dattatraya Mali
Social Laws For Agent Modeling. Agent Modeling (1996)
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
Colorado School of Mines behavioral approach to the 1995 UGR competition. Mobile Robots (1995)
Amol Dattatraya Mali, Amitabha Mukerjee
Robot Behavior Conflicts: Can Intelligence Be Modularized? AAAI (1994)