| 2006 |
|---|
| 41 | EE | Amol Dattatraya Mali,
Minh Tang:
State-space Planning with Variants of A*.
International Journal on Artificial Intelligence Tools 15(3): 433-464 (2006) |
| 40 | EE | Amol Dattatraya Mali,
Ying Liu:
T-satplan: a Sat-based Temporal Planner.
International Journal on Artificial Intelligence Tools 15(5): 779-802 (2006) |
| 2005 |
|---|
| 39 | EE | Amol Dattatraya Mali:
On quantified weighted MAX-SAT.
Decision Support Systems 40(2): 257-268 (2005) |
| 2004 |
|---|
| 38 | | Minh Tang,
Amol Dattatraya Mali:
Variants of A* for Planning.
ECAI 2004: 1093-1094 |
| 2003 |
|---|
| 37 | EE | Minh Tang,
Amol Dattatraya Mali:
Search Control Techniques for Planning.
ICTAI 2003: 168-175 |
| 36 | EE | Javier Sanchez,
Amol Dattatraya Mali:
S-MEP: A Planner for Numeric Goals.
ICTAI 2003: 274-283 |
| 35 | EE | Amol Dattatraya Mali,
Yevgeny Lipen:
MFSAT: A SAT Solver Using Multi-Flip Local Search.
ICTAI 2003: 84-93 |
| 34 | EE | Amol Dattatraya Mali:
On the evaluation of agent behaviors.
Artif. Intell. 143(1): 1-17 (2003) |
| 2002 |
|---|
| 33 | EE | Mark Iwen,
Amol Dattatraya Mali:
Interaction graphs for planning problem decomposition.
AAMAS 2002: 984-985 |
| 32 | | Amol Dattatraya Mali:
Encoding Temporal Planning as CSP.
AIPS Workshop on Planning for Temporal Domains 2002: 18-25 |
| 31 | | Mark Iwen,
Amol Dattatraya Mali:
Automatic Problem Decomposition for Distributed Planning.
IC-AI 2002: 411-417 |
| 30 | | Jose Gutierrez,
Amol Dattatraya Mali:
Local Search for Incremental Satisfiability.
IC-AI 2002: 986-992 |
| 29 | EE | Mark Iwen,
Amol Dattatraya Mali:
Distributed Graphplan.
ICTAI 2002: 138-145 |
| 28 | EE | Mark Iwen,
Amol Dattatraya Mali:
DSatz: A Directional SAT Solver for Planning.
ICTAI 2002: 199-208 |
| 27 | EE | Amol Dattatraya Mali:
On Temporal Planning as CSP.
ICTAI 2002: 75-82 |
| 26 | | Amitabha Mukerjee,
Amol Dattatraya Mali:
Modular Models of Intelligence - Review, Limitations and Prospects.
Artif. Intell. Rev. 17(1): 39-64 (2002) |
| 25 | | Amol Dattatraya Mali:
On the Hybrid Propositional Encodings of Planning.
Computational Intelligence 18(3): 386-419 (2002) |
| 24 | | Amol Dattatraya Mali:
On the behavior-based architectures of autonomous agency.
IEEE Transactions on Systems, Man, and Cybernetics, Part C 32(3): 231-242 (2002) |
| 2001 |
|---|
| 23 | | 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: 3016-3021 |
| 2000 |
|---|
| 22 | | Amol Dattatraya Mali:
Enhancing HTN Planning as Satisfability.
Artificial Intelligence and Soft Computing 2000: 325-333 |
| 21 | | Amol Dattatraya Mali:
On the Hybrid Propositional Plan Encodings.
Artificial Intelligence and Soft Computing 2000: 334-342 |
| 20 | | Amol Dattatraya Mali:
Towards Synthesis of Reactive and Robust Behavior Chains.
Artificial Intelligence and Soft Computing 2000: 508-515 |
| 19 | | 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: 427-436 |
| 1999 |
|---|
| 18 | | Amol Dattatraya Mali,
Subbarao Kambhampati:
On the utility of Plan-space (Causal) Encodings.
AAAI/IAAI 1999: 557-563 |
| 17 | | Amol Dattatraya Mali:
Externalizing Internal State.
AAAI/IAAI 1999: 971 |
| 16 | | Amol Dattatraya Mali:
Hybrid Propositional Encodings of Planning.
AAAI/IAAI 1999: 972 |
| 15 | | Amol Dattatraya Mali:
Hierarchical Task Network Planning as Satisfiability.
ECP 1999: 122-134 |
| 14 | | Amol Dattatraya Mali:
Plan Merging & Plan Reuse as Satisfiability.
ECP 1999: 84-96 |
| 13 | | Amol Dattatraya Mali:
Marker-Augmented Robot-Environment Interaction.
ICRA 1999: 652-657 |
| 12 | | Amitabha Mukerjee,
Amol Dattatraya Mali:
Reactive robots and amnesics: a comparative study in memoryless behavior.
IEEE Transactions on Systems, Man, and Cybernetics, Part C 29(2): 216-226 (1999) |
| 1998 |
|---|
| 11 | | Amol Dattatraya Mali:
Refinement-Based Planning as Satisfiability.
AAAI/IAAI 1998: 1194 |
| 10 | | Subbarao Kambhampati,
Amol Dattatraya Mali,
Biplav Srivastava:
Hybrid Planning for Partially Hierarchical Domains.
AAAI/IAAI 1998: 882-888 |
| 9 | | Amol Dattatraya Mali,
Subbarao Kambhampati:
Encoding HTN Planning in Propositional Logic.
AIPS 1998: 190-198 |
| 8 | | Amol Dattatraya Mali,
Amitabha Mukerjee:
Metrics for Evaluation of Behavior-Based Robotic Systems.
ICRA 1998: 1122-1127 |
| 7 | | Amol Dattatraya Mali:
Tradeoffs in Making the Behavior-Based Robotic Systems Goal-Directed.
ICRA 1998: 1128-1133 |
| 1997 |
|---|
| 6 | EE | Biplav Srivastava,
Subbarao Kambhampati,
Amol Dattatraya Mali:
A Structured Approach for Synthesizing Planners from Specifications.
ASE 1997: 18-27 |
| 5 | | Amol Dattatraya Mali,
Amitabha Mukerjee:
Modularity Assumptions in Situated Agency.
Deep Blue Versus Kasparov: The Significance for Artificial Intelligence 1997: 37-44 |
| 4 | | Robin R. Murphy,
Amol Dattatraya Mali:
Lessons learned in integrating sensing into autonomous mobile robot architectures.
J. Exp. Theor. Artif. Intell. 9(2-3): 191-209 (1997) |
| 1996 |
|---|
| 3 | | Amol Dattatraya Mali:
Social Laws For Agent Modeling.
Agent Modeling 1996: 53-60 |
| 1995 |
|---|
| 2 | | Robin R. Murphy,
William 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: 220-227 |
| 1994 |
|---|
| 1 | | Amol Dattatraya Mali,
Amitabha Mukerjee:
Robot Behavior Conflicts: Can Intelligence Be Modularized?
AAAI 1994: 1279-1284 |
