Author of the publication

Investigating the Effect of Relevance and Reachability Constraints on SAT Encodings of Planning.

, , and . AIPS, page 308-314. AAAI, (2000)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Synthesizing Customized Planners from Specifications., and . J. Artif. Intell. Res., (1998)Making public transportation schedule information consumable for improved decision making., , and . ITSC, page 1862-1867. IEEE, (2012)The GangaWatch Mobile App to Enable Usage of Water Data in Every Day Decisions Integrating Historical and Real-time Sensing Data., , and . CoRR, (2017)Workflow Complexity for Collaborative Interactions: Where are the Metrics? - A Challenge., , and . CoRR, (2017)Estimating Train Delays in a Large Rail Network Using a Zero Shot Markov Model., and . ITSC, page 1221-1226. IEEE, (2018)On Chatbots Exhibiting Goal-Directed Autonomy in Dynamic Environments.. AAAI Spring Symposia, AAAI Press, (2018)Using MATCON to generate CASE tools that guide deployment of pre-packaged applications., , , , , , , , , and 4 other author(s). ICSE, page 1016-1018. ACM, (2011)International Workshop on Context Enabled Source and Service Selection, Integration and Adaptation: workshop summary., , , , , and . CSSSIA, volume 292 of ACM International Conference Proceeding Series, page 1. ACM, (2008)Domain Independent Approaches for Finding Diverse Plans, , , , , and . International Joint Conference on Artificial Intelligence, page 2016--2022. (2007)Securing social media for seniors from information attacks: Modeling, detecting, intervening, and communicating risks., , , , and . TPS-ISA, page 297-302. IEEE, (2021)