Amol Dattatraya Mali Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Yuichi Asahiro [19] [23]
2John Blitch [2]
3Eric Chung-Hui Chang [19] [23]
4Val Gough [2]
5Jose Gutierrez [30]
6Dale K. Hawkins [2]
7William Hoff [2]
8James C. Hoffman [2]
9Mark Iwen [28] [29] [31] [33]
10Subbarao Kambhampati [6] [9] [10] [18]
11Ramon Krosley [2]
12Yevgeny Lipen [35]
13Ying Liu [40]
14Torsten Lyons [2]
15James MacMillan [2]
16Amitabha Mukerjee [1] [5] [8] [12] [26]
17Robin R. Murphy [2] [4]
18Syunsuke Nagafuji [19]
19Michael Osowski [42]
20Javier Sanchez [36]
21Biplav Srivastava [6] [10]
22Ichiro Suzuki [19] [23]
23Minh Tang [37] [38] [41]
24Steven Warshawsky [2]
25Masafumi Yamashita [19] [23]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page