|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 28 publication records. Showing 28 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Mark S. Boddy |
Imperfect Match: PDDL 2.1 and Real Applications  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
| 1 | David W. Aha, Mark S. Boddy, Vadim Bulitko, Artur S. d'Avila Garcez, Prashant Doshi, Stefan Edelkamp, Christopher W. Geib, Piotr J. Gmytrasiewicz, Robert P. Goldman, Pascal Hitzler, Charles L. Isbell, Darsana P. Josyula, Leslie Pack Kaelbling, Kristian Kersting, Maithilee Kunda, Luís C. Lamb, Bhaskara Marthi, Keith McGreggor, Vivi Nastase, Gregory Provan, Anita Raja, Ashwin Ram, Mark O. Riedl, Stuart J. Russell, Ashish Sabharwal, Jan-Georg Smaus, Gita Sukthankar, Karl Tuyls, Ron van der Meyden, Alon Y. Halevy, Lilyana Mihalkova, Sriraam Natarajan |
Reports of the AAAI 2010 Conference Workshops. |
AI Magazine |
2010 |
DBLP BibTeX RDF |
|
| 1 | Mark S. Boddy, Maria Fox, Sylvie Thiébaux |
The Seventeenth International Conference on Automated Planning and Scheduling (ICAPS-07). |
AI Magazine |
2008 |
DBLP BibTeX RDF |
|
| 1 | Mark S. Boddy, Maria Fox, Sylvie Thiébaux (eds.) |
Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, ICAPS 2007, Providence, Rhode Island, USA, September 22-26, 2007 |
ICAPS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Robert P. Goldman, David J. Musliner, Mark S. Boddy, Edmund H. Durfee, Jianhui Wu |
"Unrolling" Complex Task Models into MDPs. |
AAAI Spring Symposium: Game Theoretic and Decision Theoretic Agents |
2007 |
DBLP BibTeX RDF |
|
| 1 | David J. Musliner, Edmund H. Durfee, Jianhui Wu, Dmitri A. Dolgov, Robert P. Goldman, Mark S. Boddy |
Coordinated Plan Management Using Multiagent MDPs. |
AAAI Spring Symposium: Distributed Plan and Schedule Management |
2006 |
DBLP BibTeX RDF |
|
| 1 | Diego Mollá Aliod, Eduardo Alonso, Srinivas Bangalore, Joseph E. Beck, Bir Bhanu, Jim Blythe, Mark S. Boddy, Amedeo Cesta, Marko Grobelnik, Dilek Z. Hakkani-Tür, Sanda M. Harabagiu, Alain Léger, Deborah L. McGuinness, Stacy Marsella, Natasa Milic-Frayling, Dunja Mladenic, Daniel Oblinger, Paul E. Rybski, Pavel Shvaiko, Stephen F. Smith, Biplav Srivastava, Sheila Tejada, Hannes Högni Vilhjálmsson, Kristinn R. Thórisson, Gökhan Tür, José Luis Vicedo González, Holger Wache |
The Workshops at the Twentieth National Conference on Artificial Intelligence. |
AI Magazine |
2005 |
DBLP BibTeX RDF |
|
| 1 | Mark S. Boddy, Johnathan Gohde, Thomas Haigh, Steven A. Harp |
Course of Action Generation for Cyber Security Using Classical Planning. |
ICAPS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Steven A. Harp, Johnathan Gohde, Thomas Haigh, Mark S. Boddy |
Automated Vulnerability Analysis Using AI Planning. |
AAAI Spring Symposium: AI Technologies for Homeland Security |
2005 |
DBLP BibTeX RDF |
|
| 1 | Robert P. Goldman, Mark S. Boddy, Steven A. Harp, Tom Haigh |
Collaborative Filtering for Community Threats. |
AAAI Spring Symposium: AI Technologies for Homeland Security |
2005 |
DBLP BibTeX RDF |
|
| 1 | Mark S. Boddy |
Imperfect Match: PDDL 2.1 and Real Applications. |
J. Artif. Intell. Res. (JAIR) |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Nitin Lamba, Mark Dietz, Daniel P. Johnson, Mark S. Boddy |
A Method for Global Optimization of Large Systems of Quadratic Constraints. |
COCOS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark S. Boddy, Daniel P. Johnson |
A New Method for the Global Solution of Large Systems of Continuous Constraints. |
COCOS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert P. Goldman, Mark S. Boddy |
A Constraint-Based Scheduler for Batch Manufacturing. |
IEEE Expert |
1997 |
DBLP BibTeX RDF |
|
| 1 | Mark S. Boddy |
Practical Temporal Reasoning for Real Scheduling Applications. (PDF / PS) |
TIME |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert P. Goldman, David J. Musliner, Kurt D. Krebsbach, Mark S. Boddy |
Dynamic Abstraction Planning. |
AAAI/IAAI |
1997 |
DBLP BibTeX RDF |
|
| 1 | Robert P. Goldman, Mark S. Boddy |
Expressive Planning and Explicit Knowledge. |
AIPS |
1996 |
DBLP BibTeX RDF |
|
| 1 | Mark S. Boddy, Robert P. Goldman, Keiji Kanazawa, Lynn Andrea Stein |
A Critical Examination of Model Preference Defaults. |
Fundam. Inform. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark S. Boddy, Thomas Dean |
Deliberation Scheduling for Problem Solving in Time-Constrained Environments. |
Artif. Intell. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert P. Goldman, Mark S. Boddy |
Conditional Linear Planning. |
AIPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Robert P. Goldman, Mark S. Boddy |
Representing Uncertainty in Simple Planners. |
KR |
1994 |
DBLP BibTeX RDF |
|
| 1 | Robert P. Goldman, Mark S. Boddy |
Epsilon-Safe Planning. |
UAI |
1994 |
DBLP BibTeX RDF |
|
| 1 | Mark S. Boddy |
Temporal Reasoning for Planning and Scheduling. |
SIGART Bulletin |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark S. Boddy |
Anytime Problem Solving Using Dynamic Programming. |
AAAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | Mark S. Boddy, Thomas Dean |
Solving Time-Dependent Planning Problems. |
IJCAI |
1989 |
DBLP BibTeX RDF |
|
| 1 | Thomas Dean, Mark S. Boddy |
Reasoning About Partially Ordered Events. |
Artif. Intell. |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Dean, Mark S. Boddy |
An Analysis of Time-Dependent Planning. |
AAAI |
1988 |
DBLP BibTeX RDF |
|
| 1 | Thomas Dean, Mark S. Boddy |
Incremental Causal Reasoning. |
AAAI |
1987 |
DBLP BibTeX RDF |
|
Displaying result #1 - #28 of 28 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")