Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
126 | Manish Gupta 0008, Jicheng Fu, Farokh B. Bastani, Latifur Khan, I-Ling Yen |
Rapid goal-oriented automated software testing using MEA-graph planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Qual. J. ![In: Softw. Qual. J. 15(3), pp. 241-263, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Planning graph, MEA-Graphplan, AI Planning, Automated software testing |
123 | Mark A. Iwen, Amol Dattatraya Mali |
Distributed Graphplan. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 14th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2002), 4-6 November 2002, Washington, DC, USA, pp. 138-145, 2002, IEEE Computer Society, 0-7695-1849-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
104 | Muhammad Afzal Upal |
Learning General Graphplan Memos through Static Domain Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI ![In: Advances in Artificial Intelligence, 16th Conference of the Canadian Society for Computational Studies of Intelligence, AI 2003, Halifax, Canada, June 11-13, 2003, Proceedings, pp. 510-514, 2003, Springer, 3-540-40300-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
85 | Yang Li, Yan Sun, Chengshan Han, Xiaodong Wang, Shuyan Xu |
Algorithm Research of Flexible Graphplan based on Heuristic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICYCS ![In: Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008, Zhang Jia Jie, Hunan, China, November 18-21, 2008, pp. 48-53, 2008, IEEE Computer Society, 978-0-7695-3398-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
85 | Daniel Buettner |
Abstraction and Reformulation in GraphPlan. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SARA ![In: Abstraction, Reformulation and Approximation, 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings, pp. 330, 2002, Springer, 3-540-43941-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
49 | Jicheng Fu, Farokh B. Bastani, I-Ling Yen |
Automated AI Planning and Code Pattern Based Code Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2006), 13-15 November 2006, Arlington, VA, USA, pp. 540-546, 2006, IEEE Computer Society, 0-7695-2728-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Automated code synthesis, Graphplan, AI planning, Embedded real-time systems, Code patterns |
46 | Tien Ba Dinh |
Solution Extraction with the "Critical Path" in Graphplan-Based Optimal Temporal Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2004, 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 1, 2004, Proceedings, pp. 793, 2004, Springer, 3-540-23241-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
38 | Jicheng Fu, Farokh B. Bastani, Vincent Ng 0001, I-Ling Yen, Yansheng Zhang |
FIP: A Fast Planning-Graph-Based Iterative Planner. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI (1) ![In: 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), November 3-5, 2008, Dayton, Ohio, USA, Volume 1, pp. 419-426, 2008, IEEE Computer Society, 978-0-7695-3440-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Manish Gupta 0008, Farokh B. Bastani, Latifur Khan, I-Ling Yen |
Automated Test Data Generation Using MEA-Graph Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 15-17 November 2004, Boca Raton, FL, USA, pp. 174-182, 2004, IEEE Computer Society, 0-7695-2236-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
38 | Alessandro Armando, Luca Compagna, Pierre Ganty |
SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings, pp. 875-893, 2003, Springer, 3-540-40828-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
SAT encodings, security protocols, bounded model-checking, SAT-solvers |
38 | Antonio Garrido Tejero, Eva Onaindia, Federico Barber |
A Temporal Planning System for Time-Optimal Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPIA ![In: Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving, 10th Portuguese Conference on Artificial Intelligence, EPIA 2001, Porto, Portugal, December 17-20, 2001, Proceedings, pp. 379-392, 2001, Springer, 3-540-43030-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
29 | Jigui Sun, Minghao Yin |
Recognizing the agent's goals incrementally: planning graph as a basis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Comput. Sci. China ![In: Frontiers Comput. Sci. China 1(1), pp. 26-36, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Graphplan, constraints, plan recognition, automated planning |
29 | Seog-Chan Oh, Dongwon Lee 0001, Soundar R. T. Kumara |
A comparative illustration of AI planning-based web services composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGecom Exch. ![In: SIGecom Exch. 5(5), pp. 1-10, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
SATPlan, graphplan, algorithms, documentation, integer programming, web services composition |
27 | Hong Chen, Raphael Shu, Hiroya Takamura, Hideki Nakayama |
GraphPlan: Story Generation by Planning with Event Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2102.02977, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
27 | Hong Chen, Raphael Shu, Hiroya Takamura, Hideki Nakayama |
GraphPlan: Story Generation by Planning with Event Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INLG ![In: Proceedings of the 14th International Conference on Natural Language Generation, INLG 2021, Aberdeen, Scotland, UK, 20-24 September, 2021, pp. 377-386, 2021, Association for Computational Linguistics, 978-1-954085-51-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
27 | Zhaoning Wang, Bo Cheng 0001, Wenkai Zhang, Junliang Chen |
Q-Graphplan: QoS-Aware Automatic Service Composition With the Extended Planning Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 8, pp. 8314-8323, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
27 | Guodong Fan, Ming Zhu, Jing Li 0092, Xiaoliu Cui |
基于FAHP与规划图融合的Web服务组合方法 (Web Service Composition by Combining FAHP and Graphplan). ![Search on Bibsonomy](Pics/bibsonomy.png) |
计算机科学 ![In: 计算机科学 47(1), pp. 270-275, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
27 | Ming Zhu, Guodong Fan, Jing Li 0092, Fengying Wang |
A service composition approach based on overall QoS and modified graphplan. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Web Grid Serv. ![In: Int. J. Web Grid Serv. 15(4), pp. 319-339, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
27 | Guodong Fan, Ming Zhu, Xiaoliu Cui |
Optimizing Web Service Composition with Graphplan and Fuzzy Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Ubiquitous Syst. Pervasive Networks ![In: J. Ubiquitous Syst. Pervasive Networks 11(2), pp. 15-21, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
27 | Ming Zhu, Guodong Fan, Jing Li 0092, Heng Kuang |
An Approach for QoS-aware Service Composition with GraphPlan and Fuzzy Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUSPN/ICTH ![In: The 9th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2018) / The 8th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2018) / Affiliated Workshops, November 5-8, 2018, Leuven, Belgium., pp. 56-63, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
27 | Thenuwara Hannadige Akila Sanjaya Siriweera, Incheon Paik, Banage Thanne Gedara Samantha Kumara |
Constraint-Driven Dynamic Workflow for Automation of Big Data Analytics Based on GraphPlan. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: 2017 IEEE International Conference on Web Services, ICWS 2017, Honolulu, HI, USA, June 25-30, 2017, pp. 357-364, 2017, IEEE, 978-1-5386-0752-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
27 | Yuhong Yan, Min Chen 0035 |
Anytime QoS-aware service composition over the GraphPlan. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Serv. Oriented Comput. Appl. ![In: Serv. Oriented Comput. Appl. 9(1), pp. 1-19, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
27 | Min Chen 0035, Yuhong Yan |
QoS-aware Service Composition over Graphplan through Graph Reachability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE SCC ![In: IEEE International Conference on Services Computing, SCC 2014, Anchorage, AK, USA, June 27 - July 2, 2014, pp. 544-551, 2014, IEEE Computer Society, 978-1-4799-5065-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Subbarao Kambhampati |
Planning Graph as a (Dynamic) CSP: Exploiting EBL, DDB and other CSP Search Techniques in Graphplan ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1106.0230, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
27 | Yuhong Yan, Pascal Poizat, Ludeng Zhao |
Self-Adaptive Service Composition Through Graphplan Repair. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: IEEE International Conference on Web Services, ICWS 2010, Miami, Florida, USA, July 5-10, 2010, pp. 624-627, 2010, IEEE Computer Society, 978-0-7695-4128-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
27 | Iain Little, Sylvie Thiébaux |
Concurrent Probabilistic Planning in the Graphplan Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAPS ![In: Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, ICAPS 2006, Cumbria, UK, June 6-10, 2006, pp. 263-273, 2006, AAAI, 978-1-57735-270-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
27 | Yuanyuan Shen |
Exploiting timed coloured Petri nets in control and analysis of Graphplan. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2006 |
RDF |
|
27 | Wen-Xiang Gu, Zeng-yu Cai, Xin-mei Zhang, Gui-dong Jiang |
Creating or Destroying Objects Plan in the Graphplan Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEC (2) ![In: The Second World Enformatika Conference, WEC'05, February 25-27, 2005, Istanbul, Turkey, CDROM, pp. 16-19, 2005, Enformatika, Çanakkale, Turkey, 975-98458-3-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
27 | Muhammad Afzal Upal |
Learning General Graphplan Memos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IC-AI ![In: Proceedings of the International Conference on Artificial Intelligence, IC-AI '04, Volume 2 & Proceedings of the International Conference on Machine Learning; Models, Technologies & Applications, MLMTA '04, June 21-24, 2004, Las Vegas, Nevada, USA, pp. 759-764, 2004, CSREA Press, 1-932415-32-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
27 | Derek Long, Maria Fox 0001 |
Exploiting a Graphplan Framework in Temporal Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAPS ![In: Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling (ICAPS 2003), June 9-13, 2003, Trento, Italy, pp. 52-61, 2003, AAAI, 1-57735-187-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
27 | Jörg Hoffmann 0001, Hector Geffner |
Branching Matters: Alternative Branching in Graphplan. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAPS ![In: Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling (ICAPS 2003), June 9-13, 2003, Trento, Italy, pp. 22-31, 2003, AAAI, 1-57735-187-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
27 | Adriana Lopez, Fahiem Bacchus |
Generalizing GraphPlan by Formulating Planning as a CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003, pp. 954-960, 2003, Morgan Kaufmann. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
27 | Terry Zimmerman, Subbarao Kambhampati |
Using Available Memory to Transform Graphplan's Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003, pp. 1526-, 2003, Morgan Kaufmann. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
27 | Maria Fox 0001, Derek Long |
Fast Temporal Planning in a Graphplan Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIPS Workshop on Planning for Temporal Domains ![In: AIPS 2002 Workshop on Planning for Temporal Domains, Toulous, France, April 24, 2002, pp. 9-17, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
27 | Michel Cayrol, Pierre Régnier, Vincent Vidal 0001 |
Least commitment in Graphplan. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 130(1), pp. 85-118, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Biplav Srivastava |
AltAlt: Combining Graphplan and Heuristic State Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI Mag. ![In: AI Mag. 22(3), pp. 88-90, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Subbarao Kambhampati |
Planning Graph as a (Dynamic) CSP: Exploiting EBL, DDB and other CSP Search Techniques in Graphplan. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Artif. Intell. Res. ![In: J. Artif. Intell. Res. 12, pp. 1-34, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
27 | Ian Miguel, Peter Jarvis, Qiang Shen 0001 |
Flexible Graphplan. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2000, Proceedings of the 14th European Conference on Artificial Intelligence, Berlin, Germany, August 20-25, 2000, pp. 506-510, 2000, IOS Press. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
27 | Michel Cayrol, Pierre Régnier, Vincent Vidal 0001 |
New Results about LCGP, a Least Committed GraphPlan. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIPS ![In: Proceedings of the Fifth International Conference on Artificial Intelligence Planning Systems, Breckenridge, CO, USA, April 14-17, 2000, pp. 273-282, 2000, AAAI, 1-57735-111-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
27 | Subbarao Kambhampati, Romeo Sanchez Nigenda |
Distance-Based Goal-Ordering Heuristics for Graphplan. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIPS ![In: Proceedings of the Fifth International Conference on Artificial Intelligence Planning Systems, Breckenridge, CO, USA, April 14-17, 2000, pp. 315-322, 2000, AAAI, 1-57735-111-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
27 | Subbarao Kambhampati |
Improving Graphplan's Search with EBL & DDB Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI 99, Stockholm, Sweden, July 31 - August 6, 1999. 2 Volumes, 1450 pages, pp. 982-987, 1999, Morgan Kaufmann, 1-55860-613-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
27 | Eric Parker |
Making Graphplan Goal-Directed. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECP ![In: Recent Advances in AI Planning, 5th European Conference on Planning, ECP'99, Durham, UK, September 8-10, 1999, Proceedings, pp. 333-346, 1999, Springer, 3-540-67866-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
27 | Avrim Blum, John Langford 0001 |
Probabilistic Planning in the Graphplan Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECP ![In: Recent Advances in AI Planning, 5th European Conference on Planning, ECP'99, Durham, UK, September 8-10, 1999, Proceedings, pp. 319-332, 1999, Springer, 3-540-67866-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
27 | David E. Smith 0001, Daniel S. Weld |
Conformant Graphplan. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI/IAAI ![In: Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, AAAI 98, IAAI 98, July 26-30, 1998, Madison, Wisconsin, USA., pp. 889-896, 1998, AAAI Press / The MIT Press, 0-262-51098-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
27 | Daniel S. Weld, Corin R. Anderson, David E. Smith 0001 |
Extending Graphplan to Handle Uncertainty & Sensing Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI/IAAI ![In: Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, AAAI 98, IAAI 98, July 26-30, 1998, Madison, Wisconsin, USA., pp. 897-904, 1998, AAAI Press / The MIT Press, 0-262-51098-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
27 | Corin R. Anderson, David E. Smith 0001, Daniel S. Weld |
Conditional Effects in Graphplan. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIPS ![In: Proceedings of the Fourth International Conference on Artificial Intelligence Planning Systems, Pittsburgh, Pennsylvania, USA, 1998, pp. 44-53, 1998, AAAI, 1-57735-052-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
27 | B. Cenk Gazen, Craig A. Knoblock |
Combining the Expressivity of UCPOP with the Efficiency of Graphplan. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECP ![In: Recent Advances in AI Planning, 4th European Conference on Planning, ECP'97, Toulouse, France, September 24-26, 1997, Proceedings, pp. 221-233, 1997, Springer, 3-540-63912-8. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
27 | Subbarao Kambhampati, Eric Parker, Eric Lambrecht |
Understanding and Extending Graphplan. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECP ![In: Recent Advances in AI Planning, 4th European Conference on Planning, ECP'97, Toulouse, France, September 24-26, 1997, Proceedings, pp. 260-272, 1997, Springer, 3-540-63912-8. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Jicheng Fu, Farokh B. Bastani, I-Ling Yen |
Automated Discovery of Loop Invariants for High-Assurance Programs Synthesized Using AI Planning Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 11th IEEE High Assurance Systems Engineering Symposium, HASE 2008, Nanjing, China, December 3 - 5, 2008, pp. 333-342, 2008, IEEE Computer Society, 978-0-7695-3482-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Frederic Maris, Pierre Régnier |
TLP-GP: New Results on Temporally-Expressive Planning Benchmarks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI (1) ![In: 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), November 3-5, 2008, Dayton, Ohio, USA, Volume 1, pp. 507-514, 2008, IEEE Computer Society, 978-0-7695-3440-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Pavel Surynek |
A Global Filtration for Satisfying Goals in Mutual Exclusion Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCLP ![In: Recent Advances in Constraints, 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, Rocquencourt, France, June 7-8, 2007, Revised Selected Papers, pp. 142-157, 2007, Springer, 978-3-540-89811-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
global filtration, mutual exclusion network, search |
19 | Yacine Zemali |
Controlled Reachability Analysis in AI Planning: Theory and Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2005: Advances in Artificial Intelligence, 28th Annual German Conference on AI, KI 2005, Koblenz, Germany, September 11-14, 2005, Proceedings, pp. 264-278, 2005, Springer, 3-540-28761-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Hector Geffner |
Search and Inference in AI Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005, Proceedings, pp. 1-4, 2005, Springer, 3-540-29238-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Felipe Rech Meneguzzi, Avelino F. Zorzo, Michael da Costa Móra |
Propositional planning in BDI agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004, pp. 58-63, 2004, ACM, 1-58113-812-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
X-BDI, propositional planning, planning, BDI, BDI Model |
19 | Joseph Zalaket, Guy Camilleri |
FHP: Functional Heuristic Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES ![In: Knowledge-Based Intelligent Information and Engineering Systems, 8th International Conference, KES 2004, Wellington, New Zealand, September 20-25, 2004. Proceedings. Part II, pp. 9-16, 2004, Springer, 3-540-23206-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Alfonso Gerevini, Ivan Serina |
Planning as Propositional CSP: From Walksat to Local Search Techniques for Action Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 8(4), pp. 389-413, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
planning as CSP, propositional CSP, planning graphs, planning, local search, heuristic search |
19 | Yannis Dimopoulos, Alfonso Gerevini |
Temporal Planning through Mixed Integer Programming: A Preliminary Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2002, 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings, pp. 47-62, 2002, Springer, 3-540-44120-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Fabiano Silva, Marcos A. Castilho, Luis Allan Künzle |
Petriplan: A New Algorithm for Plan Generation (Preliminary Report). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBERAMIA-SBIA ![In: Advances in Artificial Intelligence, International Joint Conference, 7th Ibero-American Conference on AI, 15th Brazilian Symposium on AI, IBERAMIA-SBIA 2000, Atibaia, SP, Brazil, November 19-22, 2000, Proceedings, pp. 86-95, 2000, Springer, 3-540-41276-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Petri Nets, Integer Programming, Reachability, AI Planning |
19 | Peter Fröhlich 0001, Johannes Link |
Automated Test Case Generation from Dynamic Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2000 - Object-Oriented Programming, 14th European Conference, Sophia Antipolis and Cannes, France, June 12-16, 2000, Proceedings, pp. 472-492, 2000, Springer, 3-540-67660-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Alfonso Gerevini, Ivan Serina |
On Plan Adaption through Planning Graph Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI*IA ![In: AI*IA 99:Advances in Artificial Intelligence, 6th Congress of the Italian Association for Artificial Intelligence, Bologna, Italy, September 14-17, 1999, Proceedings, pp. 356-367, 1999, Springer, 3-540-67350-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|