Dissertation Abstract ¨ Emre Okkes ¸ Savas¸ Supervisors: Maria Fox, Derek Long Department of Informatics,

Source URL: icaps16.icaps-conference.org

• Mathematics
• Automated planning and scheduling
• Control engineering
• Planning Domain Definition Language
• Control theory
• Mathematical optimization
• Variable
• Parameter
• Linear programming
• Motor coordination

Temporal Inference In Forward Search Temporal Planning Dissertation Abstract Atif Talukdar Supervisors: Maria Fox and Derek Long King’s College London London WC2R 2LS

Source URL: icaps16.icaps-conference.org

• Logic
• Metaphysics
• Philosophy of science
• Theoretical philosophy
• Reasoning
• Logic in computer science
• Expert systems
• Inference
• Logical consequence
• Causality
• Automated planning and scheduling
• Forward chaining

Death of Massive Stars (DoMaS) Probe Pete RomingÜ (), Eric Schlegel…, Thomas GreathouseÜ, Neil GehrelsÖ, Chris FryerÆ, Derek Fox®, Michael DavisÜ, Amanda BaylessÜ I. INTRODUCTION The death of mass

Source URL: pcos.gsfc.nasa.gov

• Astronomy
• Outer space
• Nature
• Space observatories
• Gamma-ray burst
• Neil Gehrels
• X-ray telescope
• X-ray transient
• Reionization
• Compton Gamma Ray Observatory
• European Southern Observatory
• X-ray astronomy

Planning Domains and Plans: Validation, Verification and Analysis Derek Long and Maria Fox Richard Howey {}

Source URL: www-vvps09.imag.fr

INTERNATIONAL X-RAY OBSERVATORY EXTREME STATES OF MATTER Frits Paerels/ Columbia University Sudip Bhattacharyya (Tata Institute), Ed Cackett (U. Michigan), Jean Cottam (GSFC), Derek Fox (PSU), Wynn Ho (Harvard), Peter Jo

Source URL: ixo.gsfc.nasa.gov

• Phases of matter
• Quark matter
• Space telescopes
• International X-ray Observatory
• Neutron star
• Pulsar
• Spectroscopy
• X-ray burster
• Neutron
• Physics
• Star types
• Exotic matter

HAL E. HERSHFIELD, DANIEL G. GOLDSTEIN, WILLIAM F. SHARPE, JESSE FOX, LEO YEYKELIS, LAURA L. CARSTENSEN, and JEREMY N. BAILENSON? Many people fail to save what they will need for retirement. Research on excessive discoun

Source URL: people.stern.nyu.edu

• Ethology
• Virtual world
• Mind
• Hyperbolic discounting
• Intertemporal choice
• Derek Parfit
• Psychology of self
• Empathy
• Virtual community
• Virtual reality
• Behavior
• Social psychology

Forward-Chaining Partial-Order Planning Amanda Coles and Andrew Coles and Maria Fox and Derek Long Department of Computer and Information Sciences, University of Strathclyde, Glasgow, G1 1XH, UK email: firstname.lastname

Source URL: www.cis.strath.ac.uk

• Search algorithms
• Mathematics
• Mathematical optimization
• Job shop scheduling
• Partial-order planning
• Planning Domain Definition Language
• A* search algorithm
• STRIPS
• Backtracking
• Artificial intelligence
• Operations research
• Automated planning and scheduling

Incremental Constraint-Posting Algorithms in Interleaved Planning and Scheduling Amanda Coles, Andrew Coles, Maria Fox and Derek Long Department of Computer and Information Sciences, University of Strathclyde, Glasgow, G

Source URL: www.cis.strath.ac.uk

• Operations research
• Constraint programming
• Convex optimization
• Linear programming
• Constraint satisfaction
• Shortest path problem
• Automated planning and scheduling
• Mathematical optimization
• Planning Domain Definition Language
• Mathematics
• Applied mathematics
• Theoretical computer science

Teaching Forward-Chaining Planning with JAVA FF Andrew Coles, Maria Fox, Derek Long and Amanda Smith Department of Computer and Information Sciences, University of Strathclyde, Glasgow, G1 1XH, UK email: firstname.lastna

Source URL: www.cis.strath.ac.uk

• Algorithm
• Planner
• Planning
• Best-first search
• A* search algorithm
• Heuristic function
• Automated planning and scheduling
• Artificial intelligence
• Search algorithms
• Mathematics

Planning Modulo Theories: Extending the Planning Paradigm Peter Gregory Derek Long and Maria Fox J. Christopher Beck

Source URL: tidel.mie.utoronto.ca

• Automated planning and scheduling
• Propositional calculus
• Constraint programming
• Formal methods
• Planning Domain Definition Language
• Boolean algebra
• Satisfiability Modulo Theories
• Interpretation
• Function
• Logic
• Mathematics
• Mathematical logic