Daniel Bryce

According to our database, Daniel Bryce authored at least 27 papers between 1985 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Building an Open Representation for Biological Protocols.

Bryan Bartley, Jacob Beal, Miles Rogers, Daniel Bryce, Robert P. Goldman, Benjamin Keller, Peter Lee, Vanessa Biggers, Joshua Nowak, Mark Weston

ACM J. Emerg. Technol. Comput. Syst., July, 2023

2016

Instrumenting an SMT Solver to Solve Hybrid Network Reachability Problems.

Daniel Bryce, Sergiy Bogomolov, Alexander Heinz, Christian Schilling

CoRR, 2016

A Hybrid Architecture for Correct-by-Construction Hybrid Planning and Control.

Robert P. Goldman, Daniel Bryce, Michael J. S. Pelican, David J. Musliner, Kyungmin Bae

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

Maintaining Evolving Domain Models.

Daniel Bryce, J. Benton, Michael W. Boldt

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

An Architecture for Hybrid Planning and Execution.

Robert P. Goldman, Daniel Bryce, Michael J. S. Pelican, David J. Musliner, Kyungmin Bae

Proceedings of the Planning for Hybrid Systems, 2016

A Happening-Based Encoding for Nonlinear PDDL+ Planning.

Daniel Bryce

Proceedings of the Planning for Hybrid Systems, 2016

2015

HACKAR: Helpful Advice for Code Knowledge and Attack Resilience.

Ugur Kuter, Mark H. Burstein, J. Benton, Daniel Bryce, Jordan Tyler Thayer, Steve McCoy

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

SMT-Based Nonlinear PDDL+ Planning.

Daniel Bryce, Sicun Gao, David J. Musliner, Robert P. Goldman

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Landmark-Based Plan Distance Measures for Diverse Planning.

Daniel Bryce

Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014

Explaining Verifier Traces with Explanation Based Learning.

Daniel Bryce

Proceedings of the 2014 AAAI Spring Symposia, 2014

2013

Covering Landmark Interactions for Semantically Diverse Plans.

Daniel Bryce, Renée C. Bryce

Proceedings of the Late-Breaking Developments in the Field of Artificial Intelligence, 2013

2012

Evaluating Temporal Plans in Incomplete Domains.

Daniel Morwood, Daniel Bryce

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011

State agnostic planning graphs: deterministic, non-deterministic, and probabilistic planning.

Daniel Bryce, William Cushing, Subbarao Kambhampati

Artif. Intell., 2011

Planning and Acting in Incomplete Domains.

Christopher Weber, Daniel Bryce

Proceedings of the 21st International Conference on Automated Planning and Scheduling, 2011

Interactive Bootstrapped Learning for End-User Programming.

Michael Freed, Daniel Bryce, Jiaying Shen, Ciaran O'Reilly

Proceedings of the Artificial Intelligence and Smarter Living: The Conquest of Complexity, 2011

2010

Planning interventions in biological networks.

Daniel Bryce, Michael P. Verdicchio, Seungchan Kim

ACM Trans. Intell. Syst. Technol., 2010

2009

MABLE: a framework for learning from natural instruction.

Roger Mailler, Daniel Bryce, Jiaying Shen, Ciaran O'Reilly

Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

2008

Sequential Monte Carlo in reachability heuristics for probabilistic planning.

Daniel Bryce, Subbarao Kambhampati, David E. Smith

Artif. Intell., 2008

2007

A Tutorial on Planning Graph Based Reachability Heuristics.

Daniel Bryce, Subbarao Kambhampati

AI Mag., 2007

Planning for Gene Regulatory Network Intervention.

Daniel Bryce, Seungchan Kim

Proceedings of the IJCAI 2007, 2007

2006

Planning Graph Heuristics for Belief Space Search.

Daniel Bryce, Subbarao Kambhampati, David E. Smith

J. Artif. Intell. Res., 2006

Sequential Monte Carlo in Probabilistic Planning Reachability Heuristics.

Daniel Bryce, Subbarao Kambhampati, David E. Smith

Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, 2006

2005

Cost Sensitive Reachability Heuristics for Handling State Uncertainty.

Daniel Bryce, Subbarao Kambhampati

Proceedings of the UAI '05, 2005

State Agnostic Planning Graphs and the Application to Belief-Space Planning.

William Cushing, Daniel Bryce

Proceedings of the Proceedings, 2005

2004

Heuristic Guidance Measures for Conformant Planning.

Daniel Bryce, Subbarao Kambhampati

Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS 2004), 2004

1986

SNAP: A Graphics-based Schema Manager.

Daniel Bryce, Richard Hull

Proceedings of the Second International Conference on Data Engineering, 1986

1985

A Conceptual Basis for Graphics-Based Data Management.

Daniel Bryce, Richard Hull

Proceedings of the Foundations of Data Organization, 1985