Amol Dattatraya Mali

Affiliations:
  • University of Wisconsin-Milwaukee, USA


According to our database1, Amol Dattatraya Mali authored at least 55 papers between 1994 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2019
Public Health Education Via Computer Games.
Proceedings of the Encyclopedia of Computer Graphics and Games., 2019

Motion Planning in Computer Games.
Proceedings of the Encyclopedia of Computer Graphics and Games., 2019

Recent Domain-Specific Applications of Artificial Intelligence Using IoT.
Int. J. Artif. Intell. Tools, 2019

2017
On Automated Generation of Keyboard Layout to Reduce Finger-Travel Distance.
Int. J. Monit. Surveillance Technol. Res., 2017

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

Editorial.
Int. J. Artif. Intell. Tools, 2017

2016
Path-Cost Bounds for Parameterized Centralized Variants of A* for Static and Certain Environments.
Int. J. Artif. Intell. Tools, 2016

Probabilistic Roadmaps with Higher Expressive Power.
Int. J. Artif. Intell. Tools, 2016

Modifying Keyboard Layout to Reduce Finger-Travel Distance.
Proceedings of the 28th IEEE International Conference on Tools with Artificial Intelligence, 2016

An Approach to Planning Multi-Phase Projects.
Proceedings of the 28th IEEE International Conference on Tools with Artificial Intelligence, 2016

Expressing User Intent in Planning by Instance Rewriting.
Proceedings of the 28th IEEE International Conference on Tools with Artificial Intelligence, 2016

2013
Fully-Automated Instance Decomposition and Subplan Synthesis for Parallel Execution.
Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

Motion-Driven Action-Based Planning.
Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

2011
Improving concurrency in temporal plans.
Artif. Intell. Rev., 2011

2007
Marker-Augmented robot-Environment Interaction.
Control. Intell. Syst., 2007

2006
State-space Planning with Variants of A*.
Int. J. Artif. Intell. Tools, 2006

T-satplan: a Sat-based Temporal Planner.
Int. J. Artif. Intell. Tools, 2006

2005
On quantified weighted MAX-SAT.
Decis. Support Syst., 2005

2004
Variants of A* for Planning.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

2003
On the evaluation of agent behaviors.
Artif. Intell., 2003

Search Control Techniques for Planning.
Proceedings of the 15th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2003), 2003

S-MEP: A Planner for Numeric Goals.
Proceedings of the 15th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2003), 2003

MFSAT: A SAT Solver Using Multi-Flip Local Search.
Proceedings of the 15th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2003), 2003

2002
On the behavior-based architectures of autonomous agency.
IEEE Trans. Syst. Man Cybern. Part C, 2002

On the Hybrid Propositional Encodings of Planning.
Comput. Intell., 2002

Modular Models of Intelligence - Review, Limitations and Prospects.
Artif. Intell. Rev., 2002

On Temporal Planning as CSP.
Proceedings of the 14th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2002), 2002

DSatz: A Directional SAT Solver for Planning.
Proceedings of the 14th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2002), 2002

Distributed Graphplan.
Proceedings of the 14th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2002), 2002

Automatic Problem Decomposition for Distributed Planning.
Proceedings of the International Conference on Artificial Intelligence, 2002

Local Search for Incremental Satisfiability.
Proceedings of the International Conference on Artificial Intelligence, 2002

Interaction graphs for planning problem decomposition.
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

Encoding Temporal Planning as CSP.
Proceedings of the AIPS 2002 Workshop on Planning for Temporal Domains, 2002

2001
A Distributed Ladder Transportation Algorithm for Two Robots in a Corridor.
Proceedings of the 2001 IEEE International Conference on Robotics and Automation, 2001

2000
Distributed Motion Generation for Two Omni-Directional Robots Carrying Ladder.
Proceedings of the Distributed Autonomous Robotic Systems 4, 2000

Towards Synthesis of Reactive and Robust Behavior Chains.
Proceedings of the Artificial Intelligence and Soft Computing, July 24-26, 2000, Banff, 2000

On the Hybrid Propositional Plan Encodings.
Proceedings of the Artificial Intelligence and Soft Computing, July 24-26, 2000, Banff, 2000

Enhancing HTN Planning as Satisfability.
Proceedings of the Artificial Intelligence and Soft Computing, July 24-26, 2000, Banff, 2000

1999
Reactive robots and amnesics: a comparative study in memoryless behavior.
IEEE Trans. Syst. Man Cybern. Part C, 1999

Hierarchical Task Network Planning as Satisfiability.
Proceedings of the Recent Advances in AI Planning, 5th European Conference on Planning, 1999

Plan Merging & Plan Reuse as Satisfiability.
Proceedings of the Recent Advances in AI Planning, 5th European Conference on Planning, 1999

On the utility of Plan-space (Causal) Encodings.
Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, 1999

Externalizing Internal State.
Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, 1999

1998
Metrics for Evaluation of Behavior-Based Robotic Systems.
Proceedings of the IEEE International Conference on Robotics and Automation, 1998

Tradeoffs in Making the Behavior-Based Robotic Systems Goal-Directed.
Proceedings of the IEEE International Conference on Robotics and Automation, 1998

Encoding HTN Planning in Propositional Logic.
Proceedings of the Fourth International Conference on Artificial Intelligence Planning Systems, 1998

Refinement-Based Planning as Satisfiability.
Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

Hybrid Planning for Partially Hierarchical Domains.
Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

1997
Lessons learned in integrating sensing into autonomous mobile robot architectures.
J. Exp. Theor. Artif. Intell., 1997

A Structured Approach for Synthesizing Planners from Specifications.
Proceedings of the 1997 International Conference on Automated Software Engineering, 1997

Modularity Assumptions in Situated Agency.
Proceedings of the Deep Blue Versus Kasparov: The Significance for Artificial Intelligence, 1997

Constraint-based specification of reactive multi-agent systems.
Proceedings of the Constraints & Agents: Collected Papers from the 1997 AAAI Workshop, 1997

1996
Social Laws For Agent Modeling.
Proceedings of the Agent Modeling, Papers from the 1996 AAAI Workshop, 1996

1995
Colorado School of Mines behavioral approach to the 1995 UGR competition.
Proceedings of the Mobile Robots X, Philadephia, PA, USA, October 23, 1995, Proceedings, 1995

1994
Robot Behavior Conflicts: Can Intelligence Be Modularized?
Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994


  Loading...