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

Decision-support for the Masses by Enabling Conversations with Open Data.. CoRR, (2018)Trusted Multi-Party Computation and Verifiable Simulations: A Scalable Blockchain Approach., , , , , , , , and . CoRR, (2018)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)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)Using MATCON to generate CASE tools that guide deployment of pre-packaged applications., , , , , , , , , and 4 other author(s). ICSE, page 1016-1018. ACM, (2011)Synthesizing Customized Planners from Specifications, and . CoRR, (1998)Making public transportation schedule information consumable for improved decision making., , and . ITSC, page 1862-1867. IEEE, (2012)Workflow Complexity for Collaborative Interactions: Where are the Metrics? - A Challenge., , and . CoRR, (2017)The GangaWatch Mobile App to Enable Usage of Water Data in Every Day Decisions Integrating Historical and Real-time Sensing Data., , and . CoRR, (2017)