Search results for "Graphplan"

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.	Softw. Qual. J.	2007	DBLP DOI BibTeX RDF	Planning graph, MEA-Graphplan, AI Planning, Automated software testing
123	Mark A. Iwen, Amol Dattatraya Mali	Distributed Graphplan.	ICTAI	2002	DBLP DOI BibTeX RDF
104	Muhammad Afzal Upal	Learning General Graphplan Memos through Static Domain Analysis.	AI	2003	DBLP DOI BibTeX RDF
85	Yang Li, Yan Sun, Chengshan Han, Xiaodong Wang, Shuyan Xu	Algorithm Research of Flexible Graphplan based on Heuristic.	ICYCS	2008	DBLP DOI BibTeX RDF
85	Daniel Buettner	Abstraction and Reformulation in GraphPlan.	SARA	2002	DBLP DOI BibTeX RDF
49	Jicheng Fu, Farokh B. Bastani, I-Ling Yen	Automated AI Planning and Code Pattern Based Code Synthesis.	ICTAI	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.	CP	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.	ICTAI (1)	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.	ICTAI	2004	DBLP DOI BibTeX RDF
38	Alessandro Armando, Luca Compagna, Pierre Ganty	SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis.	FME	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.	EPIA	2001	DBLP DOI BibTeX RDF
29	Jigui Sun, Minghao Yin	Recognizing the agent's goals incrementally: planning graph as a basis.	Frontiers Comput. Sci. China	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.	SIGecom Exch.	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.	CoRR	2021	DBLP BibTeX RDF
27	Hong Chen, Raphael Shu, Hiroya Takamura, Hideki Nakayama	GraphPlan: Story Generation by Planning with Event Graph.	INLG	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.	IEEE Access	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).	计算机科学	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.	Int. J. Web Grid Serv.	2019	DBLP DOI BibTeX RDF
27	Guodong Fan, Ming Zhu, Xiaoliu Cui	Optimizing Web Service Composition with Graphplan and Fuzzy Control.	J. Ubiquitous Syst. Pervasive Networks	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.	EUSPN/ICTH	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.	ICWS	2017	DBLP DOI BibTeX RDF
27	Yuhong Yan, Min Chen 0035	Anytime QoS-aware service composition over the GraphPlan.	Serv. Oriented Comput. Appl.	2015	DBLP DOI BibTeX RDF
27	Min Chen 0035, Yuhong Yan	QoS-aware Service Composition over Graphplan through Graph Reachability.	IEEE SCC	2014	DBLP DOI BibTeX RDF
27	Subbarao Kambhampati	Planning Graph as a (Dynamic) CSP: Exploiting EBL, DDB and other CSP Search Techniques in Graphplan	CoRR	2011	DBLP BibTeX RDF
27	Yuhong Yan, Pascal Poizat, Ludeng Zhao	Self-Adaptive Service Composition Through Graphplan Repair.	ICWS	2010	DBLP DOI BibTeX RDF
27	Iain Little, Sylvie Thiébaux	Concurrent Probabilistic Planning in the Graphplan Framework.	ICAPS	2006	DBLP BibTeX RDF
27	Yuanyuan Shen	Exploiting timed coloured Petri nets in control and analysis of Graphplan.		2006	RDF
27	Wen-Xiang Gu, Zeng-yu Cai, Xin-mei Zhang, Gui-dong Jiang	Creating or Destroying Objects Plan in the Graphplan Framework.	WEC (2)	2005	DBLP BibTeX RDF
27	Muhammad Afzal Upal	Learning General Graphplan Memos.	IC-AI	2004	DBLP BibTeX RDF
27	Derek Long, Maria Fox 0001	Exploiting a Graphplan Framework in Temporal Planning.	ICAPS	2003	DBLP BibTeX RDF
27	Jörg Hoffmann 0001, Hector Geffner	Branching Matters: Alternative Branching in Graphplan.	ICAPS	2003	DBLP BibTeX RDF
27	Adriana Lopez, Fahiem Bacchus	Generalizing GraphPlan by Formulating Planning as a CSP.	IJCAI	2003	DBLP BibTeX RDF
27	Terry Zimmerman, Subbarao Kambhampati	Using Available Memory to Transform Graphplan's Search.	IJCAI	2003	DBLP BibTeX RDF
27	Maria Fox 0001, Derek Long	Fast Temporal Planning in a Graphplan Framework.	AIPS Workshop on Planning for Temporal Domains	2002	DBLP BibTeX RDF
27	Michel Cayrol, Pierre Régnier, Vincent Vidal 0001	Least commitment in Graphplan.	Artif. Intell.	2001	DBLP DOI BibTeX RDF
27	Biplav Srivastava	AltAlt: Combining Graphplan and Heuristic State Search.	AI Mag.	2001	DBLP DOI BibTeX RDF
27	Subbarao Kambhampati	Planning Graph as a (Dynamic) CSP: Exploiting EBL, DDB and other CSP Search Techniques in Graphplan.	J. Artif. Intell. Res.	2000	DBLP DOI BibTeX RDF
27	Ian Miguel, Peter Jarvis, Qiang Shen 0001	Flexible Graphplan.	ECAI	2000	DBLP BibTeX RDF
27	Michel Cayrol, Pierre Régnier, Vincent Vidal 0001	New Results about LCGP, a Least Committed GraphPlan.	AIPS	2000	DBLP BibTeX RDF
27	Subbarao Kambhampati, Romeo Sanchez Nigenda	Distance-Based Goal-Ordering Heuristics for Graphplan.	AIPS	2000	DBLP BibTeX RDF
27	Subbarao Kambhampati	Improving Graphplan's Search with EBL & DDB Techniques.	IJCAI	1999	DBLP BibTeX RDF
27	Eric Parker	Making Graphplan Goal-Directed.	ECP	1999	DBLP DOI BibTeX RDF
27	Avrim Blum, John Langford 0001	Probabilistic Planning in the Graphplan Framework.	ECP	1999	DBLP DOI BibTeX RDF
27	David E. Smith 0001, Daniel S. Weld	Conformant Graphplan.	AAAI/IAAI	1998	DBLP BibTeX RDF
27	Daniel S. Weld, Corin R. Anderson, David E. Smith 0001	Extending Graphplan to Handle Uncertainty & Sensing Actions.	AAAI/IAAI	1998	DBLP BibTeX RDF
27	Corin R. Anderson, David E. Smith 0001, Daniel S. Weld	Conditional Effects in Graphplan.	AIPS	1998	DBLP BibTeX RDF
27	B. Cenk Gazen, Craig A. Knoblock	Combining the Expressivity of UCPOP with the Efficiency of Graphplan.	ECP	1997	DBLP DOI BibTeX RDF
27	Subbarao Kambhampati, Eric Parker, Eric Lambrecht	Understanding and Extending Graphplan.	ECP	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.	HASE	2008	DBLP DOI BibTeX RDF
19	Frederic Maris, Pierre Régnier	TLP-GP: New Results on Temporally-Expressive Planning Benchmarks.	ICTAI (1)	2008	DBLP DOI BibTeX RDF
19	Pavel Surynek	A Global Filtration for Satisfying Goals in Mutual Exclusion Networks.	CSCLP	2007	DBLP DOI BibTeX RDF	global filtration, mutual exclusion network, search
19	Yacine Zemali	Controlled Reachability Analysis in AI Planning: Theory and Practice.	KI	2005	DBLP DOI BibTeX RDF
19	Hector Geffner	Search and Inference in AI Planning.	CP	2005	DBLP DOI BibTeX RDF
19	Felipe Rech Meneguzzi, Avelino F. Zorzo, Michael da Costa Móra	Propositional planning in BDI agents.	SAC	2004	DBLP DOI BibTeX RDF	X-BDI, propositional planning, planning, BDI, BDI Model
19	Joseph Zalaket, Guy Camilleri	FHP: Functional Heuristic Planning.	KES	2004	DBLP DOI BibTeX RDF
19	Alfonso Gerevini, Ivan Serina	Planning as Propositional CSP: From Walksat to Local Search Techniques for Action Graphs.	Constraints An Int. J.	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.	CP	2002	DBLP DOI BibTeX RDF
19	Fabiano Silva, Marcos A. Castilho, Luis Allan Künzle	Petriplan: A New Algorithm for Plan Generation (Preliminary Report).	IBERAMIA-SBIA	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.	ECOOP	2000	DBLP DOI BibTeX RDF
19	Alfonso Gerevini, Ivan Serina	On Plan Adaption through Planning Graph Analysis.	AI*IA	1999	DBLP DOI BibTeX RDF