@InProceedings{DBLP:conf/ijcai/BacchusHJS18,
  Title                    = {Reduced Cost Fixing for Maximum Satisfiability},
  Author                   = {Fahiem Bacchus and
 Antti Hyttinen and
 Matti J{\"{a}}rvisalo and
 Paul Saikko},
  Booktitle                = {Proceedings of the Twenty-Seventh International Joint Conference on
 Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
 Sweden.},
  Year                     = {2018},
  Pages                    = {5209--5213},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/ijcai/BacchusHJS18},
  Doi                      = {10.24963/ijcai.2018/723},
  Timestamp                = {Sat, 28 Jul 2018 14:39:21 +0200},
  Url                      = {https://doi.org/10.24963/ijcai.2018/723}
}

@Article{DBLP:journals/ai/BelleL18,
  Title                    = {Reasoning about discrete and continuous noisy sensors and effectors
 in dynamical systems},
  Author                   = {Vaishak Belle and
 Hector J. Levesque},
  Journal                  = {Artif. Intell.},
  Year                     = {2018},
  Pages                    = {189--221},
  Volume                   = {262},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/journals/ai/BelleL18},
  Doi                      = {10.1016/j.artint.2018.06.003},
  Timestamp                = {Thu, 13 Sep 2018 01:00:00 +0200},
  Url                      = {https://doi.org/10.1016/j.artint.2018.06.003}
}

@InProceedings{cam-bai-mui-mci-ccai18,
  Title                    = {Controller Synthesis via Non-Deterministic Planning},
  Author                   = {Alberto Camacho and
 Jorge A. Baier and
 Christian J. Muise and
 Sheila A. McIlraith},
  Booktitle                = {Proceedings of the Thirty-First Canadian Conference on Artificial Intelligence
({CCAI})},
  Year                     = {2018},
  Note                     = {To appear},

  Timestamp                = {2018.09.23}
}

@InProceedings{cam-bai-mui-mci-icaps18,
  Title                    = {Finite {LTL} Synthesis as Planning},
  Author                   = {Alberto Camacho and
 Jorge A. Baier and
 Christian J. Muise and
 Sheila A. McIlraith},
  Booktitle                = {Proceedings of the Twenty-Eight International Conference on Automated Planning and Scheduling ({ICAPS})},
  Year                     = {2018},
  Note                     = {to appear},

  Timestamp                = {2018.09.23}
}

@InProceedings{cam-mui-bai-mci-icaps18demo,
  Title                    = {{SynKit}: Finite {LTL} Synthesis as a Service},
  Author                   = {Alberto Camacho and
 Christian J. Muise and
 Jorge A. Baier and
 Sheila A. McIlraith},
  Booktitle                = {System Demonstrations at the Twenty-Eight International Conference on Automated Planning and Scheduling ({ICAPS})},
  Year                     = {2018},
  Note                     = {To appear},

  Timestamp                = {2018.09.23}
}

@InProceedings{cam-mui-bai-mci-ijcai18,
  Title                    = {{LTL} Realizability via Safety and Reachability Games},
  Author                   = {Alberto Camacho and
 Christian J. Muise and
 Jorge A. Baier and
 Sheila A. McIlraith},
  Booktitle                = {Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence ({IJCAI})},
  Year                     = {2018},
  Note                     = {To appear},

  Timestamp                = {2018.09.23}
}

@InProceedings{cam-mui-bai-mci-ijcai18demo,
  Title                    = {{SynKit}: {LTL} Synthesis as a Service},
  Author                   = {Alberto Camacho and
 Christian J. Muise and
 Jorge A. Baier and
 Sheila A. McIlraith},
  Booktitle                = {Demonstration Track at the Twenty-Seventh International Joint Conference on Artificial Intelligence ({IJCAI})},
  Year                     = {2018},
  Note                     = {To appear},

  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/cade/FazekasBB18,
  Title                    = {Implicit Hitting Set Algorithms for Maximum Satisfiability Modulo
 Theories},
  Author                   = {Katalin Fazekas and
 Fahiem Bacchus and
 Armin Biere},
  Booktitle                = {Automated Reasoning - 9th International Joint Conference, {IJCAR}
 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
 UK, July 14-17, 2018, Proceedings},
  Year                     = {2018},
  Pages                    = {134--151},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/cade/FazekasBB18},
  Doi                      = {10.1007/978-3-319-94205-6\_10},
  Timestamp                = {Mon, 09 Jul 2018 12:59:13 +0200},
  Url                      = {https://doi.org/10.1007/978-3-319-94205-6\_10}
}

@InProceedings{tor-etal-aamas18,
  Title                    = {Teaching Multiple Tasks to an RL Agent using LTL},
  Author                   = {Rodrigo {Toro Icarte} and
 Toryn Klassen and
 Richard Valenzano and
 Sheila A. McIlraith},
  Booktitle                = {AAMAS},
  Year                     = {2018},
  Note                     = {to appear},

  Timestamp                = {2018.09.23}
}

@InProceedings{icarte-etal-cai18,
  Title                    = {Advice-Based Exploration in Model-Based Reinforcement Learning},
  Author                   = {Rodrigo Toro Icarte and
 Toryn Q. Klassen and
 Richard Anthony Valenzano and
 Sheila A. McIlraith},
  Booktitle                = {Advances in Artificial Intelligence - 31st Canadian Conference on
 Artificial Intelligence, Canadian {AI} 2018, Toronto, ON, Canada,
 May 8-11, 2018, Proceedings},
  Year                     = {2018},
  Pages                    = {72--83},

  Timestamp                = {2018.09.23}
}

@InProceedings{tor-etal-icml18,
  Title                    = {Using Reward Machines for High-Level Task Specification and Decomposition in Reinforcement Learning},
  Author                   = {Rodrigo {Toro Icarte} and
 Toryn Q. Klassen and
 Richard Valenzano and
 Sheila A. McIlraith},
  Booktitle                = {Proceedings of the 35th International Conference on Machine Learning (ICML)},
  Year                     = {2018},
  Note                     = {to appear},

  Timestamp                = {2018.09.23}
}

@InProceedings{ShvoSohrabiMcIlraithCAI2018,
  Title                    = {An AI Planning-Based Approach to the Multi-Agent Plan Recognition Problem},
  Author                   = {Maayan Shvo and Shirin Sohrabi and Sheila A. McIlraith},
  Booktitle                = {Proceedings of the Thirty-First Canadian Conference on Artificial Intelligence ({CCAI})},
  Year                     = {2018},
  Note                     = {To appear},

  Timestamp                = {2018.09.23},
  Url                      = {http://www.cs.toronto.edu/~maayanshvo/ShvoSohrabiMcIlraithCAI2018.pdf [www.cs.toronto.edu]}
}

@InProceedings{DBLP:conf/cp/BacchusHJS17,
  Title                    = {Reduced Cost Fixing in MaxSAT},
  Author                   = {Fahiem Bacchus and
 Antti Hyttinen and
 Matti J{\"{a}}rvisalo and
 Paul Saikko},
  Booktitle                = {Principles and Practice of Constraint Programming - 23rd International
 Conference, {CP} 2017, Melbourne, VIC, Australia, August 28 - September
 1, 2017, Proceedings},
  Year                     = {2017},
  Pages                    = {641--651},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/cp/BacchusHJS17},
  Doi                      = {10.1007/978-3-319-66158-2\_41},
  Timestamp                = {Wed, 23 Aug 2017 10:12:25 +0200},
  Url                      = {https://doi.org/10.1007/978-3-319-66158-2\_41}
}

@Article{bar-etal-dagstuhl17,
  Title                    = {Epistemic Planning (Dagstuhl Seminar 17231)},
  Author                   = {Chitta Baral and
 Thomas Bolander and
 Hans van Ditmarsch and
 Sheila A. McIlraith},
  Journal                  = {Dagstuhl Reports},
  Year                     = {2017},
  Number                   = {6},
  Pages                    = {1--47},
  Volume                   = {7},

  Timestamp                = {2018.09.23},
  Url                      = {https://doi.org/10.4230/DagRep.7.6.1}
}

@InProceedings{cam-bai-mui-mci-genplan17,
  Title                    = {Bridging the Gap Between {LTL} Synthesis and Automated Planning},
  Author                   = {Alberto Camacho and
 Jorge A. Baier and
 Christian J. Muise and
 Sheila A. McIlraith},
  Booktitle                = {Workshop on Generalized Planning ({GenPlan}'17)},
  Year                     = {2017},

  Timestamp                = {2018.09.23},
  Url                      = {http://www.cs.toronto.edu/~sheila/publications/cam-etal-genplan17.pdf}
}

@InProceedings{cam-che-san-mci-rldm17,
  Title                    = {Decision-Making with Non-Markovian Rewards: From {LTL} to automata-based reward shaping},
  Author                   = {Alberto Camacho and
 Oscar Chen and
 Scott Sanner and
 Sheila A. McIlraith},
  Booktitle                = {Proceedings of the Multi-disciplinary Conference on Reinforcement Learning and Decision Making ({RLDM})},
  Year                     = {2017},
  Note                     = {See also University of Toronto Technical Report CSRG-632},
  Pages                    = {279-283},

  Timestamp                = {2018.09.23},
  Url                      = {http://www.cs.toronto.edu/~sheila/publications/cam-etal-rldm17.pdf}
}

@InProceedings{cam-che-san-mci-socs17,
  Title                    = {Non-Markovian Rewards Expressed in {LTL:} Guiding Search Via Reward Shaping},
  Author                   = {Alberto Camacho and
 Oscar Chen and
 Scott Sanner and
 Sheila A. McIlraith},
  Booktitle                = {Proceedings of the Tenth International Symposium on Combinatorial Search ({SoCS})},
  Year                     = {2017},
  Pages                    = {159--160},

  Timestamp                = {2018.09.23},
  Url                      = {http://www.cs.toronto.edu/~sheila/publications/cam-etal-socs17.pdf}
}

@TechReport{cam-che-san-mci-tr17,
  Title                    = {Decision-Making with Non-Markovian Rewards: Guiding search via
automata-Based reward shaping},
  Author                   = {Alberto Camacho and
 Oscar Chen and
 Scott Sanner and
 Sheila A. McIlraith},
  Institution              = {Department of Computer Science, University of Toronto},
  Year                     = {2017},
  Month                    = {June},
  Number                   = {CSRG-632},

  Timestamp                = {2018.09.23},
  Url                      = {ftp.cs.toronto.edu/csrg-technical-reports/632/cam-che-san-mci-tr2017.pdf}
}

@InProceedings{ltl-fond-aaai-17,
  Title                    = {Non-Deterministic Planning with Temporally Extended Goals: {LTL} over finite and infinite traces},
  Author                   = {Alberto Camacho and Eleni Triantafillou and Christian Muise and Jorge Baier and Sheila A. McIlraith},
  Booktitle                = {The 31st AAAI Conference on Artificial Intelligence (AAAI-17)},
  Year                     = {2017},

  Abstract                 = {Temporally extended goals are critical to the specification of a
diversity of real-world planning problems. Here we examine
the problem of non-deterministic planning with temporally
extended goals specified in linear temporal logic (LTL), interpreted
over either finite or infinite traces. Unlike existing
LTL planners, we place no restrictions on our LTL formulae
beyond those necessary to distinguish finite from infinite
interpretations. We generate plans by compiling LTL temporally
extended goals into problem instances described in
the Planning Domain Definition Language that are solved by
a state-of-the-art fully observable non-deterministic planner.
We propose several different compilations based on translations
of LTL to alternating or non-deterministic (B¨uchi) automata,
and evaluate various properties of the competing approaches.
We address a diverse spectrum of LTL planning
problems that, to this point, had not been solvable using AI
planning techniques, and do so in a manner that demonstrates
highly competitive performance.},
  Keywords                 = {LTL, non-deterministic planning, temporally extended goals, FOND},
  Timestamp                = {2018.09.23},
  Url                      = {http://www.cs.toronto.edu/~sheila/publications/cam-etal-aaai17.pdf}
}

Temporally extended goals are critical to the specification of a diversity of real-world planning problems. Here we examine the problem of non-deterministic planning with temporally extended goals specified in linear temporal logic (LTL), interpreted over either finite or infinite traces. Unlike existing LTL planners, we place no restrictions on our LTL formulae beyond those necessary to distinguish finite from infinite interpretations. We generate plans by compiling LTL temporally extended goals into problem instances described in the Planning Domain Definition Language that are solved by a state-of-the-art fully observable non-deterministic planner. We propose several different compilations based on translations of LTL to alternating or non-deterministic (B¨uchi) automata, and evaluate various properties of the competing approaches. We address a diverse spectrum of LTL planning problems that, to this point, had not been solvable using AI planning techniques, and do so in a manner that demonstrates highly competitive performance.

@InProceedings{tor-etal-rldm17,
  Title                    = {Using Advice in Model-Based Reinforcement Learning},
  Author                   = {Rodrigo {Toro Icarte} and
 Toryn Klassen and
 Richard Valenzano and
 Sheila A. McIlraith},
  Booktitle                = {Proceedings of the Multi-disciplinary Conference on Reinforcement Learning and Decision Making ({RLDM})},
  Year                     = {2017},
  Pages                    = {199-203},

  Timestamp                = {2018.09.23}
}

@InProceedings{ill-mci-ijcai17,
  Title                    = {Numeric Planning via Abstraction and Policy Guided Search},
  Author                   = {Leon Illanes and
 Sheila A. McIlraith},
  Booktitle                = {Proceedings of the Twenty-Sixth International Joint Conference on
 Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
 19-25, 2017},
  Year                     = {2017},
  Pages                    = {4338--4345},

  Timestamp                = {2018.09.23},
  Url                      = {https://doi.org/10.24963/ijcai.2017/606}
}

@InProceedings{DBLP:conf/commonsense/KlassenLM17,
  Title                    = {Towards Representing What Readers of Fiction Believe},
  Author                   = {Toryn Q. Klassen and
 Hector J. Levesque and
 Sheila A. McIlraith},
  Booktitle                = {Proceedings of the Thirteenth International Symposium on Commonsense
 Reasoning, {COMMONSENSE} 2017, London, UK, November 6-8, 2017.},
  Year                     = {2017},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/commonsense/KlassenLM17},
  Timestamp                = {Mon, 29 Jan 2018 18:23:49 +0100},
  Url                      = {http://ceur-ws.org/Vol-2052/paper12.pdf}
}

@InProceedings{bfr-aaai-17,
  Title                    = {Logical Filtering and Smoothing: State Estimation in Partially Observable Domains},
  Author                   = {Brent Mombourquette and Christian Muise and Sheila McIlraith},
  Booktitle                = {The 31st AAAI Conference on Artificial Intelligence (AAAI-17)},
  Year                     = {2017},

  Abstract                 = {State estimation is the task of estimating the state of a partially
observable dynamical system given a sequence of executed
actions and observations. In logical settings, state estimation
can be realized via logical filtering, which is exact
but can be intractable. We propose logical smoothing, a form
of backwards reasoning that works in concert with approximated
logical filtering to refine past beliefs in light of new observations.
We characterize the notion of logical smoothing
together with an algorithm for backwards-forwards state estimation.
We also present an approximation of our smoothing
algorithm that is space efficient. We prove properties of our
algorithms, and experimentally demonstrate their behaviour,
contrasting them with state estimation methods for planning.
Smoothing and backwards-forwards reasoning are important
techniques for reasoning about partially observable dynamical
systems, introducing the logical analogue of effective
techniques from control theory and dynamic programming.},
  Keywords                 = {state estimation, belief tracking, logical filtering, approximation},
  Timestamp                = {2018.09.23},
  Url                      = {http://www.haz.ca/papers/momb-aaai17.pdf}
}

State estimation is the task of estimating the state of a partially observable dynamical system given a sequence of executed actions and observations. In logical settings, state estimation can be realized via logical filtering, which is exact but can be intractable. We propose logical smoothing, a form of backwards reasoning that works in concert with approximated logical filtering to refine past beliefs in light of new observations. We characterize the notion of logical smoothing together with an algorithm for backwards-forwards state estimation. We also present an approximation of our smoothing algorithm that is space efficient. We prove properties of our algorithms, and experimentally demonstrate their behaviour, contrasting them with state estimation methods for planning. Smoothing and backwards-forwards reasoning are important techniques for reasoning about partially observable dynamical systems, introducing the logical analogue of effective techniques from control theory and dynamic programming.

@InProceedings{DBLP:conf/atal/PerraultB17,
  Title                    = {Multiple-Profile Prediction-of-Use Games},
  Author                   = {Andrew Perrault and
 Craig Boutilier},
  Booktitle                = {Proceedings of the 16th Conference on Autonomous Agents and MultiAgent
 Systems, {AAMAS} 2017, S{\~{a}}o Paulo, Brazil, May 8-12, 2017},
  Year                     = {2017},
  Pages                    = {1688--1690},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/atal/PerraultB17},
  Timestamp                = {Wed, 27 Sep 2017 07:24:00 +0200},
  Url                      = {http://dl.acm.org/citation.cfm?id=3091405}
}

@InProceedings{DBLP:conf/atal/PerraultB17a,
  Title                    = {Multiple-Profile Prediction-of-Use Games},
  Author                   = {Andrew Perrault and
 Craig Boutilier},
  Booktitle                = {Autonomous Agents and Multiagent Systems - {AAMAS} 2017 Workshops,
 Best Papers, S{\~{a}}o Paulo, Brazil, May 8-12, 2017, Revised Selected
 Papers},
  Year                     = {2017},
  Pages                    = {275--295},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/atal/PerraultB17a},
  Doi                      = {10.1007/978-3-319-71682-4\_17},
  Timestamp                = {Tue, 17 Jul 2018 07:47:34 +0200},
  Url                      = {https://doi.org/10.1007/978-3-319-71682-4\_17}
}

@InProceedings{DBLP:conf/ijcai/PerraultB17,
  Title                    = {Multiple-Profile Prediction-of-Use Games},
  Author                   = {Andrew Perrault and
 Craig Boutilier},
  Booktitle                = {Proceedings of the Twenty-Sixth International Joint Conference on
 Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
 19-25, 2017},
  Year                     = {2017},
  Pages                    = {366--373},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/ijcai/PerraultB17},
  Doi                      = {10.24963/ijcai.2017/52},
  Timestamp                = {Wed, 27 Jun 2018 12:24:11 +0200},
  Url                      = {https://doi.org/10.24963/ijcai.2017/52}
}

@InProceedings{ShvoSohrabiMcIlraithPAIR2017,
  Title                    = {An AI Planning-Based Approach to the Multi-Agent Plan Recognition Problem (Preliminary Report)},
  Author                   = {Maayan Shvo and Shirin Sohrabi and Sheila A. McIlraith},
  Booktitle                = {Proceedings of the The AAAI 2017 Workshop on Plan, Activity, and Intent Recognition (PAIR)},
  Year                     = {2017},

  Timestamp                = {2018.09.23},
  Url                      = {http://www.cs.toronto.edu/~shirin/ShvoSohrabiMcIlraithPAIR2017.pdf}
}

@InProceedings{DBLP:conf/cpaior/BacchusK16,
  Title                    = {Finding a Collection of MUSes Incrementally},
  Author                   = {Fahiem Bacchus and
 George Katsirelos},
  Booktitle                = {Integration of {AI} and {OR} Techniques in Constraint Programming
 - 13th International Conference, {CPAIOR} 2016, Banff, AB, Canada,
 May 29 - June 1, 2016, Proceedings},
  Year                     = {2016},
  Pages                    = {35--44},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/cpaior/BacchusK16},
  Doi                      = {10.1007/978-3-319-33954-2\_3},
  Timestamp                = {Wed, 17 May 2017 14:24:39 +0200},
  Url                      = {https://doi.org/10.1007/978-3-319-33954-2\_3}
}

@InProceedings{DBLP:conf/aaai/BelleLL16,
  Title                    = {A First-Order Logic of Probability and Only Knowing in Unbounded Domains},
  Author                   = {Vaishak Belle and
 Gerhard Lakemeyer and
 Hector J. Levesque},
  Booktitle                = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence,
 February 12-17, 2016, Phoenix, Arizona, {USA.}},
  Year                     = {2016},
  Pages                    = {893--899},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/aaai/BelleLL16},
  Timestamp                = {Wed, 05 Apr 2017 12:53:50 +0200},
  Url                      = {http://www.aaai.org/ocs/index.php/AAAI/AAAI16/paper/view/12271}
}

@InProceedings{DBLP:conf/kr/BelleL16,
  Title                    = {Foundations for Generalized Planning in Unbounded Stochastic Domains},
  Author                   = {Vaishak Belle and
 Hector J. Levesque},
  Booktitle                = {Principles of Knowledge Representation and Reasoning: Proceedings
 of the Fifteenth International Conference, {KR} 2016, Cape Town, South
 Africa, April 25-29, 2016.},
  Year                     = {2016},
  Pages                    = {380--389},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/kr/BelleL16},
  Timestamp                = {Thu, 21 Apr 2016 20:01:05 +0200},
  Url                      = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12881}
}

@Article{DBLP:journals/sLogica/BelleL16,
  Title                    = {A Logical Theory of Localization},
  Author                   = {Vaishak Belle and
 Hector J. Levesque},
  Journal                  = {Studia Logica},
  Year                     = {2016},
  Number                   = {4},
  Pages                    = {741--772},
  Volume                   = {104},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/journals/sLogica/BelleL16},
  Doi                      = {10.1007/s11225-015-9625-0},
  Timestamp                = {Sat, 20 May 2017 01:00:00 +0200},
  Url                      = {https://doi.org/10.1007/s11225-015-9625-0}
}

@InCollection{DBLP:reference/choice/BoutilierR16,
  Title                    = {Incomplete Information and Communication in Voting},
  Author                   = {Craig Boutilier and
 Jeffrey S. Rosenschein},
  Booktitle                = {Handbook of Computational Social Choice},
  Year                     = {2016},
  Pages                    = {223--258},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/reference/choice/BoutilierR16},
  Doi                      = {10.1017/CBO9781107446984.011},
  Timestamp                = {Wed, 12 Jul 2017 01:00:00 +0200},
  Url                      = {https://doi.org/10.1017/CBO9781107446984.011}
}

@InProceedings{cam-mci-fondplus-knowpros16,
  Title                    = {Strong-Cyclic Planning when Fairness is Not a Valid Assumption},
  Author                   = {Alberto Camacho and Sheila A. McIlraith},
  Booktitle                = {Workshop on Knowledge-based techniques for problem solving and reasoning ({KnowProS}'16)},
  Year                     = {2016},

  Abstract                 = {We address the class of fully-observable non-deterministic (FOND) planning problems where non-deterministic actions are not guaranteed to display fair behavior. Typical solutions to FOND planning either guarantee goal reachability with a bounded number of transitions (so-called strong acyclic solutions), or are predicated on a fairness assumption that presumes each action effect occurs infinitely often when the action is applied infinite times in the same state (so-called strong-cyclic solutions). We introduce the FOND+ planning model, that extends the FOND model with a more informed description of the action transitions. Solutions to FOND+ problems are able to guarantee goal reachability when the classical fairness assumption is not valid. We characterize different topologies, or classes, of solutions showing that typical strong acyclic, fair strong-cyclic planning are particular cases. Finally, we present algorithms to solve each class of problems, and prove empirically that FOND+ solutions are different than strong-cyclic solutions that presume fairness.},
  Timestamp                = {2018.09.23}
}

We address the class of fully-observable non-deterministic (FOND) planning problems where non-deterministic actions are not guaranteed to display fair behavior. Typical solutions to FOND planning either guarantee goal reachability with a bounded number of transitions (so-called strong acyclic solutions), or are predicated on a fairness assumption that presumes each action effect occurs infinitely often when the action is applied infinite times in the same state (so-called strong-cyclic solutions). We introduce the FOND+ planning model, that extends the FOND model with a more informed description of the action transitions. Solutions to FOND+ problems are able to guarantee goal reachability when the classical fairness assumption is not valid. We characterize different topologies, or classes, of solutions showing that typical strong acyclic, fair strong-cyclic planning are particular cases. Finally, we present algorithms to solve each class of problems, and prove empirically that FOND+ solutions are different than strong-cyclic solutions that presume fairness.

@InProceedings{cam-mui-mci-icaps16,
  Title                    = {From FOND to Robust Probabilistic Planning: Computing compact policies that bypass avoidable deadends},
  Author                   = {Alberto Camacho and Christian Muise and Sheila A. McIlraith},
  Booktitle                = {The 26th International Conference on Automated Planning and Scheduling (ICAPS)},
  Year                     = {2016},
  Pages                    = {65--69},

  Abstract                 = {We address the class of probabilistic planning problems where the objective is to maximize the probability of reaching a prescribed goal. The complexity of probabilistic planning problems makes it difficult to compute high quality solutions for large instances, and existing algorithms either do not scale, or do so at the expense of the solution quality. We leverage core similarities between probabilistic and fully observable non-deterministic (FOND) planning to construct a sound, offline probabilistic planner, ProbPRP, that exploits algorithmic advances from state-of-the-art FOND planner, PRP, to compute compact policies that are guaranteed to bypass avoidable deadends. We evaluate ProbPRP on a selection of benchmarks used in past probabilistic planning competitions. The results show that ProbPRP, in many cases, outperforms the state of the art, computing substantially more robust policies and at times doing so orders of magnitude faster.},
  Keywords                 = {non-deterministic planning, probabilistic planning, plan generation},
  Timestamp                = {2018.09.23},
  Url                      = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS16/paper/view/13188}
}

We address the class of probabilistic planning problems where the objective is to maximize the probability of reaching a prescribed goal. The complexity of probabilistic planning problems makes it difficult to compute high quality solutions for large instances, and existing algorithms either do not scale, or do so at the expense of the solution quality. We leverage core similarities between probabilistic and fully observable non-deterministic (FOND) planning to construct a sound, offline probabilistic planner, ProbPRP, that exploits algorithmic advances from state-of-the-art FOND planner, PRP, to compute compact policies that are guaranteed to bypass avoidable deadends. We evaluate ProbPRP on a selection of benchmarks used in past probabilistic planning competitions. The results show that ProbPRP, in many cases, outperforms the state of the art, computing substantially more robust policies and at times doing so orders of magnitude faster.

@InProceedings{cam-etal-ltl-knowpros16,
  Title                    = {Non-Deterministic Planning with Temporally Extended Goals: Completing the story for finite and infinite {LTL} (Amended Version)},
  Author                   = {Alberto Camacho and Eleni Triantafillou and Christian Muise and Jorge Baier and Sheila A. McIlraith},
  Booktitle                = {Workshop on knowledge-based techniques for problem solving and reasoning (KnowProS'16) at IJCAI},
  Year                     = {2016},
  Note                     = {A version of this paper also appeared in the Workshop on Heuristic Search and Domain Independent Planning ({HSDIP}'16) at ICAPS},

  Abstract                 = {Temporally extended goals are critical to the specification of a diversity of real-world planning problems. Here we examine the problem of planning with temporally extended goals over both finite and infinite traces where actions can be non-deterministic, and where temporally extended goals are specified in linear temporal logic (LTL). Unlike existing LTL planners, we place no restrictionson our LTL formulae beyond those necessary to distinguish finite from infinite trace interpretations. We realize our planner by compiling temporally extended goals, represented in LTL, into Planning Domain Definition Language problem instances, and exploiting a state-of-the-art fully observable non-deterministic planner to compute solutions. The resulting planner is sound and complete. Our approach exploits the correspondence between LTL and automata. We propose several different compilations based on translations of LTL to (Buchi) alternating or non-deterministic finite state automata, and evaluate various properties of the competing approaches. We address a diverse spectrum of LTL planning problems that, to this point, had not been solvable using AI planning techniques. We do so while demonstrating competitive performance relative to the state of the art in LTL planning.},
  Timestamp                = {2018.09.23},
  Url                      = {http://www.cs.toronto.edu/~sheila/publications/cam-etal-ltl-knowpros16.pdf}
}

Temporally extended goals are critical to the specification of a diversity of real-world planning problems. Here we examine the problem of planning with temporally extended goals over both finite and infinite traces where actions can be non-deterministic, and where temporally extended goals are specified in linear temporal logic (LTL). Unlike existing LTL planners, we place no restrictionson our LTL formulae beyond those necessary to distinguish finite from infinite trace interpretations. We realize our planner by compiling temporally extended goals, represented in LTL, into Planning Domain Definition Language problem instances, and exploiting a state-of-the-art fully observable non-deterministic planner to compute solutions. The resulting planner is sound and complete. Our approach exploits the correspondence between LTL and automata. We propose several different compilations based on translations of LTL to (Buchi) alternating or non-deterministic finite state automata, and evaluate various properties of the competing approaches. We address a diverse spectrum of LTL planning problems that, to this point, had not been solvable using AI planning techniques. We do so while demonstrating competitive performance relative to the state of the art in LTL planning.

@InProceedings{ill-mci-knowpros16,
  Title                    = {Numeric Planning via Search Space Abstraction},
  Author                   = {Leon Illanes and Sheila A. McIlraith},
  Booktitle                = {Proceedings of the Workshop on Knowledge-based Techniques for Problem Solving and Reasoning (KnowProS'16) at IJCAI},
  Year                     = {2016},

  Timestamp                = {2018.09.23}
}

@InProceedings{ill-mci-socs16,
  Title                    = {Numeric Planning via Search Space Abstraction (Extended Abstract)},
  Author                   = {Leon Illanes and Sheila A. McIlraith},
  Booktitle                = {Proceedings of Ninth Annual Symposium on Combinatorial Search (SoCS'16)},
  Year                     = {2016},

  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/kr/LakemeyerL16,
  Title                    = {Decidable Reasoning in a Logic of Limited Belief with Function Symbols},
  Author                   = {Gerhard Lakemeyer and
 Hector J. Levesque},
  Booktitle                = {Principles of Knowledge Representation and Reasoning: Proceedings
 of the Fifteenth International Conference, {KR} 2016, Cape Town, South
 Africa, April 25-29, 2016.},
  Year                     = {2016},
  Pages                    = {288--297},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/kr/LakemeyerL16},
  Timestamp                = {Thu, 21 Apr 2016 20:01:05 +0200},
  Url                      = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12912}
}

@InProceedings{luo-etal-kr16,
  Title                    = {Using Metric Temporal Logic to Specify Scheduling Problems},
  Author                   = {Roy Luo and
 Richard Anthony Valenzano and
 Yi Li and
 J. Christopher Beck and
 Sheila A. McIlraith},
  Booktitle                = {Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning ({KR 2016})},
  Year                     = {2016},
  Note                     = {See technical report for further details.},
  Pages                    = {581--584},

  Timestamp                = {2018.09.23},
  Url                      = {http://www.cs.toronto.edu/~sheila/publications/luo-etal-kr16.pdf}
}

@InProceedings{mombourquette-knowpros16-bf,
  Title                    = {Belief State Estimation for Planning via Approximate Logical Filtering and Smoothing},
  Author                   = {Brent Mombourquette and Christian Muise and Sheila A. McIlraith},
  Booktitle                = {Workshop on Knowledge-based techniques for problem solving and reasoning ({KnowProS}'16)},
  Year                     = {2016},

  Abstract                 = {State estimation is the task of estimating the state of a partially observable dynamical system given a sequence of executed actions and observations. In logical settings, state estimation can be realized via logical filtering. Unfortunately such filtering, though exact, can be intractable. To this end, we propose logical smoothing, a form of backwards reasoning that works in concert with logical filtering to refine past beliefs in light of new observations. We characterize the notion of logical smoothing together with an algorithm for backwards-forwards state estimation. We prove properties of our algorithms, and experimentally demonstrate their behaviour. Smoothing together with backwards-forwards reasoning are important techniques for reasoning about partially observable dynamical systems, introducing the logical analogue of effective techniques from control theory and dynamic programming},
  Timestamp                = {2018.09.23},
  Url                      = {http://ceur-ws.org/Vol-1648/paper8.pdf}
}

State estimation is the task of estimating the state of a partially observable dynamical system given a sequence of executed actions and observations. In logical settings, state estimation can be realized via logical filtering. Unfortunately such filtering, though exact, can be intractable. To this end, we propose logical smoothing, a form of backwards reasoning that works in concert with logical filtering to refine past beliefs in light of new observations. We characterize the notion of logical smoothing together with an algorithm for backwards-forwards state estimation. We prove properties of our algorithms, and experimentally demonstrate their behaviour. Smoothing together with backwards-forwards reasoning are important techniques for reasoning about partially observable dynamical systems, introducing the logical analogue of effective techniques from control theory and dynamic programming

@Article{jair-popgen,
  Title                    = {Optimal Partial-Order Plan Relaxation via MaxSAT},
  Author                   = {Christian Muise and J. Christopher Beck and Sheila A. McIlraith},
  Journal                  = {Journal of Artificial Intelligence Research (JAIR)},
  Year                     = {2016},
  Pages                    = {113 -- 149},
  Volume                   = {57},

  Abstract                 = {Partial-order plans (POPs) are attractive because of their least-commitment nature, which provides enhanced plan flexibility at execution time relative to sequential plans. Current research on automated plan generation focuses on producing sequential plans, despite the appeal of POPs. In this paper we examine POP generation by relaxing or modifying the action orderings of a sequential plan to optimize for plan criteria that promote flexibility. Our approach relies on a novel partial weighted MaxSAT encoding of a sequential plan that supports the minimization of deordering or reordering of actions. We further demonstrate how to remove redundant actions from the plan. Our partial weighted MaxSAT encoding allows us to compute a POP from a sequential plan effectively. We compare the efficiency of our approach to previous methods for POP generation via sequential-plan relaxation. Our results show that while an existing heuristic approach consistently produces the optimal deordering of a sequential plan, our approach has greater flexibility when we consider reordering the actions in the plan while also providing a guarantee of optimality. We also investigate and confirm the accuracy of the standard $\flex$ metric typically used to predict the true flexibility of a POP as measured by the number of linearizations it represents.},
  Timestamp                = {2018.09.23},
  Url                      = {http://www.jair.org/media/5128/live-5128-9534-jair.pdf}
}

Partial-order plans (POPs) are attractive because of their least-commitment nature, which provides enhanced plan flexibility at execution time relative to sequential plans. Current research on automated plan generation focuses on producing sequential plans, despite the appeal of POPs. In this paper we examine POP generation by relaxing or modifying the action orderings of a sequential plan to optimize for plan criteria that promote flexibility. Our approach relies on a novel partial weighted MaxSAT encoding of a sequential plan that supports the minimization of deordering or reordering of actions. We further demonstrate how to remove redundant actions from the plan. Our partial weighted MaxSAT encoding allows us to compute a POP from a sequential plan effectively. We compare the efficiency of our approach to previous methods for POP generation via sequential-plan relaxation. Our results show that while an existing heuristic approach consistently produces the optimal deordering of a sequential plan, our approach has greater flexibility when we consider reordering the actions in the plan while also providing a guarantee of optimality. We also investigate and confirm the accuracy of the standard $\flex$ metric typically used to predict the true flexibility of a POP as measured by the number of linearizations it represents.

@InProceedings{muise-beyondnp16-dsharp,
  Title                    = {{DSHARP}: Fast d-DNNF Compilation with sharpSAT (Amended Version)},
  Author                   = {Muise, Christian and McIlraith, Sheila A. and Beck, J.
Christopher and Hsu, Eric},
  Booktitle                = {AAAI-16 Workshop on Beyond NP},
  Year                     = {2016},

  Timestamp                = {2018.09.23},
  Url                      = {http://haz.ca/dsharp-related.html}
}

@InProceedings{DBLP:conf/atal/PerraultDB16,
  Title                    = {Strategy-Proofness in the Stable Matching Problem with Couples},
  Author                   = {Andrew Perrault and
 Joanna Drummond and
 Fahiem Bacchus},
  Booktitle                = {Proceedings of the 2016 International Conference on Autonomous Agents
 {\&} Multiagent Systems, Singapore, May 9-13, 2016},
  Year                     = {2016},
  Pages                    = {132--140},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/atal/PerraultDB16},
  Timestamp                = {Fri, 20 May 2016 20:33:29 +0200},
  Url                      = {http://dl.acm.org/citation.cfm?id=2936947}
}

@InProceedings{DBLP:conf/cav/BacchusK15,
  Title                    = {Using Minimal Correction Sets to More Efficiently Compute Minimal
 Unsatisfiable Sets},
  Author                   = {Fahiem Bacchus and
 George Katsirelos},
  Booktitle                = {Computer Aided Verification - 27th International Conference, {CAV}
 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
 {II}},
  Year                     = {2015},
  Pages                    = {70--86},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/cav/BacchusK15},
  Doi                      = {10.1007/978-3-319-21668-3\_5},
  Timestamp                = {Thu, 25 May 2017 01:00:00 +0200},
  Url                      = {https://doi.org/10.1007/978-3-319-21668-3\_5}
}

@InProceedings{DBLP:conf/ijcai/BelleL15a,
  Title                    = {{ALLEGRO:} Belief-Based Programming in Stochastic Dynamical Domains},
  Author                   = {Vaishak Belle and
 Hector J. Levesque},
  Booktitle                = {Proceedings of the Twenty-Fourth International Joint Conference on
 Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
 25-31, 2015},
  Year                     = {2015},
  Pages                    = {2762--2769},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/ijcai/BelleL15a},
  Timestamp                = {Wed, 20 Jul 2016 15:18:06 +0200},
  Url                      = {http://ijcai.org/Abstract/15/391}
}

@Article{DBLP:journals/japll/BelleL15,
  Title                    = {Robot location estimation in the situation calculus},
  Author                   = {Vaishak Belle and
 Hector J. Levesque},
  Journal                  = {J. Applied Logic},
  Year                     = {2015},
  Number                   = {4},
  Pages                    = {397--413},
  Volume                   = {13},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/journals/japll/BelleL15},
  Doi                      = {10.1016/j.jal.2015.02.004},
  Timestamp                = {Thu, 18 May 2017 01:00:00 +0200},
  Url                      = {https://doi.org/10.1016/j.jal.2015.02.004}
}

@Article{DBLP:journals/ai/BoutilierCHLPS15,
  Title                    = {Optimal social choice functions: {A} utilitarian view},
  Author                   = {Craig Boutilier and
 Ioannis Caragiannis and
 Simi Haber and
 Tyler Lu and
 Ariel D. Procaccia and
 Or Sheffet},
  Journal                  = {Artif. Intell.},
  Year                     = {2015},
  Pages                    = {190--213},
  Volume                   = {227},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/journals/ai/BoutilierCHLPS15},
  Doi                      = {10.1016/j.artint.2015.06.003},
  Timestamp                = {Sat, 27 May 2017 01:00:00 +0200},
  Url                      = {https://doi.org/10.1016/j.artint.2015.06.003}
}

@Article{DBLP:journals/dagstuhl-reports/BoutilierDMM15,
  Title                    = {Computational Social Choice: Theory and Applications (Dagstuhl Seminar
 15241)},
  Author                   = {Craig Boutilier and
 Britta Dorn and
 Nicolas Maudet and
 Vincent Merlin},
  Journal                  = {Dagstuhl Reports},
  Year                     = {2015},
  Number                   = {6},
  Pages                    = {1--27},
  Volume                   = {5},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/journals/dagstuhl-reports/BoutilierDMM15},
  Doi                      = {10.4230/DagRep.5.6.1},
  Timestamp                = {Wed, 07 Jun 2017 01:00:00 +0200},
  Url                      = {https://doi.org/10.4230/DagRep.5.6.1}
}

@InProceedings{cam-etal-hsdip15,
  Title                    = {From FOND to Probabilistic Planning: Guiding search for quality policies},
  Author                   = {Alberto Camacho and Christian Muise and Akshay Ganeshen and Sheila A. McIlraith},
  Booktitle                = {Workshop on Heuristic Search and Domain Independent Planning ({HSDIP}'15) at ICAPS},
  Year                     = {2015},

  Keywords                 = {non-deterministic planning, probabilistic planning, plan generation},
  Timestamp                = {2018.09.23},
  Url                      = {http://www.cs.toronto.edu/~sheila/publications/cam-etal-hsdip15.pdf}
}

@InProceedings{DBLP:conf/ijcai/DrummondPB15,
  Title                    = {{SAT} Is an Effective and Complete Method for Solving Stable Matching
 Problems with Couples},
  Author                   = {Joanna Drummond and
 Andrew Perrault and
 Fahiem Bacchus},
  Booktitle                = {Proceedings of the Twenty-Fourth International Joint Conference on
 Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
 25-31, 2015},
  Year                     = {2015},
  Pages                    = {518--525},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/ijcai/DrummondPB15},
  Timestamp                = {Wed, 20 Jul 2016 15:18:06 +0200},
  Url                      = {http://ijcai.org/Abstract/15/079}
}

@InProceedings{DBLP:conf/semweb/GiacomoL15,
  Title                    = {Adding DL-Lite TBoxes to Proper Knowledge Bases},
  Author                   = {Giuseppe {De Giacomo} and
 Hector J. Levesque},
  Booktitle                = {The Semantic Web - {ISWC} 2015 - 14th International Semantic Web Conference,
 Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part {I}},
  Year                     = {2015},
  Pages                    = {305--321},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/semweb/GiacomoL15},
  Doi                      = {10.1007/978-3-319-25007-6\_18},
  Timestamp                = {Mon, 05 Jun 2017 12:38:38 +0200},
  Url                      = {https://doi.org/10.1007/978-3-319-25007-6\_18}
}

@InProceedings{DBLP:conf/aaai/LevOBR15,
  Title                    = {The Pricing War Continues: On Competitive Multi-Item Pricing},
  Author                   = {Omer Lev and
 Joel Oren and
 Craig Boutilier and
 Jeffrey S. Rosenschein},
  Booktitle                = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
 January 25-30, 2015, Austin, Texas, {USA.}},
  Year                     = {2015},
  Pages                    = {972--978},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/aaai/LevOBR15},
  Timestamp                = {Sun, 12 Apr 2015 12:16:43 +0200},
  Url                      = {http://www.aaai.org/ocs/index.php/AAAI/AAAI15/paper/view/9587}
}

@InProceedings{DBLP:conf/lpar/LonsingBBES15,
  Title                    = {Enhancing Search-Based {QBF} Solving by Dynamic Blocked Clause Elimination},
  Author                   = {Florian Lonsing and
 Fahiem Bacchus and
 Armin Biere and
 Uwe Egly and
 Martina Seidl},
  Booktitle                = {Logic for Programming, Artificial Intelligence, and Reasoning - 20th
 International Conference, {LPAR-20} 2015, Suva, Fiji, November 24-28,
 2015, Proceedings},
  Year                     = {2015},
  Pages                    = {418--433},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/lpar/LonsingBBES15},
  Doi                      = {10.1007/978-3-662-48899-7\_29},
  Timestamp                = {Tue, 23 May 2017 01:12:10 +0200},
  Url                      = {https://doi.org/10.1007/978-3-662-48899-7\_29}
}

@InProceedings{DBLP:conf/aaai/LuB15,
  Title                    = {Value-Directed Compression of Large-Scale Assignment Problems},
  Author                   = {Tyler Lu and
 Craig Boutilier},
  Booktitle                = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
 January 25-30, 2015, Austin, Texas, {USA.}},
  Year                     = {2015},
  Pages                    = {1182--1190},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/aaai/LuB15},
  Timestamp                = {Sun, 12 Apr 2015 12:16:43 +0200},
  Url                      = {http://www.aaai.org/ocs/index.php/AAAI/AAAI15/paper/view/9557}
}

@InProceedings{mui-etal-aaai15,
  Title                    = {Planning Over Multi-Agent Epistemic States: A Classical Planning Approach},
  Author                   = {Christian Muise and Vaishak Belle and Paolo Felli and Sheila A. McIlraith and Tim Miller and Adrian R. Pearce and Liz Sonenberg},
  Booktitle                = {The 29th AAAI Conference on Artificial Intelligence (AAAI)},
  Year                     = {2015},

  Keywords                 = {multi-agent planning, epistemic reasoning},
  Timestamp                = {2018.09.23},
  Url                      = {http://www.cs.toronto.edu/~sheila/publications/mui-etal-aaai15.pdf}
}

@InProceedings{mui-etal-dmap15,
  Title                    = {Planning Over Multi-Agent Epistemic States: A Classical Planning Approach (Amended Version)},
  Author                   = {Christian Muise and Vaishak Belle and Paolo Felli and Sheila A. McIlraith and Tim Miller and Adrian R. Pearce and Liz Sonenberg},
  Booktitle                = {Workshop on Distributed and Multi-Agent Planning ({DMAP}'15) at ICAPS},
  Year                     = {2015},

  Keywords                 = {multi-agent planning, epistemic reasoning},
  Timestamp                = {2018.09.23},
  Url                      = {http://www.cs.toronto.edu/~sheila/publications/mui-etal-dmap15.pdf}
}

@InProceedings{DBLP:conf/ijcai/PerraultB15,
  Title                    = {Approximately Stable Pricing for Coordinated Purchasing of Electricity},
  Author                   = {Andrew Perrault and
 Craig Boutilier},
  Booktitle                = {Proceedings of the Twenty-Fourth International Joint Conference on
 Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
 25-31, 2015},
  Year                     = {2015},
  Pages                    = {2624--2631},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/ijcai/PerraultB15},
  Timestamp                = {Wed, 20 Jul 2016 15:18:06 +0200},
  Url                      = {http://ijcai.org/Abstract/15/372}
}

@InProceedings{DBLP:conf/recsys/Salehi-AbariB15,
  Title                    = {Preference-oriented Social Networks: Group Recommendation and Inference},
  Author                   = {Amirali Salehi{-}Abari and
 Craig Boutilier},
  Booktitle                = {Proceedings of the 9th {ACM} Conference on Recommender Systems, RecSys
 2015, Vienna, Austria, September 16-20, 2015},
  Year                     = {2015},
  Pages                    = {35--42},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/recsys/Salehi-AbariB15},
  Doi                      = {10.1145/2792838.2800190},
  Timestamp                = {Tue, 08 Sep 2015 12:58:09 +0200},
  Url                      = {http://doi.acm.org/10.1145/2792838.2800190}
}

@InProceedings{DBLP:conf/aldt/SuiB15,
  Title                    = {Optimal Group Manipulation in Facility Location Problems},
  Author                   = {Xin Sui and
 Craig Boutilier},
  Booktitle                = {Algorithmic Decision Theory - 4th International Conference, {ADT}
 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings},
  Year                     = {2015},
  Pages                    = {505--520},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/aldt/SuiB15},
  Doi                      = {10.1007/978-3-319-23114-3\_30},
  Timestamp                = {Tue, 23 May 2017 01:10:53 +0200},
  Url                      = {https://doi.org/10.1007/978-3-319-23114-3\_30}
}

@InProceedings{DBLP:conf/atal/SuiB15,
  Title                    = {Approximately Strategy-proof Mechanisms for (Constrained) Facility
 Location},
  Author                   = {Xin Sui and
 Craig Boutilier},
  Booktitle                = {Proceedings of the 2015 International Conference on Autonomous Agents
 and Multiagent Systems, {AAMAS} 2015, Istanbul, Turkey, May 4-8, 2015},
  Year                     = {2015},
  Pages                    = {605--613},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/atal/SuiB15},
  Timestamp                = {Fri, 15 May 2015 16:18:42 +0200},
  Url                      = {http://dl.acm.org/citation.cfm?id=2773233}
}

@InProceedings{tri-etal-mochap15,
  Title                    = {A Unifying Framework for Planning with LTL and Regular Expressions},
  Author                   = {Eleni Triantafillou and Jorge Baier and Sheila McIlraith},
  Booktitle                = {Proceedings of the Workshop on Model-Checking and Automated Planning (MOCHAP) at ICAPS},
  Year                     = {2015},
  Pages                    = {23-31},

  Keywords                 = {planning, LTL, LDL},
  Timestamp                = {2018.09.23},
  Url                      = {http://www.cs.toronto.edu/~sheila/publications/tri-etal-mochap15.pdf}
}

@InProceedings{yoon-etal-icdcs15,
  Title                    = {Towards Planning the Transformation of Overlays},
  Author                   = {Young Yoon and
 Nathan Robinson and
 Vinod Muthusamy and
 Sheila A. McIlraith and
 Hans{-}Arno Jacobsen},
  Booktitle                = {35th {IEEE} International Conference on Distributed Computing Systems,
 ({ICDCS})},
  Year                     = {2015},
  Pages                    = {782--783},

  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/aaai/BacchusDTK14,
  Title                    = {Relaxation Search: {A} Simple Way of Managing Optional Clauses},
  Author                   = {Fahiem Bacchus and
 Jessica Davies and
 Maria Tsimpoukelli and
 George Katsirelos},
  Booktitle                = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
 July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada.},
  Year                     = {2014},
  Pages                    = {835--841},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/aaai/BacchusDTK14},
  Timestamp                = {Thu, 31 Jul 2014 08:59:54 +0200},
  Url                      = {http://www.aaai.org/ocs/index.php/AAAI/AAAI14/paper/view/8618}
}

@InProceedings{DBLP:conf/sat/BacchusN14,
  Title                    = {Cores in Core Based MaxSat Algorithms: An Analysis},
  Author                   = {Fahiem Bacchus and
 Nina Narodytska},
  Booktitle                = {Theory and Applications of Satisfiability Testing - {SAT} 2014 - 17th
 International Conference, Held as Part of the Vienna Summer of Logic,
 {VSL} 2014, Vienna, Austria, July 14-17, 2014. Proceedings},
  Year                     = {2014},
  Pages                    = {7--15},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/sat/BacchusN14},
  Doi                      = {10.1007/978-3-319-09284-3\_2},
  Timestamp                = {Tue, 23 May 2017 01:08:19 +0200},
  Url                      = {https://doi.org/10.1007/978-3-319-09284-3\_2}
}

@InProceedings{bai-mom-mci-kr14,
  Title                    = {Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals},
  Author                   = {Jorge A. Baier and Brent Mombourquette and Sheila A. McIlraith},
  Booktitle                = {Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR)},
  Year                     = {2014},

  Timestamp                = {2018.09.23},
  Url                      = {http://www.cs.toronto.edu/~sheila/publications/bai-mom-mci-kr14.pdf}
}

@InProceedings{DBLP:conf/aaai/BelleL14,
  Title                    = {{PREGO:} An Action Language for Belief-Based Cognitive Robotics in
 Continuous Domains},
  Author                   = {Vaishak Belle and
 Hector J. Levesque},
  Booktitle                = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
 July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada.},
  Year                     = {2014},
  Pages                    = {989--995},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/aaai/BelleL14},
  Timestamp                = {Thu, 31 Jul 2014 08:59:54 +0200},
  Url                      = {http://www.aaai.org/ocs/index.php/AAAI/AAAI14/paper/view/8453}
}

@InProceedings{DBLP:conf/atal/BelleL14,
  Title                    = {A logical theory of robot localization},
  Author                   = {Vaishak Belle and
 Hector J. Levesque},
  Booktitle                = {International conference on Autonomous Agents and Multi-Agent Systems,
 {AAMAS} '14, Paris, France, May 5-9, 2014},
  Year                     = {2014},
  Pages                    = {349--356},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/atal/BelleL14},
  Timestamp                = {Thu, 25 Sep 2014 07:46:15 +0200},
  Url                      = {http://dl.acm.org/citation.cfm?id=2615789}
}

@InProceedings{DBLP:conf/kr/BelleL14,
  Title                    = {How to Progress Beliefs in Continuous Domains},
  Author                   = {Vaishak Belle and
 Hector J. Levesque},
  Booktitle                = {Principles of Knowledge Representation and Reasoning: Proceedings
 of the Fourteenth International Conference, {KR} 2014, Vienna, Austria,
 July 20-24, 2014},
  Year                     = {2014},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/kr/BelleL14},
  Timestamp                = {Thu, 31 Jul 2014 10:24:17 +0200},
  Url                      = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7998}
}

@InProceedings{DBLP:conf/aaai/BoutilierLOP14,
  Title                    = {Robust Winners and Winner Determination Policies under Candidate Uncertainty},
  Author                   = {Craig Boutilier and
 J{\'{e}}r{\^{o}}me Lang and
 Joel Oren and
 H{\'{e}}ctor Palacios},
  Booktitle                = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
 July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada.},
  Year                     = {2014},
  Pages                    = {1391--1397},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/aaai/BoutilierLOP14},
  Timestamp                = {Thu, 31 Jul 2014 08:59:54 +0200},
  Url                      = {http://www.aaai.org/ocs/index.php/AAAI/AAAI14/paper/view/8648}
}

@InProceedings{DBLP:conf/aaai/DrummondB14,
  Title                    = {Preference Elicitation and Interview Minimization in Stable Matchings},
  Author                   = {Joanna Drummond and
 Craig Boutilier},
  Booktitle                = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
 July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada.},
  Year                     = {2014},
  Pages                    = {645--653},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/aaai/DrummondB14},
  Timestamp                = {Thu, 31 Jul 2014 08:59:54 +0200},
  Url                      = {http://www.aaai.org/ocs/index.php/AAAI/AAAI14/paper/view/8585}
}

@InProceedings{DBLP:conf/kr/LakemeyerL14,
  Title                    = {Decidable Reasoning in a Fragment of the Epistemic Situation Calculus},
  Author                   = {Gerhard Lakemeyer and
 Hector J. Levesque},
  Booktitle                = {Principles of Knowledge Representation and Reasoning: Proceedings
 of the Fourteenth International Conference, {KR} 2014, Vienna, Austria,
 July 20-24, 2014},
  Year                     = {2014},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/kr/LakemeyerL14},
  Timestamp                = {Thu, 31 Jul 2014 10:24:17 +0200},
  Url                      = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7990}
}

@Article{DBLP:journals/ai/Levesque14,
  Title                    = {On our best behaviour},
  Author                   = {Hector J. Levesque},
  Journal                  = {Artif. Intell.},
  Year                     = {2014},
  Pages                    = {27--35},
  Volume                   = {212},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/journals/ai/Levesque14},
  Doi                      = {10.1016/j.artint.2014.03.007},
  Timestamp                = {Sat, 27 May 2017 01:00:00 +0200},
  Url                      = {https://doi.org/10.1016/j.artint.2014.03.007}
}

@InCollection{DBLP:books/daglib/p/0001L14,
  Title                    = {Incorporating Action Models into the Situation Calculus},
  Author                   = {Yongmei Liu and
 Hector J. Levesque},
  Booktitle                = {Johan van Benthem on Logic and Information Dynamics},
  Year                     = {2014},
  Pages                    = {569--590},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/books/daglib/p/0001L14},
  Doi                      = {10.1007/978-3-319-06025-5\_21},
  Timestamp                = {Tue, 16 May 2017 14:01:33 +0200},
  Url                      = {https://doi.org/10.1007/978-3-319-06025-5\_21}
}

@Article{DBLP:journals/jmlr/LuB14,
  Title                    = {Effective sampling and learning for mallows models with pairwise-preference
 data},
  Author                   = {Tyler Lu and
 Craig Boutilier},
  Journal                  = {Journal of Machine Learning Research},
  Year                     = {2014},
  Number                   = {1},
  Pages                    = {3783--3829},
  Volume                   = {15},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/journals/jmlr/LuB14},
  Timestamp                = {Mon, 27 Apr 2015 01:00:00 +0200},
  Url                      = {http://dl.acm.org/citation.cfm?id=2750366}
}

@Article{DBLP:journals/ai/MeirLTB14,
  Title                    = {On the value of using group discounts under price competition},
  Author                   = {Reshef Meir and
 Tyler Lu and
 Moshe Tennenholtz and
 Craig Boutilier},
  Journal                  = {Artif. Intell.},
  Year                     = {2014},
  Pages                    = {163--178},
  Volume                   = {216},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/journals/ai/MeirLTB14},
  Doi                      = {10.1016/j.artint.2014.07.002},
  Timestamp                = {Sat, 27 May 2017 01:00:00 +0200},
  Url                      = {https://doi.org/10.1016/j.artint.2014.07.002}
}

@InProceedings{mui-bel-mci-aaai14,
  Title                    = {Computing Contingent Plans via Fully Observable Non-Deterministic Planning},
  Author                   = {Muise, Christian and Belle, Vaishak and McIlraith, Sheila A.},
  Booktitle                = {The 28th AAAI Conference on Artificial Intelligence (AAAI)},
  Year                     = {2014},

  Keywords                 = {non-deterministic planning, plan generation, partial observability, sensing},
  Timestamp                = {2018.09.23},
  Url                      = {http://www.cs.toronto.edu/~sheila/publications/mui-bel-mci-aaai14.pdf}
}

@InProceedings{mui-mci-bel-icaps14,
  Title                    = {Non-Deterministic Planning With Conditional Effects},
  Author                   = {Muise, Christian and McIlraith, Sheila A. and Belle, Vaishak},
  Booktitle                = {The 24th International Conference on Automated Planning and Scheduling (ICAPS)},
  Year                     = {2014},

  Keywords                 = {non-deterministic planning, plan generation},
  Timestamp                = {2018.09.23},
  Url                      = {http://www.cs.toronto.edu/~sheila/publications/mui-mci-bel-icaps14.pdf}
}

@InProceedings{DBLP:conf/aaai/NarodytskaB14,
  Title                    = {Maximum Satisfiability Using Core-Guided MaxSAT Resolution},
  Author                   = {Nina Narodytska and
 Fahiem Bacchus},
  Booktitle                = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
 July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada.},
  Year                     = {2014},
  Pages                    = {2717--2723},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/aaai/NarodytskaB14},
  Timestamp                = {Thu, 31 Jul 2014 08:59:54 +0200},
  Url                      = {http://www.aaai.org/ocs/index.php/AAAI/AAAI14/paper/view/8513}
}

@InProceedings{DBLP:conf/cav/NarodytskaLBRW14,
  Title                    = {Solving Games without Controllable Predecessor},
  Author                   = {Nina Narodytska and
 Alexander Legg and
 Fahiem Bacchus and
 Leonid Ryzhyk and
 Adam Walker},
  Booktitle                = {Computer Aided Verification - 26th International Conference, {CAV}
 2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
 Austria, July 18-22, 2014. Proceedings},
  Year                     = {2014},
  Pages                    = {533--540},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/cav/NarodytskaLBRW14},
  Doi                      = {10.1007/978-3-319-08867-9\_35},
  Timestamp                = {Thu, 25 May 2017 01:00:00 +0200},
  Url                      = {https://doi.org/10.1007/978-3-319-08867-9\_35}
}

@InProceedings{DBLP:conf/aaai/NguyenYATB14,
  Title                    = {Regret-Based Optimization and Preference Elicitation for Stackelberg
 Security Games with Uncertainty},
  Author                   = {Thanh Hong Nguyen and
 Amulya Yadav and
 Bo An and
 Milind Tambe and
 Craig Boutilier},
  Booktitle                = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
 July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada.},
  Year                     = {2014},
  Pages                    = {756--762},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/aaai/NguyenYATB14},
  Timestamp                = {Thu, 31 Jul 2014 08:59:54 +0200},
  Url                      = {http://www.aaai.org/ocs/index.php/AAAI/AAAI14/paper/view/8346}
}

@InProceedings{DBLP:conf/aaai/OrenNB14,
  Title                    = {A Game-Theoretic Analysis of Catalog Optimization},
  Author                   = {Joel Oren and
 Nina Narodytska and
 Craig Boutilier},
  Booktitle                = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
 July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada.},
  Year                     = {2014},
  Pages                    = {1463--1470},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/aaai/OrenNB14},
  Timestamp                = {Thu, 31 Jul 2014 08:59:54 +0200},
  Url                      = {http://www.aaai.org/ocs/index.php/AAAI/AAAI14/paper/view/8434}
}

@InProceedings{DBLP:conf/atal/PerraultB14,
  Title                    = {Efficient coordinated power distribution on private infrastructure},
  Author                   = {Andrew Perrault and
 Craig Boutilier},
  Booktitle                = {International conference on Autonomous Agents and Multi-Agent Systems,
 {AAMAS} '14, Paris, France, May 5-9, 2014},
  Year                     = {2014},
  Pages                    = {805--812},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/atal/PerraultB14},
  Timestamp                = {Thu, 25 Sep 2014 07:46:15 +0200},
  Url                      = {http://dl.acm.org/citation.cfm?id=2615861}
}

@InProceedings{DBLP:conf/kr/RajaratnamLPT14,
  Title                    = {Forgetting in Action},
  Author                   = {David Rajaratnam and
 Hector J. Levesque and
 Maurice Pagnucco and
 Michael Thielscher},
  Booktitle                = {Principles of Knowledge Representation and Reasoning: Proceedings
 of the Fourteenth International Conference, {KR} 2014, Vienna, Austria,
 July 20-24, 2014},
  Year                     = {2014},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/kr/RajaratnamLPT14},
  Timestamp                = {Thu, 31 Jul 2014 10:24:17 +0200},
  Url                      = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7983}
}

@Article{raz-far-mci-sttt14,
  Title                    = {Generating effective tests for concurrent programs via {AI} automated
 planning techniques},
  Author                   = {Niloofar Razavi and
 Azadeh Farzan and
 Sheila A. McIlraith},
  Journal                  = {International Journal on Software Tools for Technology Transfer ({STTT})},
  Year                     = {2014},
  Number                   = {1},
  Pages                    = {49--65},
  Volume                   = {16},

  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/atal/Salehi-AbariB14,
  Title                    = {Empathetic social choice on social networks},
  Author                   = {Amirali Salehi{-}Abari and
 Craig Boutilier},
  Booktitle                = {International conference on Autonomous Agents and Multi-Agent Systems,
 {AAMAS} '14, Paris, France, May 5-9, 2014},
  Year                     = {2014},
  Pages                    = {693--700},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/atal/Salehi-AbariB14},
  Timestamp                = {Thu, 25 Sep 2014 07:46:15 +0200},
  Url                      = {http://dl.acm.org/citation.cfm?id=2615843}
}

@InProceedings{bellelev13,
  Title                    = {Reasoning about Continuous Uncertainty in the Situation Calculus},
  Author                   = {V. Belle and H. J. Levesque},
  Booktitle                = {Proc. IJCAI},
  Year                     = {2013},

  Bdsk-url-1               = {http://d.pr/f/dcy6},
  Date-added               = {2013-05-09 18:21:09 -0400},
  Date-modified            = {2013-06-10 15:31:43 -0400},
  Timestamp                = {2018.09.23},
  Url                      = {https://dl.dropboxusercontent.com/u/1282419/Papers/ijcai13.pdf}
}

@InProceedings{bellelevcs,
  Title                    = {Robot Location Estimation in the Situation Calculus},
  Author                   = {V. Belle and H. J. Levesque},
  Booktitle                = {Symposium on Logical Formalizations of Commonsense Reasoning},
  Year                     = {2013},

  Bdsk-url-1               = {http://d.pr/f/z2Jd},
  Date-added               = {2013-05-09 18:21:09 -0400},
  Date-modified            = {2013-06-10 15:34:21 -0400},
  Timestamp                = {2018.09.23},
  Url                      = {https://dl.dropboxusercontent.com/u/1282419/Papers/commonsense13.pdf}
}

@InProceedings{BelleLevreg,
  Title                    = {Reasoning about Probabilities in Dynamic Systems using Goal Regression},
  Author                   = {V. Belle and H. J. Levesque},
  Booktitle                = {Proc. Uncertainty in Artificial Intelligence (UAI)},
  Year                     = {2013},

  Bdsk-url-1               = {http://d.pr/f/z2Jd},
  Date-added               = {2013-05-09 18:21:09 -0400},
  Date-modified            = {2013-06-10 15:33:56 -0400},
  Timestamp                = {2018.09.23},
  Url                      = {https://dl.dropboxusercontent.com/u/1282419/Papers/uai13.pdf}
}

@InProceedings{bellevmotionkinematics,
  Title                    = {Reasoning about Motion Kinematics with Continuous Uncertainty in the Situation Calculus},
  Author                   = {V. Belle and H. J. Levesque},
  Booktitle                = {Workshop on Nonmonotonic Reasoning, Action and Change},
  Year                     = {2013},

  Bdsk-url-1               = {http://d.pr/f/A7Uy},
  Date-added               = {2013-05-23 10:48:57 -0400},
  Date-modified            = {2013-06-10 15:35:32 -0400},
  Timestamp                = {2018.09.23},
  Url                      = {https://dl.dropboxusercontent.com/u/1282419/Papers/nrac13.pdf}
}

@InProceedings{DBLP:conf/cp/DaviesB13,
  Title                    = {Postponing Optimization to Speed Up {MAXSAT} Solving},
  Author                   = {Jessica Davies and
 Fahiem Bacchus},
  Booktitle                = {Principles and Practice of Constraint Programming - 19th International
 Conference, {CP} 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings},
  Year                     = {2013},
  Pages                    = {247--262},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/cp/DaviesB13},
  Doi                      = {10.1007/978-3-642-40627-0\_21},
  Timestamp                = {Tue, 26 Dec 2017 15:02:23 +0100},
  Url                      = {https://doi.org/10.1007/978-3-642-40627-0\_21}
}

@InProceedings{DBLP:conf/sat/DaviesB13,
  Title                    = {Exploiting the Power of mip Solvers in maxsat},
  Author                   = {Jessica Davies and
 Fahiem Bacchus},
  Booktitle                = {Theory and Applications of Satisfiability Testing - {SAT} 2013 - 16th
 International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings},
  Year                     = {2013},
  Pages                    = {166--181},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/sat/DaviesB13},
  Doi                      = {10.1007/978-3-642-39071-5\_13},
  Timestamp                = {Thu, 15 Jun 2017 21:39:14 +0200},
  Url                      = {https://doi.org/10.1007/978-3-642-39071-5\_13}
}

@InProceedings{dav-bai-mci-aaai13,
  Title                    = {Assumption-Based Planning: Generating Plans and Explanations
 under Incomplete Knowledge},
  Author                   = {Sammy Davis-Mendelow and
 Jorge A. Baier and
 Sheila A. McIlraith},
  Booktitle                = {Proceedings of the Twenty-Seventh AAAI Conference on Artificial
 Intelligence (AAAI)},
  Year                     = {2013},

  Timestamp                = {2018.09.23},
  Url                      = {http://www.cs.toronto.edu/~sheila/publications/dav-bai-mci-aaai13.pdf}
}

@InProceedings{DBLP:conf/ijcai/DelgrandeL13,
  Title                    = {A Formal Account of Nondeterministic and Failed Actions},
  Author                   = {James P. Delgrande and
 Hector J. Levesque},
  Booktitle                = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
 on Artificial Intelligence, Beijing, China, August 3-9, 2013},
  Year                     = {2013},
  Pages                    = {861--868},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/ijcai/DelgrandeL13},
  Timestamp                = {Wed, 20 Jul 2016 15:16:56 +0200},
  Url                      = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6661}
}

@InProceedings{DBLP:conf/cp/DelisleB13,
  Title                    = {Solving Weighted CSPs by Successive Relaxations},
  Author                   = {Erin Delisle and
 Fahiem Bacchus},
  Booktitle                = {Principles and Practice of Constraint Programming - 19th International
 Conference, {CP} 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings},
  Year                     = {2013},
  Pages                    = {273--281},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/cp/DelisleB13},
  Doi                      = {10.1007/978-3-642-40627-0\_23},
  Timestamp                = {Tue, 26 Dec 2017 15:02:23 +0100},
  Url                      = {https://doi.org/10.1007/978-3-642-40627-0\_23}
}

@InProceedings{drummond2013elicitation,
  Title                    = {Elicitation and Approximately Stable Matching with Partial Preferences},
  Author                   = {Drummond, Joanna and Boutilier, Craig},
  Booktitle                = {Proceedings of the Twenty-third International Joint Conference on Artificial Intelligence (IJCAI-13), Beijing},
  Year                     = {2013},
  Pages                    = {97--105},

  Timestamp                = {2018.09.23},
  Url                      = {http://www.cs.toronto.edu/~cebly/Papers/DrummondBoutilier_MatchingMMR_ijcai13.pdf}
}

@InProceedings{DBLP:conf/sat/GoultiaevaB13,
  Title                    = {Recovering and Utilizing Partial Duality in {QBF}},
  Author                   = {Alexandra Goultiaeva and
 Fahiem Bacchus},
  Booktitle                = {Theory and Applications of Satisfiability Testing - {SAT} 2013 - 16th
 International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings},
  Year                     = {2013},
  Pages                    = {83--99},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/sat/GoultiaevaB13},
  Doi                      = {10.1007/978-3-642-39071-5\_8},
  Timestamp                = {Thu, 15 Jun 2017 21:39:14 +0200},
  Url                      = {https://doi.org/10.1007/978-3-642-39071-5\_8}
}

@InProceedings{gue-pol-mci-iswc13,
  Title                    = {{SPARQL} with Qualitative and Quantitative Preferences},
  Author                   = {Marina Gueroussova and Axel Polleres and Sheila A. McIlraith},
  Booktitle                = {Proceedings of the 2nd International Workshop on Ordering and Reasoning},
  Year                     = {2013},

  Timestamp                = {2018.09.23}
}

@InProceedings{klebanovsat,
  Title                    = {{SAT-based Analysis and Quantification of Information Flow in Programs}},
  Author                   = {Klebanov, Vladimir and Manthey, Norbert and Muise, Christian},
  Booktitle                = {10th International Conference on Quantitative Evaluation of SysTems (QEST 2013)},
  Year                     = {2013},
  Pages                    = {177--192},

  Timestamp                = {2018.09.23},
  Url                      = {http://formal.iti.kit.edu/~klebanov/pubs/qest2013.pdf}
}

@InProceedings{DBLP:conf/ijcai/LakemeyerL13,
  Title                    = {Decidable Reasoning in a Logic of Limited Belief with Introspection
 and Unknown Individuals},
  Author                   = {Gerhard Lakemeyer and
 Hector J. Levesque},
  Booktitle                = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
 on Artificial Intelligence, Beijing, China, August 3-9, 2013},
  Year                     = {2013},
  Pages                    = {969--975},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/ijcai/LakemeyerL13},
  Timestamp                = {Wed, 20 Jul 2016 15:16:56 +0200},
  Url                      = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6638}
}

@InProceedings{DBLP:conf/ijcai/LuB13,
  Title                    = {Multi-Winner Social Choice with Incomplete Preferences},
  Author                   = {Tyler Lu and
 Craig Boutilier},
  Booktitle                = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
 on Artificial Intelligence, Beijing, China, August 3-9, 2013},
  Year                     = {2013},
  Pages                    = {263--270},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/ijcai/LuB13},
  Timestamp                = {Wed, 20 Jul 2016 15:16:56 +0200},
  Url                      = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6717}
}

@InProceedings{DBLP:conf/aaai/MeirLTB13,
  Title                    = {On the Value of Using Group Discounts under Price Competition},
  Author                   = {Reshef Meir and
 Tyler Lu and
 Moshe Tennenholtz and
 Craig Boutilier},
  Booktitle                = {Proceedings of the Twenty-Seventh {AAAI} Conference on Artificial
 Intelligence, July 14-18, 2013, Bellevue, Washington, {USA.}},
  Year                     = {2013},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/aaai/MeirLTB13},
  Timestamp                = {Tue, 17 Dec 2013 19:26:12 +0100},
  Url                      = {http://www.aaai.org/ocs/index.php/AAAI/AAAI13/paper/view/6386}
}

@InProceedings{mui-bec-mci-icaps13,
  Title                    = {Flexible Execution of Partial Order Plans With Temporal Constraints},
  Author                   = {Christian Muise and J. Christopher Beck and Sheila A. McIlraith},
  Booktitle                = {Proceedings of the Workshop on Planning in Continuous Domains},
  Year                     = {2013},

  Timestamp                = {2018.09.23}
}

@InProceedings{muise-ijcai-13,
  Title                    = {{Flexible Execution of Partial Order Plans With Temporal Constraints}},
  Author                   = {Muise, Christian and Beck, J. Christopher and Mcilraith, Sheila A.},
  Booktitle                = {International Joint Conference On Artificial Intelligence},
  Year                     = {2013},
  Pages                    = {2328--2335},

  Timestamp                = {2018.09.23},
  Url                      = {http://ijcai.org/papers13/Papers/IJCAI13-343.pdf}
}

@InProceedings{mui-bec-mci-ijcai13,
  Title                    = {Flexible Execution of Partial Order Plans With Temporal
 Constraints},
  Author                   = {Christian J. Muise and
 J. Christopher Beck and
 Sheila A. McIlraith},
  Booktitle                = {Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI)},
  Year                     = {2013},

  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/ijcai/OrenFB13,
  Title                    = {Efficient Vote Elicitation under Candidate Uncertainty},
  Author                   = {Joel Oren and
 Yuval Filmus and
 Craig Boutilier},
  Booktitle                = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
 on Artificial Intelligence, Beijing, China, August 3-9, 2013},
  Year                     = {2013},
  Pages                    = {309--316},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/ijcai/OrenFB13},
  Timestamp                = {Wed, 20 Jul 2016 15:16:56 +0200},
  Url                      = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6710}
}

@InProceedings{rob-mci-tom-icaps13,
  Title                    = {Query Optimization Revisited: An AI Planning Perspective},
  Author                   = {Nathan Robinson and Sheila A. McIlraith and David Toman},
  Booktitle                = {Proceedings of the Scheduling and Planning Applications
 Workshop (SPARK)},
  Year                     = {2013},

  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/ijcai/SuiBS13,
  Title                    = {Analysis and Optimization of Multi-Dimensional Percentile Mechanisms},
  Author                   = {Xin Sui and
 Craig Boutilier and
 Tuomas Sandholm},
  Booktitle                = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
 on Artificial Intelligence, Beijing, China, August 3-9, 2013},
  Year                     = {2013},
  Pages                    = {367--374},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/ijcai/SuiBS13},
  Timestamp                = {Wed, 20 Jul 2016 15:16:56 +0200},
  Url                      = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6679}
}

@InProceedings{DBLP:conf/ijcai/SuiFB13,
  Title                    = {Multi-Dimensional Single-Peaked Consistency and Its Approximations},
  Author                   = {Xin Sui and
 Alex Francois{-}Nienaber and
 Craig Boutilier},
  Booktitle                = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
 on Artificial Intelligence, Beijing, China, August 3-9, 2013},
  Year                     = {2013},
  Pages                    = {375--382},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/ijcai/SuiFB13},
  Timestamp                = {Wed, 20 Jul 2016 15:16:56 +0200},
  Url                      = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6720}
}

@Article{DBLP:journals/ai/VassosL13,
  Title                    = {How to progress a database {III}},
  Author                   = {Stavros Vassos and
 Hector J. Levesque},
  Journal                  = {Artif. Intell.},
  Year                     = {2013},
  Pages                    = {203--221},
  Volume                   = {195},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/journals/ai/VassosL13},
  Doi                      = {10.1016/j.artint.2012.10.005},
  Timestamp                = {Mon, 05 Jun 2017 01:00:00 +0200},
  Url                      = {https://doi.org/10.1016/j.artint.2012.10.005}
}

@Article{DBLP:journals/corr/abs-1212-2452,
  Title                    = {Value Elimination: Bayesian Inference via Backtracking Search},
  Author                   = {Fahiem Bacchus and
 Shannon Dalmao and
 Toniann Pitassi},
  Journal                  = {CoRR},
  Year                     = {2012},
  Volume                   = {abs/1212.2452},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://arxiv.org/abs/1212.2452},
  Timestamp                = {2018.09.23}
}

@Article{DBLP:journals/corr/abs-1208-5159,
  Title                    = {Proceedings of the Twenty-First Conference on Uncertainty
 in Artificial Intelligence (2005)},
  Author                   = {Fahiem Bacchus and
 Tommi Jaakkola},
  Journal                  = {CoRR},
  Year                     = {2012},
  Volume                   = {abs/1208.5159},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://arxiv.org/abs/1208.5159},
  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/aamas/Boutilier12,
  Title                    = {Eliciting forecasts from self-interested experts: scoring rules for
 decision makers},
  Author                   = {Craig Boutilier},
  Booktitle                = {International Conference on Autonomous Agents and Multiagent Systems,
 {AAMAS} 2012, Valencia, Spain, June 4-8, 2012 {(3} Volumes)},
  Year                     = {2012},
  Pages                    = {737--744},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/aamas/Boutilier12},
  Timestamp                = {Thu, 19 Mar 2015 00:00:00 +0100},
  Url                      = {http://dl.acm.org/citation.cfm?id=2343802}
}

@InProceedings{DBLP:conf/sigecom/BoutilierCHLPS12,
  Title                    = {Optimal social choice functions: a utilitarian view},
  Author                   = {Craig Boutilier and
 Ioannis Caragiannis and
 Simi Haber and
 Tyler Lu and
 Ariel D. Procaccia and
 Or Sheffet},
  Booktitle                = {ACM Conference on Electronic Commerce, EC '12, Valencia,
 Spain, June 4-8, 2012},
  Year                     = {2012},
  Pages                    = {197-214},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://doi.acm.org/10.1145/2229012.2229030},
  Timestamp                = {2018.09.23}
}

@Article{DBLP:journals/corr/abs-1212-2443,
  Title                    = {Cooperative Negotiation in Autonomic Systems using Incremental
 Utility Elicitation},
  Author                   = {Craig Boutilier and
 Rajarshi Das and
 Jeffrey O. Kephart and
 Gerald Tesauro and
 William E. Walsh},
  Journal                  = {CoRR},
  Year                     = {2012},
  Volume                   = {abs/1212.2443},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://arxiv.org/abs/1212.2443},
  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/aaai/BoutilierP12,
  Title                    = {A Dynamic Rationalization of Distance Rationalizability},
  Author                   = {Craig Boutilier and
 Ariel D. Procaccia},
  Booktitle                = {Proceedings of the Twenty-Sixth AAAI Conference on Artificial
 Intelligence, July 22-26, 2012, Toronto, Ontario, Canada},
  Year                     = {2012},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI12/paper/view/4930},
  Timestamp                = {2018.09.23}
}

@Article{DBLP:journals/corr/abs-1212-2442,
  Title                    = {Active Collaborative Filtering},
  Author                   = {Craig Boutilier and
 Richard S. Zemel and
 Benjamin M. Marlin},
  Journal                  = {CoRR},
  Year                     = {2012},
  Volume                   = {abs/1212.2442},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://arxiv.org/abs/1212.2442},
  Timestamp                = {2018.09.23}
}

@Article{DBLP:journals/corr/abs-1206-5255,
  Title                    = {Minimax regret based elicitation of generalized additive
 utilities},
  Author                   = {Darius Braziunas and
 Craig Boutilier},
  Journal                  = {CoRR},
  Year                     = {2012},
  Volume                   = {abs/1206.5255},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://arxiv.org/abs/1206.5255},
  Timestamp                = {2018.09.23}
}

@Article{DBLP:journals/corr/abs-1207-1361,
  Title                    = {Local Utility Elicitation in GAI Models},
  Author                   = {Darius Braziunas and
 Craig Boutilier},
  Journal                  = {CoRR},
  Year                     = {2012},
  Volume                   = {abs/1207.1361},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://arxiv.org/abs/1207.1361},
  Timestamp                = {2018.09.23}
}

@Article{DBLP:journals/aamas/ChalkiadakisB12,
  Title                    = {Sequentially optimal repeated coalition formation under
 uncertainty},
  Author                   = {Georgios Chalkiadakis and
 Craig Boutilier},
  Journal                  = {Autonomous Agents and Multi-Agent Systems},
  Year                     = {2012},
  Number                   = {3},
  Pages                    = {441-484},
  Volume                   = {24},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://dx.doi.org/10.1007/s10458-010-9157-y},
  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/icml/CharlinZB12,
  Title                    = {Active Learning for Matching Problems},
  Author                   = {Laurent Charlin and
 Richard S. Zemel and
 Craig Boutilier},
  Booktitle                = {Proceedings of the 29th International Conference on Machine Learning,
 {ICML} 2012, Edinburgh, Scotland, UK, June 26 - July 1, 2012},
  Year                     = {2012},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/icml/CharlinZB12},
  Timestamp                = {Wed, 29 Mar 2017 16:45:25 +0200},
  Url                      = {http://icml.cc/2012/papers/197.pdf}
}

@Article{DBLP:journals/corr/abs-1202-3706,
  Title                    = {A Framework for Optimizing Paper Matching},
  Author                   = {Laurent Charlin and
 Richard S. Zemel and
 Craig Boutilier},
  Journal                  = {CoRR},
  Year                     = {2012},
  Volume                   = {abs/1202.3706},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://arxiv.org/abs/1202.3706},
  Timestamp                = {2018.09.23}
}

@Article{DBLP:journals/corr/abs-1206-4647,
  Title                    = {Active Learning for Matching Problems},
  Author                   = {Laurent Charlin and
 Richard S. Zemel and
 Craig Boutilier},
  Journal                  = {CoRR},
  Year                     = {2012},
  Volume                   = {abs/1206.4647},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://arxiv.org/abs/1206.4647},
  Timestamp                = {2018.09.23}
}

@InProceedings{dav-bai-mci-aaai12,
  Title                    = {Making Reasonable Assumptions to Plan with Incomplete Information (Abridged Report)},
  Author                   = {Sammy Davis-Mendelow and Jorge Baier and Sheila A. McIlraith},
  Booktitle                = {Proceedings of the Workshop on Classical Planning for Problem Solving (at AAAI)},
  Year                     = {2012},

  Timestamp                = {2018.09.23}
}

@InProceedings{dav-bai-mci-icaps12,
  Title                    = {Making Reasonable Assumptions to Plan with Incomplete Information},
  Author                   = {Sammy Davis-Mendelow and Jorge Baier and Sheila A. McIlraith},
  Booktitle                = {Proceedings of the Workshop on Heuristics for Domain Independent Planning (at ICAPS)},
  Year                     = {2012},

  Timestamp                = {2018.09.23}
}

@InProceedings{de2012supervising,
  Title                    = {{On supervising agents in situation-determined ConGolog}},
  Author                   = {De Giacomo, Giuseppe and Lesp{\'e}rance, Yves and Muise, Christian},
  Booktitle                = {Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems-Volume 2},
  Year                     = {2012},
  Organization             = {International Foundation for Autonomous Agents and Multiagent Systems},
  Pages                    = {1031--1038},

  Keywords                 = {golog},
  Timestamp                = {2018.09.23},
  Url                      = {http://www.cse.yorku.ca/~lesperan/papers/AAMAS12.pdf}
}

@InProceedings{DBLP:conf/kr/DelgrandeL12,
  Title                    = {Belief Revision with Sensing and Fallible Actions},
  Author                   = {James P. Delgrande and
 Hector J. Levesque},
  Booktitle                = {KR},
  Year                     = {2012},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4528},
  Timestamp                = {2018.09.23}
}

@Article{DBLP:journals/corr/abs-1205-2647,
  Title                    = {Generating Optimal Plans in Highly-Dynamic Domains},
  Author                   = {Christian Fritz and
 Sheila A. McIlraith},
  Journal                  = {CoRR},
  Year                     = {2012},
  Volume                   = {abs/1205.2647},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://arxiv.org/abs/1205.2647},
  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/sat/GoultiaevaB12,
  Title                    = {Off the Trail: Re-examining the CDCL Algorithm},
  Author                   = {Alexandra Goultiaeva and
 Fahiem Bacchus},
  Booktitle                = {Theory and Applications of Satisfiability Testing - SAT
 2012 - 15th International Conference, Trento, Italy, June
 17-20, 2012. Proceedings},
  Year                     = {2012},
  Pages                    = {30-43},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://dx.doi.org/10.1007/978-3-642-31612-8_4},
  Timestamp                = {2018.09.23}
}

@Article{DBLP:journals/tiis/HoeyBPOMM12,
  Title                    = {People, sensors, decisions: Customizable and adaptive technologies
 for assistance in healthcare},
  Author                   = {Jesse Hoey and
 Craig Boutilier and
 Pascal Poupart and
 Patrick Olivier and
 Andrew Monk and
 Alex Mihailidis},
  Journal                  = {TiiS},
  Year                     = {2012},
  Number                   = {4},
  Pages                    = {20},
  Volume                   = {2},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://doi.acm.org/10.1145/2395123.2395125},
  Timestamp                = {2018.09.23}
}

@Article{DBLP:journals/corr/abs-1206-3258,
  Title                    = {Toward Experiential Utility Elicitation for Interface Customization},
  Author                   = {Bowen Hui and
 Craig Boutilier},
  Journal                  = {CoRR},
  Year                     = {2012},
  Volume                   = {abs/1206.3258},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://arxiv.org/abs/1206.3258},
  Timestamp                = {2018.09.23}
}

@Article{DBLP:journals/corr/abs-1207-4147,
  Title                    = {Regret Minimizing Equilibria and Mechanisms for Games with
 Strict Type Uncertainty},
  Author                   = {Nathanael Hyafil and
 Craig Boutilier},
  Journal                  = {CoRR},
  Year                     = {2012},
  Volume                   = {abs/1207.4147},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://arxiv.org/abs/1207.4147},
  Timestamp                = {2018.09.23}
}

@InProceedings{jum-hsu-mci-cai12,
  Title                    = {Preference-Based Planning via MaxSAT},
  Author                   = {Farah Juma and
 Eric I. Hsu and
 Sheila A. McIlraith},
  Booktitle                = {Proceedings of the Canadian Conference on Artificial Intelligence},
  Year                     = {2012},
  Pages                    = {109-120},

  Timestamp                = {2018.09.23},
  Url                      = {http://www.cs.toronto.edu/~sheila/publications/jum-hsu-mci-cai12.pdf}
}

@InProceedings{DBLP:conf/kr/LakemeyerL12,
  Title                    = {Only-Knowing Meets Nonmonotonic Modal Logic},
  Author                   = {Gerhard Lakemeyer and
 Hector J. Levesque},
  Booktitle                = {KR},
  Year                     = {2012},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4507},
  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/kr/LevesqueDM12,
  Title                    = {The Winograd Schema Challenge},
  Author                   = {Hector J. Levesque and
 Ernest Davis and
 Leora Morgenstern},
  Booktitle                = {KR},
  Year                     = {2012},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4492},
  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/birthday/LevesqueL12,
  Title                    = {The Truth about Defaults},
  Author                   = {Hector J. Levesque and
 Gerhard Lakemeyer},
  Booktitle                = {Correct Reasoning},
  Year                     = {2012},
  Pages                    = {422-435},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://dx.doi.org/10.1007/978-3-642-30743-0_29},
  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/sigecom/LuB12,
  Title                    = {Matching models for preference-sensitive group purchasing},
  Author                   = {Tyler Lu and
 Craig Boutilier},
  Booktitle                = {ACM Conference on Electronic Commerce, EC '12, Valencia,
 Spain, June 4-8, 2012},
  Year                     = {2012},
  Pages                    = {723-740},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://doi.acm.org/10.1145/2229012.2229068},
  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/uai/LuTPB12,
  Title                    = {Bayesian Vote Manipulation: Optimal Strategies and Impact on Welfare},
  Author                   = {Tyler Lu and
 Pingzhong Tang and
 Ariel D. Procaccia and
 Craig Boutilier},
  Booktitle                = {Proceedings of the Twenty-Eighth Conference on Uncertainty in Artificial
 Intelligence, Catalina Island, CA, USA, August 14-18, 2012},
  Year                     = {2012},
  Pages                    = {543--553},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/uai/LuTPB12},
  Timestamp                = {Wed, 29 Mar 2017 16:45:26 +0200},
  Url                      = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=2314\&\#38;proceeding\_id=28}
}

@Article{DBLP:journals/corr/abs-1210-4895,
  Title                    = {Bayesian Vote Manipulation: Optimal Strategies and Impact
 on Welfare},
  Author                   = {Tyler Lu and
 Pingzhong Tang and
 Ariel D. Procaccia and
 Craig Boutilier},
  Journal                  = {CoRR},
  Year                     = {2012},
  Volume                   = {abs/1210.4895},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://arxiv.org/abs/1210.4895},
  Timestamp                = {2018.09.23}
}

@InProceedings{muise-icaps12-long,
  Title                    = {{Improved Non-deterministic Planning by Exploiting State Relevance}},
  Author                   = {Muise, Christian and McIlraith, Sheila A. and Beck, J. Christopher},
  Booktitle                = {The 22nd International Conference on Automated Planning and Scheduling},
  Year                     = {2012},
  Series                   = {The 22nd International Conference on Automated Planning and Scheduling},

  Abstract                 = {We address the problem of computing a policy for fully ob- servable non-deterministic (FOND) planning problems. By focusing on the relevant aspects of the state of the world, we introduce a series of improvements to the previous state of the art and extend the applicability of our planner, PRP, to work in an online setting. The use of state relevance allows our policy to be exponentiallymore succinct in representing a solution to a FOND problem for some domains. Through the introduction of newtechniques for avoiding deadends and de- termining sufficient validity conditions, PRP has the potential to compute a policy up to several orders of magnitude faster than previous approaches. We also find dramatic improve- ments over the state of the art in online replanning when we treat suitable probabilistic domains as FOND domains.},
  File                     = {:home/cjmuise/Documents/Mendeley Desktop/The 22nd International Conference on Automated Planning and Scheduling/2012/Improved Non-deterministic Planning by Exploiting State Relevance.pdf:pdf},
  Keywords                 = {personal},
  Mendeley-tags            = {personal},
  Timestamp                = {2018.09.23},
  Type                     = {Conference Proceedings},
  Url                      = {http://www.haz.ca/research/papers/muise-icaps2012-fond.pdf}
}

We address the problem of computing a policy for fully ob- servable non-deterministic (FOND) planning problems. By focusing on the relevant aspects of the state of the world, we introduce a series of improvements to the previous state of the art and extend the applicability of our planner, PRP, to work in an online setting. The use of state relevance allows our policy to be exponentiallymore succinct in representing a solution to a FOND problem for some domains. Through the introduction of newtechniques for avoiding deadends and de- termining sufficient validity conditions, PRP has the potential to compute a policy up to several orders of magnitude faster than previous approaches. We also find dramatic improve- ments over the state of the art in online replanning when we treat suitable probabilistic domains as FOND domains.

@InProceedings{mui-mci-bec-icaps12,
  Title                    = {Improved Non-deterministic Planning by Exploiting State Relevance},
  Author                   = {Christian {Muise} and Sheila A. {McIlraith} and J. Christopher {Beck}},
  Booktitle                = {Proceedings of the 22nd International Conference on Automated Planning and Scheduling},
  Year                     = {2012},
  Series                   = {The 22nd International Conference on Automated Planning and Scheduling},

  Timestamp                = {2018.09.23},
  Url                      = {http://www.cs.toronto.edu/~sheila/publications/mui-mci-bec-icaps12.pdf}
}

@InProceedings{muise2012optimally,
  Title                    = {{Optimally Relaxing Partial-order Plans With MaxSAT}},
  Author                   = {Muise, Christian and McIlratih, Sheila A. and Beck, J. Christopher},
  Booktitle                = {22nd International Conference on Automated Planning and Scheduling},
  Year                     = {2012},

  Timestamp                = {2018.09.23},
  Url                      = {http://tidel.mie.utoronto.ca/pubs/muise_MaxSATICAPS2012.pdf}
}

@InProceedings{mui-mci-bec-icaps12b,
  Title                    = {Optimally Relaxing Partial-Order Plans with MaxSAT},
  Author                   = {Christian J. Muise and
 Sheila A. McIlraith and
 J. Christopher Beck},
  Booktitle                = {ICAPS},
  Year                     = {2012},

  Timestamp                = {2018.09.23},
  Url                      = {http://www.cs.toronto.edu/~sheila/publications/mui-mci-bec-icaps12b.pdf}
}

@InProceedings{mui-mci-bec-hsu-cai12,
  Title                    = {Dsharp: Fast d-DNNF Compilation with sharpSAT},
  Author                   = {Christian J. Muise and
 Sheila A. McIlraith and
 J. Christopher Beck and
 Eric I. Hsu},
  Booktitle                = {Proceedings of the Canadian Conference on Artificial Intelligence},
  Year                     = {2012},
  Pages                    = {356-361},

  Timestamp                = {2018.09.23},
  Url                      = {http://www.cs.toronto.edu/~sheila/publications/mui-mci-bec-hsu-cai12.pdf}
}

@Article{DBLP:journals/corr/abs-1205-2619,
  Title                    = {Regret-based Reward Elicitation for Markov Decision Processes},
  Author                   = {Kevin Regan and
 Craig Boutilier},
  Journal                  = {CoRR},
  Year                     = {2012},
  Volume                   = {abs/1205.2619},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://arxiv.org/abs/1205.2619},
  Timestamp                = {2018.09.23}
}

@Article{DBLP:journals/corr/abs-1207-1415,
  Title                    = {Approximate Linear Programming for First-order MDPs},
  Author                   = {Scott Sanner and
 Craig Boutilier},
  Journal                  = {CoRR},
  Year                     = {2012},
  Volume                   = {abs/1207.1415},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://arxiv.org/abs/1207.1415},
  Timestamp                = {2018.09.23}
}

@InProceedings{yoonetal-aaai12,
  Title                    = {Planned Reconfiguration of Distributed Messaging Systems},
  Author                   = {Young Yoon and Nathan Robinson and Vinod Muthusamy and Hans-Arno Jacobsen and Sheila A. McIlraith},
  Booktitle                = {Proceedings of the Workshop on Classical Planning for Problem Solving (at AAAI)},
  Year                     = {2012},

  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/aaai/ZhangB12,
  Title                    = {MAXSAT Heuristics for Cost Optimal Planning},
  Author                   = {Lei Zhang and
 Fahiem Bacchus},
  Booktitle                = {Proceedings of the Twenty-Sixth AAAI Conference on Artificial
 Intelligence, July 22-26, 2012, Toronto, Ontario, Canada},
  Year                     = {2012},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI12/paper/view/5190},
  Timestamp                = {2018.09.23}
}

@Proceedings{DBLP:conf/kr/2012,
  Title                    = {Principles of Knowledge Representation and Reasoning: Proceedings
 of the Thirteenth International Conference, KR 2012, Rome,
 Italy, June 10-14, 2012},
  Year                     = {2012},
  Editor                   = {Gerhard Brewka and
 Thomas Eiter and
 Sheila A. McIlraith},
  Publisher                = {AAAI Press},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Booktitle                = {KR},
  ISBN                     = {978-1-57735-560-1},
  Timestamp                = {2018.09.23}
}

@Article{DBLP:journals/corr/abs-1110-2729,
  Title                    = {The Power of Modeling - a Response to PDDL2.1},
  Author                   = {Fahiem Bacchus},
  Journal                  = {CoRR},
  Year                     = {2011},
  Volume                   = {abs/1110.2729},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://arxiv.org/abs/1110.2729},
  Timestamp                = {2018.09.23}
}

@InProceedings{KBSG_220,
  Title                    = {A Semantical Account of Progression in the Presence of Uncertainty},
  Author                   = {Belle, Vaishak and Lakemeyer, Gerhard},
  Booktitle                = {Proc. AAAI},
  Year                     = {2011},
  Pages                    = {165-170},

  Abstract                 = {Building on a general theory of action by Reiter and his colleagues, Bacchus et al give an account for formalizing degrees of belief and noisy actions in the situation calculus. Unfortunately, there is no clear solution to the projection problem for the formalism. And, while the model has epistemic features, it is not obvious what the agent{\textquoteright}s knowledge base should look like. Also, reasoning about uncertainty essentially resorts to second-order logic. In recent work, Gabaldon and Lakemeyer remedy these shortcomings somewhat, but here too the utility seems to be restricted to queries (with action operators) about the initial theory. In this paper, we propose a fresh amalgamation of a modal fragment of the situation calculus and uncertainty, where the idea will be to update the initial knowledge base, containing both ordinary and (certain kinds of) probabilistic beliefs, when noisy actions are performed. We show that the new semantics has the right properties, and study a special case where updating probabilistic beliefs is computable. Our ideas are closely related to the Lin and Reiter notion of progression. },
  Date-added               = {2011-05-16 13:15:50 +0200},
  Date-modified            = {2012-02-22 14:53:45 +0000},
  Timestamp                = {2018.09.23},
  Url                      = {http://kbsg.rwth-aachen.de/fileskbsg/prog-noisy.pdf}
}

Building on a general theory of action by Reiter and his colleagues, Bacchus et al give an account for formalizing degrees of belief and noisy actions in the situation calculus. Unfortunately, there is no clear solution to the projection problem for the formalism. And, while the model has epistemic features, it is not obvious what the agent\textquoterights knowledge base should look like. Also, reasoning about uncertainty essentially resorts to second-order logic. In recent work, Gabaldon and Lakemeyer remedy these shortcomings somewhat, but here too the utility seems to be restricted to queries (with action operators) about the initial theory. In this paper, we propose a fresh amalgamation of a modal fragment of the situation calculus and uncertainty, where the idea will be to update the initial knowledge base, containing both ordinary and (certain kinds of) probabilistic beliefs, when noisy actions are performed. We show that the new semantics has the right properties, and study a special case where updating probabilistic beliefs is computable. Our ideas are closely related to the Lin and Reiter notion of progression.

@InProceedings{KBSG_219,
  Title                    = {On Progression and Query Evaluation in First-Order Knowledge Bases with Function Symbols},
  Author                   = {Belle, Vaishak and Lakemeyer, Gerhard},
  Booktitle                = {Proc. IJCAI},
  Year                     = {2011},
  Pages                    = {255-260},

  Abstract                 = {In a seminal paper, Lin and Reiter introduced the notion of progression of basic action theories. Unfortunately, progression is second-order in general. Recently, Liu and Lakemeyer improve on earlier results and show that for the local-effect and normal actions case, progression is computable but may lead to an exponential blow-up. Nevertheless, they show that for certain kinds of expressive first-order knowledge bases with disjunctive information, called proper$^+$, it is efficient. However, answering queries about the resulting state is still undecidable. In this paper, we continue this line of research and extend proper$^+$ KBs to include functions. We prove that their progression wrt local-effect, normal actions, and range-restricted theories, is first-order definable and efficiently computable. We then provide a new logically sound and complete decision procedure for certain kinds of queries. },
  Date-added               = {2011-05-16 13:15:30 +0200},
  Date-modified            = {2012-02-22 14:52:49 +0000},
  Timestamp                = {2018.09.23},
  Url                      = {http://kbsg.rwth-aachen.de/fileskbsg/ijcai11.pdf}
}

In a seminal paper, Lin and Reiter introduced the notion of progression of basic action theories. Unfortunately, progression is second-order in general. Recently, Liu and Lakemeyer improve on earlier results and show that for the local-effect and normal actions case, progression is computable but may lead to an exponential blow-up. Nevertheless, they show that for certain kinds of expressive first-order knowledge bases with disjunctive information, called proper$^+$, it is efficient. However, answering queries about the resulting state is still undecidable. In this paper, we continue this line of research and extend proper$^+$ KBs to include functions. We prove that their progression wrt local-effect, normal actions, and range-restricted theories, is first-order definable and efficiently computable. We then provide a new logically sound and complete decision procedure for certain kinds of queries.

@InCollection{bellelakbook,
  Title                    = {Multi-Agent Only-Knowing},
  Author                   = {Vaishak Belle and Gerhard Lakemeyer},
  Booktitle                = {Knowing, Reasoning, and Acting: Essays in Honour of Hector J. Levesque},
  Publisher                = {College Publications},
  Year                     = {2011},
  Editor                   = {Gerhard Lakemeyer and Sheila A. McIlraith},
  Pages                    = {67-86},

  Date-added               = {2011-11-20 10:23:08 +0000},
  Date-modified            = {2012-02-27 12:00:41 +0100},
  Timestamp                = {2018.09.23}
}

@Article{DBLP:journals/ai/BienvenuFM11,
  Title                    = {Specifying and computing preferred plans},
  Author                   = {Meghyn Bienvenu and
 Christian Fritz and
 Sheila A. McIlraith},
  Journal                  = {Artif. Intell.},
  Year                     = {2011},
  Number                   = {7-8},
  Pages                    = {1308-1345},
  Volume                   = {175},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://dx.doi.org/10.1016/j.artint.2010.11.021},
  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/cpaior/Boutilier11,
  Title                    = {Preference Elicitation and Preference Learning in Social
 Choice},
  Author                   = {Craig Boutilier},
  Booktitle                = {Integration of AI and OR Techniques in Constraint Programming
 for Combinatorial Optimization Problems - 8th International
 Conference, CPAIOR 2011, Berlin, Germany, May 23-27, 2011.
 Proceedings},
  Year                     = {2011},
  Pages                    = {1},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://dx.doi.org/10.1007/978-3-642-21311-3_1},
  Timestamp                = {2018.09.23}
}

@Article{DBLP:journals/corr/abs-1106-2489,
  Title                    = {Eliciting Forecasts from Self-interested Experts: Scoring
 Rules for Decision Makers},
  Author                   = {Craig Boutilier},
  Journal                  = {CoRR},
  Year                     = {2011},
  Volume                   = {abs/1106.2489},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://arxiv.org/abs/1106.2489},
  Timestamp                = {2018.09.23}
}

@Article{DBLP:journals/corr/abs-1106-0249,
  Title                    = {Partial-Order Planning with Concurrent Interacting Actions},
  Author                   = {Craig Boutilier and
 Ronen I. Brafman},
  Journal                  = {CoRR},
  Year                     = {2011},
  Volume                   = {abs/1106.0249},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://arxiv.org/abs/1106.0249},
  Timestamp                = {2018.09.23}
}

@Article{DBLP:journals/corr/abs-1107-0023,
  Title                    = {CP-nets: A Tool for Representing and Reasoning withConditional
 Ceteris Paribus Preference Statements},
  Author                   = {Craig Boutilier and
 Ronen I. Brafman and
 Carmel Domshlak and
 Holger H. Hoos and
 David Poole},
  Journal                  = {CoRR},
  Year                     = {2011},
  Volume                   = {abs/1107.0023},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://arxiv.org/abs/1107.0023},
  Timestamp                = {2018.09.23}
}

@Article{DBLP:journals/corr/abs-1105-5460,
  Title                    = {Decision-Theoretic Planning: Structural Assumptions and
 Computational Leverage},
  Author                   = {Craig Boutilier and
 Thomas Dean and
 Steve Hanks},
  Journal                  = {CoRR},
  Year                     = {2011},
  Volume                   = {abs/1105.5460},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://arxiv.org/abs/1105.5460},
  Timestamp                = {2018.09.23}
}

@Article{DBLP:journals/corr/abs-1106-0681,
  Title                    = {Accelerating Reinforcement Learning through Implicit Imitation},
  Author                   = {Craig Boutilier and
 Bob Price},
  Journal                  = {CoRR},
  Year                     = {2011},
  Volume                   = {abs/1106.0681},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://arxiv.org/abs/1106.0681},
  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/uai/CharlinZB11,
  Title                    = {A Framework for Optimizing Paper Matching},
  Author                   = {Laurent Charlin and
 Richard S. Zemel and
 Craig Boutilier},
  Booktitle                = {UAI 2011, Proceedings of the Twenty-Seventh Conference on
 Uncertainty in Artificial Intelligence, Barcelona, Spain,
 July 14-17, 2011},
  Year                     = {2011},
  Pages                    = {86-95},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://uai.sis.pitt.edu/displayArticleDetails.jsp?mmnu=1{\&}smnu=2{\&}article_id=2195{\&}proceeding_id=27},
  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/cp/DaviesB11,
  Title                    = {Solving MAXSAT by Solving a Sequence of Simpler SAT Instances},
  Author                   = {Jessica Davies and
 Fahiem Bacchus},
  Booktitle                = {Principles and Practice of Constraint Programming - CP 2011
 - 17th International Conference, CP 2011, Perugia, Italy,
 September 12-16, 2011. Proceedings},
  Year                     = {2011},
  Pages                    = {225-239},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://dx.doi.org/10.1007/978-3-642-23786-7_19},
  Timestamp                = {2018.09.23}
}

@InProceedings{DeGiacomo2011,
  Title                    = {{Agent Supervision in Situation-Determined ConGolog}},
  Author                   = {{De Giacomo}, Giuseppe and Lesperance, Yves and Muise, Christian},
  Booktitle                = {Nonmonotonic Reasoning, Action and Change},
  Year                     = {2011},

  Abstract                 = {We investigate agent supervision, a form of customization, which constrains the actions of an agent so as to enforce certain desired behavioral specifications. This is done in a setting based on the Situation Calculus and a variant of the ConGolog programming language which allows for nondeterminism, but requires the remainder of a program after the execution of an action to be determined by the resulting situation. Such programs can be fully characterized by the set of action sequences that they generate. The main results are a characterization of the maximally permissive supervisor that minimally constrains the agent so as to enforce the desired behavioral constraints when some agent actions are uncontrollable, and a sound and complete technique to execute the agent as constrained by such a supervisor.},
  File                     = {:home/cjmuise/Documents/Mendeley Desktop/Nonmonotonic Reasoning, Action and Change/2011/Agent Supervision in Situation-Determined ConGolog.pdf:pdf},
  Keywords                 = {golog},
  Timestamp                = {2018.09.23},
  Url                      = {http://ijcai-11.iiia.csic.es/files/proceedings/W4- NRAC11-Proceedings.pdf\#page=27}
}

We investigate agent supervision, a form of customization, which constrains the actions of an agent so as to enforce certain desired behavioral specifications. This is done in a setting based on the Situation Calculus and a variant of the ConGolog programming language which allows for nondeterminism, but requires the remainder of a program after the execution of an action to be determined by the resulting situation. Such programs can be fully characterized by the set of action sequences that they generate. The main results are a characterization of the maximally permissive supervisor that minimally constrains the agent so as to enforce the desired behavioral constraints when some agent actions are uncontrollable, and a sound and complete technique to execute the agent as constrained by such a supervisor.

@InProceedings{DBLP:conf/ijcai/GiacomoLL11,
  Title                    = {Efficient Reasoning in Proper Knowledge Bases with Unknown
 Individuals},
  Author                   = {Giuseppe De Giacomo and
 Yves Lesp{\'e}rance and
 Hector J. Levesque},
  Booktitle                = {IJCAI},
  Year                     = {2011},
  Pages                    = {827-832},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://ijcai.org/papers11/Papers/IJCAI11-144.pdf},
  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/ijcai/GoultiaevaGB11,
  Title                    = {A Uniform Approach for Generating Proofs and Strategies
 for Both True and False QBF Formulas},
  Author                   = {Alexandra Goultiaeva and
 Allen Van Gelder and
 Fahiem Bacchus},
  Booktitle                = {IJCAI 2011, Proceedings of the 22nd International Joint
 Conference on Artificial Intelligence, Barcelona, Catalonia,
 Spain, July 16-22, 2011},
  Year                     = {2011},
  Pages                    = {546-553},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://ijcai.org/papers11/Papers/IJCAI11-099.pdf},
  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/ijcai/HuL11,
  Title                    = {A Correctness Result for Reasoning about One-Dimensional
 Planning Problems},
  Author                   = {Yuxiao Hu and
 Hector J. Levesque},
  Booktitle                = {IJCAI},
  Year                     = {2011},
  Pages                    = {2638-2643},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://ijcai.org/papers11/Papers/IJCAI11-439.pdf},
  Timestamp                = {2018.09.23}
}

@Article{DBLP:journals/ai/LakemeyerL11,
  Title                    = {A semantic characterization of a useful fragment of the
 situation calculus with knowledge},
  Author                   = {Gerhard Lakemeyer and
 Hector J. Levesque},
  Journal                  = {Artif. Intell.},
  Year                     = {2011},
  Number                   = {1},
  Pages                    = {142-164},
  Volume                   = {175},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://dx.doi.org/10.1016/j.artint.2010.04.005},
  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/aaaiss/Levesque11,
  Title                    = {The Winograd Schema Challenge},
  Author                   = {Hector J. Levesque},
  Booktitle                = {AAAI Spring Symposium: Logical Formalizations of Commonsense
 Reasoning},
  Year                     = {2011},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2502},
  Timestamp                = {2018.09.23}
}

@Article{DBLP:journals/re/LiaskosMSM11,
  Title                    = {Representing and reasoning about preferences in requirements
 engineering},
  Author                   = {Sotirios Liaskos and
 Sheila A. McIlraith and
 Shirin Sohrabi and
 John Mylopoulos},
  Journal                  = {Requir. Eng.},
  Year                     = {2011},
  Number                   = {3},
  Pages                    = {227-249},
  Volume                   = {16},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://dx.doi.org/10.1007/s00766-011-0129-9},
  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/aldt/LuB11,
  Title                    = {Vote Elicitation with Probabilistic Preference Models: Empirical
 Estimation and Cost Tradeoffs},
  Author                   = {Tyler Lu and
 Craig Boutilier},
  Booktitle                = {Algorithmic Decision Theory - Second International Conference,
 ADT 2011, Piscataway, NJ, USA, October 26-28, 2011. Proceedings},
  Year                     = {2011},
  Pages                    = {135-149},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://dx.doi.org/10.1007/978-3-642-24873-3_11},
  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/icml/LuB11,
  Title                    = {Learning Mallows Models with Pairwise Preferences},
  Author                   = {Tyler Lu and
 Craig Boutilier},
  Booktitle                = {Proceedings of the 28th International Conference on Machine
 Learning, ICML 2011, Bellevue, Washington, USA, June 28
 - July 2, 2011},
  Year                     = {2011},
  Pages                    = {145-152},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/ijcai/LuB11,
  Title                    = {Budgeted Social Choice: From Consensus to Personalized Decision
 Making},
  Author                   = {Tyler Lu and
 Craig Boutilier},
  Booktitle                = {IJCAI 2011, Proceedings of the 22nd International Joint
 Conference on Artificial Intelligence, Barcelona, Catalonia,
 Spain, July 16-22, 2011},
  Year                     = {2011},
  Pages                    = {280-286},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://ijcai.org/papers11/Papers/IJCAI11-057.pdf},
  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/ijcai/LuB11a,
  Title                    = {Robust Approximation and Incremental Elicitation in Voting
 Protocols},
  Author                   = {Tyler Lu and
 Craig Boutilier},
  Booktitle                = {IJCAI 2011, Proceedings of the 22nd International Joint
 Conference on Artificial Intelligence, Barcelona, Catalonia,
 Spain, July 16-22, 2011},
  Year                     = {2011},
  Pages                    = {287-293},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://ijcai.org/papers11/Papers/IJCAI11-058.pdf},
  Timestamp                = {2018.09.23}
}

@Article{DBLP:journals/ai/MorgensternM11,
  Title                    = {John McCarthy's legacy},
  Author                   = {Leora Morgenstern and
 Sheila A. McIlraith},
  Journal                  = {Artif. Intell.},
  Year                     = {2011},
  Number                   = {1},
  Pages                    = {1-24},
  Volume                   = {175},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://dx.doi.org/10.1016/j.artint.2010.11.003},
  Timestamp                = {2018.09.23}
}

@InProceedings{muise-ijcai11,
  Title                    = {{Monitoring the Execution of Partial-Order Plans via Regression}},
  Author                   = {Muise, Christian and McIlraith, Sheila A. and Beck, J. Christopher},
  Booktitle                = {International Joint Conference On Artificial Intelligence},
  Year                     = {2011},
  Series                   = {International Joint Conference On Artificial Intelligence},

  Abstract                 = {Partial-order plans (POPs) have the capacity to compactly represent numerous distinct plan lin- earizations and as a consequence are inherently ro- bust. We exploit this robustness to do effective ex- ecutionmonitoring. We characterize the conditions underwhich a POP remains viable as the regression of the goal through the structure of a POP.We then develop a method for POP execution monitoring via a structured policy, expressed as an ordered al- gebraic decision diagram. The policy encompasses both state evaluation and action selection, enabling an agent to seamlessly switch between POP lin- earizations to accommodate unexpected changes during execution. We demonstrate the effective- ness of our approach by comparing it empirically and analytically to a standard technique for execu- tion monitoring of sequential plans. On standard benchmark planning domains, our approach is 2 to 17 times faster and up to 2.5 times more robust than comparable monitoring of a sequential plan. On POPs that have few ordering constraints among actions, our approach is significantly more robust, with the ability to continue executing in up to an exponential number of additional states.},
  File                     = {:home/cjmuise/Documents/Mendeley Desktop/International Joint Conference On Artificial Intelligence/2011/Monitoring the Execution of Partial-Order Plans via Regression.pdf:pdf},
  Keywords                 = {personal},
  Mendeley-tags            = {personal},
  Timestamp                = {2018.09.23},
  Type                     = {Conference Proceedings},
  Url                      = {http://ijcai.org/papers11/Papers/IJCAI11-330.pdf}
}

Partial-order plans (POPs) have the capacity to compactly represent numerous distinct plan lin- earizations and as a consequence are inherently ro- bust. We exploit this robustness to do effective ex- ecutionmonitoring. We characterize the conditions underwhich a POP remains viable as the regression of the goal through the structure of a POP.We then develop a method for POP execution monitoring via a structured policy, expressed as an ordered al- gebraic decision diagram. The policy encompasses both state evaluation and action selection, enabling an agent to seamlessly switch between POP lin- earizations to accommodate unexpected changes during execution. We demonstrate the effective- ness of our approach by comparing it empirically and analytically to a standard technique for execu- tion monitoring of sequential plans. On standard benchmark planning domains, our approach is 2 to 17 times faster and up to 2.5 times more robust than comparable monitoring of a sequential plan. On POPs that have few ordering constraints among actions, our approach is significantly more robust, with the ability to continue executing in up to an exponential number of additional states.

@InProceedings{muise2011optimally,
  Title                    = {{Optimization of Partial-Order Plans via MaxSAT}},
  Author                   = {Muise, Christian and McIlratih, Sheila A. and Beck, J. Christopher},
  Booktitle                = {Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS'11)},
  Year                     = {2011},

  Timestamp                = {2018.09.23},
  Url                      = {http://www.haz.ca/research/papers/coplas-muise-11.pdf}
}

@Article{DBLP:journals/corr/abs-1107-4035,
  Title                    = {Towards Completely Lifted Search-based Probabilistic Inference},
  Author                   = {David Poole and
 Fahiem Bacchus and
 Jacek Kisynski},
  Journal                  = {CoRR},
  Year                     = {2011},
  Volume                   = {abs/1107.4035},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://arxiv.org/abs/1107.4035},
  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/ijcai/ReganB11,
  Title                    = {Eliciting Additive Reward Functions for Markov Decision
 Processes},
  Author                   = {Kevin Regan and
 Craig Boutilier},
  Booktitle                = {IJCAI 2011, Proceedings of the 22nd International Joint
 Conference on Artificial Intelligence, Barcelona, Catalonia,
 Spain, July 16-22, 2011},
  Year                     = {2011},
  Pages                    = {2159-2164},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://ijcai.org/papers11/Papers/IJCAI11-360.pdf},
  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/ijcai/ReganB11a,
  Title                    = {Robust Online Optimization of Reward-Uncertain MDPs},
  Author                   = {Kevin Regan and
 Craig Boutilier},
  Booktitle                = {IJCAI 2011, Proceedings of the 22nd International Joint
 Conference on Artificial Intelligence, Barcelona, Catalonia,
 Spain, July 16-22, 2011},
  Year                     = {2011},
  Pages                    = {2165-2171},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://ijcai.org/papers11/Papers/IJCAI11-361.pdf},
  Timestamp                = {2018.09.23}
}

@Article{DBLP:journals/ai/ShapiroPLL11,
  Title                    = {Iterated belief change in the situation calculus},
  Author                   = {Steven Shapiro and
 Maurice Pagnucco and
 Yves Lesp{\'e}rance and
 Hector J. Levesque},
  Journal                  = {Artif. Intell.},
  Year                     = {2011},
  Number                   = {1},
  Pages                    = {165-192},
  Volume                   = {175},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://dx.doi.org/10.1016/j.artint.2010.04.003},
  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/aaai/SohrabiBM11,
  Title                    = {Preferred Explanations: Theory and Generation via Planning},
  Author                   = {Shirin Sohrabi and
 Jorge A. Baier and
 Sheila A. McIlraith},
  Booktitle                = {AAAI},
  Year                     = {2011},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI11/paper/view/3568},
  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/aaai/SuiB11,
  Title                    = {Efficiency and Privacy Tradeoffs in Mechanism Design},
  Author                   = {Xin Sui and
 Craig Boutilier},
  Booktitle                = {Proceedings of the Twenty-Fifth AAAI Conference on Artificial
 Intelligence, AAAI 2011, San Francisco, California, USA,
 August 7-11, 2011},
  Year                     = {2011},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI11/paper/view/3527},
  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/aaai/ViappianiB11,
  Title                    = {Recommendation Sets and Choice Queries: There Is No Exploration/Exploitation
 Tradeoff!},
  Author                   = {Paolo Viappiani and
 Craig Boutilier},
  Booktitle                = {Proceedings of the Twenty-Fifth AAAI Conference on Artificial
 Intelligence, AAAI 2011, San Francisco, California, USA,
 August 7-11, 2011},
  Year                     = {2011},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI11/paper/view/3592},
  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/aaai/ViappianiZHB11,
  Title                    = {A Bayesian Concept Learning Approach to Crowdsourcing},
  Author                   = {Paolo Viappiani and
 Sandra Zilles and
 Howard J. Hamilton and
 Craig Boutilier},
  Booktitle                = {Interactive Decision Theory and Game Theory, Papers from
 the 2011 AAAI Workshop, San Francisco, California, USA,
 August 8, 2011},
  Year                     = {2011},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://www.aaai.org/ocs/index.php/WS/AAAIW11/paper/view/3807},
  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/aldt/ViappianiZHB11,
  Title                    = {Learning Complex Concepts Using Crowdsourcing: A Bayesian
 Approach},
  Author                   = {Paolo Viappiani and
 Sandra Zilles and
 Howard J. Hamilton and
 Craig Boutilier},
  Booktitle                = {Algorithmic Decision Theory - Second International Conference,
 ADT 2011, Piscataway, NJ, USA, October 26-28, 2011. Proceedings},
  Year                     = {2011},
  Pages                    = {277-291},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://dx.doi.org/10.1007/978-3-642-24873-3_21},
  Timestamp                = {2018.09.23}
}

@Proceedings{DBLP:conf/aips/2011,
  Title                    = {Proceedings of the 21st International Conference on Automated
 Planning and Scheduling, ICAPS 2011, Freiburg, Germany June
 11-16, 2011},
  Year                     = {2011},
  Editor                   = {Fahiem Bacchus and
 Carmel Domshlak and
 Stefan Edelkamp and
 Malte Helmert},
  Publisher                = {AAAI},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Booktitle                = {ICAPS},
  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/aaai/BelleL10,
  Title                    = {Reasoning about Imperfect Information Games in the Epistemic Situation Calculus},
  Author                   = {Vaishak Belle and Gerhard Lakemeyer},
  Booktitle                = {Proc. AAAI},
  Year                     = {2010},
  Pages                    = {255--261},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Date-modified            = {2012-02-22 14:51:15 +0000},
  Ee                       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI10/paper/view/1803},
  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/kr/BelleL10,
  Title                    = {Multi-Agent Only-Knowing Revisited},
  Author                   = {Vaishak Belle and Gerhard Lakemeyer},
  Booktitle                = {Proc. KR},
  Year                     = {2010},
  Pages                    = {49--60},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Date-modified            = {2012-02-22 14:50:35 +0000},
  Ee                       = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1361},
  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/aaai/BoutilierRV10,
  Title                    = {Simultaneous Elicitation of Preference Features and Utility},
  Author                   = {Craig Boutilier and
 Kevin Regan and
 Paolo Viappiani},
  Booktitle                = {Proceedings of the Twenty-Fourth AAAI Conference on Artificial
 Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11-15,
 2010},
  Year                     = {2010},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI10/paper/view/1665},
  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/sigecom/BraziunasB10,
  Title                    = {Assessing regret-based preference elicitation with the UTPREF
 recommendation system},
  Author                   = {Darius Braziunas and
 Craig Boutilier},
  Booktitle                = {Proceedings 11th ACM Conference on Electronic Commerce (EC-2010),
 Cambridge, Massachusetts, USA, June 7-11, 2010},
  Year                     = {2010},
  Pages                    = {219-228},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://doi.acm.org/10.1145/1807342.1807377},
  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/fois/ChaudhriBFMW10,
  Title                    = {A Categorization of KR{\&}R Methods for Requirement Analysis
 of a Query Answering Knowledge Base},
  Author                   = {Vinay K. Chaudhri and
 Bert Bredeweg and
 Richard Fikes and
 Sheila A. McIlraith and
 Michael P. Wellman},
  Booktitle                = {FOIS},
  Year                     = {2010},
  Pages                    = {158-171},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://dx.doi.org/10.3233/978-1-60750-535-8-158},
  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/cp/DaviesCB10,
  Title                    = {Using Learnt Clauses in maxsat},
  Author                   = {Jessica Davies and
 Jeremy Cho and
 Fahiem Bacchus},
  Booktitle                = {Principles and Practice of Constraint Programming - CP 2010
 - 16th International Conference, CP 2010, St. Andrews, Scotland,
 UK, September 6-10, 2010. Proceedings},
  Year                     = {2010},
  Pages                    = {176-190},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://dx.doi.org/10.1007/978-3-642-15396-9_17},
  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/aaai/GoultiaevaB10,
  Title                    = {Exploiting QBF Duality on a Circuit Representation},
  Author                   = {Alexandra Goultiaeva and
 Fahiem Bacchus},
  Booktitle                = {Proceedings of the Twenty-Fourth AAAI Conference on Artificial
 Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11-15,
 2010},
  Year                     = {2010},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI10/paper/view/1791},
  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/sat/GoultiaevaB10,
  Title                    = {Exploiting Circuit Representations in QBF Solving},
  Author                   = {Alexandra Goultiaeva and
 Fahiem Bacchus},
  Booktitle                = {Theory and Applications of Satisfiability Testing - SAT
 2010, 13th International Conference, SAT 2010, Edinburgh,
 UK, July 11-14, 2010. Proceedings},
  Year                     = {2010},
  Pages                    = {333-339},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://dx.doi.org/10.1007/978-3-642-14186-7_29},
  Timestamp                = {2018.09.23}
}

@Article{DBLP:journals/cviu/HoeyPBCBM10,
  Title                    = {Automated handwashing assistance for persons with dementia
 using video and a partially observable Markov decision process},
  Author                   = {Jesse Hoey and
 Pascal Poupart and
 Axel von Bertoldi and
 Tammy Craig and
 Craig Boutilier and
 Alex Mihailidis},
  Journal                  = {Computer Vision and Image Understanding},
  Year                     = {2010},
  Number                   = {5},
  Pages                    = {503-519},
  Volume                   = {114},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://dx.doi.org/10.1016/j.cviu.2009.06.008},
  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/socs/HsuM10,
  Title                    = {Computing Equivalent Transformations for Combinatorial Optimization
 by Branch-and-Bound Search},
  Author                   = {Eric I. Hsu and
 Sheila A. McIlraith},
  Booktitle                = {SOCS},
  Year                     = {2010},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://aaai.org/ocs/index.php/SOCS/SOCS10/paper/view/2097},
  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/kr/HuL10,
  Title                    = {A Correctness Result for Reasoning about One-Dimensional
 Planning Problems},
  Author                   = {Yuxiao Hu and
 Hector J. Levesque},
  Booktitle                = {KR},
  Year                     = {2010},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1270},
  Timestamp                = {2018.09.23}
}

@InProceedings{LiMM.10,
  Title                    = {Integrating Preferences into Goal Models for Requirements Engineering},
  Author                   = {Sotirios Liaskos and
 Sheila A. McIlraith and
 Shirin Sohrabi and
 John Mylopoulos},
  Booktitle                = {Proceedings of the 10th International Requirements Engineering Conference 
(RE'10)},
  Year                     = {2010},

  Address                  = {Sydney, Australia},

  Timestamp                = {2018.09.23},
  Url                      = {1284489411_PrefsRE10.pdf}
}

@InProceedings{DBLP:conf/sigecom/LuB10,
  Title                    = {The unavailable candidate model: a decision-theoretic view
 of social choice},
  Author                   = {Tyler Lu and
 Craig Boutilier},
  Booktitle                = {Proceedings 11th ACM Conference on Electronic Commerce (EC-2010),
 Cambridge, Massachusetts, USA, June 7-11, 2010},
  Year                     = {2010},
  Pages                    = {263-274},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://doi.acm.org/10.1145/1807342.1807385},
  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/date/MangassarianLGVB10,
  Title                    = {Leveraging dominators for preprocessing QBF},
  Author                   = {Hratch Mangassarian and
 Bao Le and
 Alexandra Goultiaeva and
 Andreas G. Veneris and
 Fahiem Bacchus},
  Booktitle                = {Design, Automation and Test in Europe, DATE 2010, Dresden,
 Germany, March 8-12, 2010},
  Year                     = {2010},
  Pages                    = {1695-1700},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5457088},
  Timestamp                = {2018.09.23}
}

@InProceedings{mui-etal-wara10,
  Title                    = {{Fast d-DNNF Compilation with sharpSAT}},
  Author                   = {Muise, Christian and McIlraith, Sheila A. and Beck, J. Christopher},
  Booktitle                = {Workshop on Abstraction, Reformulation, and Approximation (AAAI-10)},
  Year                     = {2010},

  Address                  = {Atlanta, GA, USA},

  File                     = {:home/cjmuise/Documents/Mendeley Desktop/Workshop on Abstraction, Reformulation, and Approximation (AAAI-10)/2010/Fast d-DNNF Compilation with sharpSAT.pdf:pdf},
  Timestamp                = {2018.09.23},
  Url                      = {http://www.haz.ca/docs/papers/wara-muise-10.pdf}
}

@InProceedings{DBLP:conf/aaai/ReganB10,
  Title                    = {Robust Policy Computation in Reward-Uncertain MDPs Using
 Nondominated Policies},
  Author                   = {Kevin Regan and
 Craig Boutilier},
  Booktitle                = {Proceedings of the Twenty-Fourth AAAI Conference on Artificial
 Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11-15,
 2010},
  Year                     = {2010},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI10/paper/view/1610},
  Timestamp                = {2018.09.23}
}

@InProceedings{soh-mci-iswc-dc-10,
  Title                    = { Customizing the Composition of Actions, Programs, and Web Services with User 
Preferences.},
  Author                   = {Shirin Sohrabi},
  Booktitle                = {ISWC10 Doctoral Consortium},
  Year                     = {2010},

  Address                  = {Shanghai, China},
  Month                    = {November},

  Timestamp                = {2018.09.23},
  Url                      = {1284490303_}
}

@InProceedings{sohBiaMcIKR10,
  Title                    = {Diagnosis as Planning Revisited},
  Author                   = {Shirin Sohrabi and Jorge A. Baier and Sheila A. McIlraith},
  Booktitle                = {Proceedings of the 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR-10)},
  Year                     = {2010},

  Address                  = {Toronto, Canada},
  Month                    = {May},
  Pages                    = {26-36},

  Timestamp                = {2018.09.23},
  Url                      = {1273446217_KR10-014.pdf}
}

@InProceedings{DBLP:conf/semweb/SohrabiM10,
  Title                    = {Preference-Based Web Service Composition: A Middle Ground
 between Execution and Search},
  Author                   = {Shirin Sohrabi and
 Sheila A. McIlraith},
  Booktitle                = {International Semantic Web Conference (1)},
  Year                     = {2010},
  Pages                    = {713-729},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://dx.doi.org/10.1007/978-3-642-17746-0_45},
  Timestamp                = {2018.09.23}
}

@InProceedings{soh-mci-iswc10,
  Title                    = {Preference-based Web Service Composition: A Middle Ground Between Execution and 
Search},
  Author                   = {Shirin Sohrabi and Sheila A. McIlraith},
  Booktitle                = {Proceedings of the 9th International Semantic Web 
Conference (ISWC10)},
  Year                     = {2010},

  Address                  = {Shanghai, China},
  Month                    = {November},

  Timestamp                = {2018.09.23},
  Url                      = {1284490294_}
}

@InProceedings{DBLP:conf/nips/ViappianiB10,
  Title                    = {Optimal Bayesian Recommendation Sets and Myopically Optimal
 Choice Query Sets},
  Author                   = {Paolo Viappiani and
 Craig Boutilier},
  Booktitle                = {Advances in Neural Information Processing Systems 23: 24th
 Annual Conference on Neural Information Processing Systems
 2010. Proceedings of a meeting held 6-9 December 2010, Vancouver,
 British Columbia, Canada},
  Year                     = {2010},
  Pages                    = {2352-2360},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://books.nips.cc/papers/files/nips23/NIPS2010_0444.pdf},
  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/aaai/WalshBSSNP10,
  Title                    = {Automated Channel Abstraction for Advertising Auctions},
  Author                   = {William E. Walsh and
 Craig Boutilier and
 Tuomas Sandholm and
 Rob Shields and
 George L. Nemhauser and
 David C. Parkes},
  Booktitle                = {Proceedings of the Twenty-Fourth AAAI Conference on Artificial
 Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11-15,
 2010},
  Year                     = {2010},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI10/paper/view/1905},
  Timestamp                = {2018.09.23}
}

@Article{DBLP:journals/jair/BacchusDP09,
  Title                    = {Solving \#SAT and Bayesian Inference with Backtracking Search},
  Author                   = {Fahiem Bacchus and
 Shannon Dalmao and
 Toniann Pitassi},
  Journal                  = {J. Artif. Intell. Res. (JAIR)},
  Year                     = {2009},
  Pages                    = {391-442},
  Volume                   = {34},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://dx.doi.org/10.1613/jair.2648},
  Timestamp                = {2018.09.23}
}

@Article{DBLP:journals/ai/BaierBM09,
  Title                    = {A heuristic search approach to planning with temporally
 extended preferences},
  Author                   = {Jorge A. Baier and
 Fahiem Bacchus and
 Sheila A. McIlraith},
  Journal                  = {Artif. Intell.},
  Year                     = {2009},
  Number                   = {5-6},
  Pages                    = {593-618},
  Volume                   = {173},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://dx.doi.org/10.1016/j.artint.2008.11.011},
  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/icml/BoutilierRV09,
  Title                    = {Online feature elicitation in interactive optimization},
  Author                   = {Craig Boutilier and
 Kevin Regan and
 Paolo Viappiani},
  Booktitle                = {Proceedings of the 26th Annual International Conference
 on Machine Learning, ICML 2009, Montreal, Quebec, Canada,
 June 14-18, 2009},
  Year                     = {2009},
  Pages                    = {10},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://doi.acm.org/10.1145/1553374.1553384},
  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/recsys/BoutilierRV09,
  Title                    = {Preference elicitation with subjective features},
  Author                   = {Craig Boutilier and
 Kevin Regan and
 Paolo Viappiani},
  Booktitle                = {Proceedings of the 2009 ACM Conference on Recommender Systems,
 RecSys 2009, New York, NY, USA, October 23-25, 2009},
  Year                     = {2009},
  Pages                    = {341-344},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://doi.acm.org/10.1145/1639714.1639783},
  Timestamp                = {2018.09.23}
}

@PhdThesis{fri-phd09,
  Title                    = {Monitoring the Generation and Execution of Optimal Plans},
  Author                   = {Christian Fritz},
  School                   = {University of Toronto},
  Year                     = {2009},
  Month                    = {April},

  Timestamp                = {2018.09.23},
  Url                      = {Fritz_Christian_W_200906_PhD_thesis.pdf}
}

@InProceedings{fri-hull-su-icdt09,
  Title                    = {Automatic Construction of Simple Artifact-based Business Processes},
  Author                   = {Christian Fritz and Rick Hull and Jianwen Su},
  Booktitle                = {Proceedings of the 12th International Conference on Database Theory (ICDT), St. Petersburg, Russia, March 23-25, 2009},
  Year                     = {2009},
  Pages                    = {225-238},

  Timestamp                = {2018.09.23},
  Url                      = {fri-hull-su-icdt09.pdf}
}

@InProceedings{fri-mci-icaps09,
  Title                    = {Computing Robust Plans in Continuous Domains},
  Author                   = {Christian Fritz and Sheila McIlraith},
  Booktitle                = {Proceedings of the 19th International Conference on Automated Planning and Scheduling (ICAPS), September 19-23, 2009, Thessaloniki, Greece},
  Year                     = {2009},
  Pages                    = {346--349},

  Keyword                  = {Planning},
  Timestamp                = {2018.09.23},
  Urlpaper                 = {fri-mci-icaps09.pdf}
}

@InProceedings{fri-mci-uai09,
  Title                    = {Generating Optimal Plans in Highly-Dynamic Domains},
  Author                   = {Christian Fritz and Sheila A. McIlraith},
  Booktitle                = {Proceedings of The 25th Conference on Uncertainty in Artificial Intelligence (UAI), Montreal, Canada, June 18-21},
  Year                     = {2009},

  Keyword                  = {Planning},
  Timestamp                = {2018.09.23},
  Urlpaper                 = {fri-mci-uai09.pdf}
}

@InProceedings{DBLP:conf/sat/GoultiaevaIB09,
  Title                    = {Beyond CNF: A Circuit-Based QBF Solver},
  Author                   = {Alexandra Goultiaeva and
 Vicki Iverson and
 Fahiem Bacchus},
  Booktitle                = {Theory and Applications of Satisfiability Testing - SAT
 2009, 12th International Conference, SAT 2009, Swansea,
 UK, June 30 - July 3, 2009. Proceedings},
  Year                     = {2009},
  Pages                    = {412-426},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://dx.doi.org/10.1007/978-3-642-02777-2_38},
  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/iui/HuiPB09,
  Title                    = {A probabilistic mental model for estimating disruption},
  Author                   = {Bowen Hui and
 Grant Partridge and
 Craig Boutilier},
  Booktitle                = {Proceedings of the 2009 International Conference on Intelligent
 User Interfaces, February 8-11, 2009, Sanibel Island, Florida,
 USA},
  Year                     = {2009},
  Pages                    = {287-296},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://doi.acm.org/10.1145/1502650.1502691},
  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/ijcai/KitchingB09,
  Title                    = {Exploiting Decomposition on Constraint Problems with High
 Tree-Width},
  Author                   = {Matthew Kitching and
 Fahiem Bacchus},
  Booktitle                = {IJCAI 2009, Proceedings of the 21st International Joint
 Conference on Artificial Intelligence, Pasadena, California,
 USA, July 11-17, 2009},
  Year                     = {2009},
  Pages                    = {525-531},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://ijcai.org/papers09/Papers/IJCAI09-094.pdf},
  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/ijcai/KitchingB09a,
  Title                    = {Set Branching in Constraint Optimization},
  Author                   = {Matthew Kitching and
 Fahiem Bacchus},
  Booktitle                = {IJCAI 2009, Proceedings of the 21st International Joint
 Conference on Artificial Intelligence, Pasadena, California,
 USA, July 11-17, 2009},
  Year                     = {2009},
  Pages                    = {532-537},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://ijcai.org/papers09/Papers/IJCAI09-095.pdf},
  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/birthday/LakemeyerL09,
  Title                    = {A Semantical Account of Progression in the Presence of Defaults},
  Author                   = {Gerhard Lakemeyer and
 Hector J. Levesque},
  Booktitle                = {Conceptual Modeling: Foundations and Applications},
  Year                     = {2009},
  Pages                    = {82-98},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://dx.doi.org/10.1007/978-3-642-02463-4_6},
  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/ijcai/LakemeyerL09,
  Title                    = {A Semantical Account of Progression in the Presence of Defaults},
  Author                   = {Gerhard Lakemeyer and
 Hector J. Levesque},
  Booktitle                = {IJCAI},
  Year                     = {2009},
  Pages                    = {842-847},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://ijcai.org/papers09/Papers/IJCAI09-144.pdf},
  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/ijcai/Levesque09,
  Title                    = {Is It Enough to Get the Behavior Right?},
  Author                   = {Hector J. Levesque},
  Booktitle                = {IJCAI},
  Year                     = {2009},
  Pages                    = {1439-1444},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://ijcai.org/papers09/Papers/IJCAI09-241.pdf},
  Timestamp                = {2018.09.23}
}

@InProceedings{Muise2009,
  Title                    = {{Exploiting N-gram Analysis to Predict Operator Sequences}},
  Author                   = {Muise, Christian and Mcilraith, Sheila A. and Baier, Jorge A. and Reimer, Michael},
  Booktitle                = {19th International Conference on Automated Planning and Scheduling},
  Year                     = {2009},

  Address                  = {Thessaloniki, Greece},

  File                     = {:home/cjmuise/Documents/Mendeley Desktop/19th International Conference on Automated Planning and Scheduling/2009/Exploiting N-gram Analysis to Predict Operator Sequences.pdf:pdf},
  Timestamp                = {2018.09.23},
  Url                      = {http://www.haz.ca/docs/papers/mui-etal-icaps09.pdf}
}

@InProceedings{DBLP:conf/uai/ReganB09,
  Title                    = {Regret-based Reward Elicitation for Markov Decision Processes},
  Author                   = {Kevin Regan and
 Craig Boutilier},
  Booktitle                = {UAI 2009, Proceedings of the Twenty-Fifth Conference on
 Uncertainty in Artificial Intelligence, Montreal, QC, Canada,
 June 18-21, 2009},
  Year                     = {2009},
  Pages                    = {444-451},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://uai.sis.pitt.edu/displayArticleDetails.jsp?mmnu=1{\&}smnu=2{\&}article_id=1627{\&}proceeding_id=25},
  Timestamp                = {2018.09.23}
}

@Article{DBLP:journals/ai/SannerB09,
  Title                    = {Practical solution techniques for first-order MDPs},
  Author                   = {Scott Sanner and
 Craig Boutilier},
  Journal                  = {Artif. Intell.},
  Year                     = {2009},
  Number                   = {5-6},
  Pages                    = {748-788},
  Volume                   = {173},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://dx.doi.org/10.1016/j.artint.2008.11.003},
  Timestamp                = {2018.09.23}
}

@InProceedings{sohBiaMcIIJCAI09,
  Title                    = {HTN Planning with Preferences},
  Author                   = {Shirin Sohrabi and Jorge A. Baier and Sheila A. McIlraith},
  Booktitle                = {Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI-09)},
  Year                     = {2009},

  Address                  = {Pasadena, CA, USA},
  Month                    = {July},
  Note                     = {This paper also appears in Commonsense 2009.},
  Pages                    = {1790 --1797},

  Timestamp                = {2018.09.23},
  Url                      = {1242050782_Sohrabi-IJCAI09.pdf}
}

@InProceedings{soh-mci-iswc09,
  Title                    = {Optimizing Web Service Composition while Enforcing Regulations},
  Author                   = {Shirin Sohrabi and Sheila A. McIlraith},
  Booktitle                = {Proceedings of the 8th International Semantic Web Conference (ISWC09)},
  Year                     = {2009},

  Address                  = {Chantilly, VA, USA},
  Month                    = {October},
  Pages                    = {601-617},

  Timestamp                = {2018.09.23},
  Url                      = {1256919754_soh-mci-ISWC-09.pdf}
}

@InCollection{soh-pro-mci-jm09,
  Title                    = {Web Service Composition via the Customization of Golog Programs with User Preferences},
  Author                   = {Shirin Sohrabi and Nataliya Prokoshyna and Sheila A. McIlraith},
  Booktitle                = {Conceptual Modeling: Foundations and Applications: Essays in Honor of John Mylopoulos},
  Publisher                = {Springer-Verlag},
  Year                     = {2009},
  Editor                   = {Alexander T. Borgida and Vinay K. Chaudhri and Paolo Giorgini and Eric S. Yu},
  Pages                    = {319--334},

  Keywords                 = {Golog},
  Opturl                   = {soh-pro-mci-jm09.pdf},
  Timestamp                = {2018.09.23},
  Url                      = {1249664263_soh-pro-mci-jm09.pdf}
}

@InProceedings{DBLP:conf/ijcai/ViappianiB09,
  Title                    = {Optimal Set Recommendations Based on Regret},
  Author                   = {Paolo Viappiani and
 Craig Boutilier},
  Booktitle                = {Proceedings of the 7th Workshop on Intelligent Techniques
 for Web Personalization {\&} Recommender Systems (ITWP'09),
 Pasadena, California, USA, July 11-17, 2009 in conjunction
 with the 21st International Joint Conference on Artificial
 Intelligence - IJCAI 2009},
  Year                     = {2009},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://ceur-ws.org/Vol-528/paper3.pdf},
  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/recsys/ViappianiB09,
  Title                    = {Regret-based optimal recommendation sets in conversational
 recommender systems},
  Author                   = {Paolo Viappiani and
 Craig Boutilier},
  Booktitle                = {Proceedings of the 2009 ACM Conference on Recommender Systems,
 RecSys 2009, New York, NY, USA, October 23-25, 2009},
  Year                     = {2009},
  Pages                    = {101-108},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://doi.acm.org/10.1145/1639714.1639732},
  Timestamp                = {2018.09.23}
}

@Proceedings{DBLP:conf/ijcai/2009,
  Title                    = {IJCAI 2009, Proceedings of the 21st International Joint
 Conference on Artificial Intelligence, Pasadena, California,
 USA, July 11-17, 2009},
  Year                     = {2009},
  Editor                   = {Craig Boutilier},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Booktitle                = {IJCAI},
  Timestamp                = {2018.09.23}
}

@InProceedings{bai-fri-bie-mci-aaai08nectar,
  Title                    = {Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners},
  Author                   = {Jorge A. Baier and Christian Fritz and Meghyn Bienvenu and Sheila McIlraith},
  Booktitle                = {Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence (AAAI), Nectar Track},
  Year                     = {2008},

  Address                  = {Chicago, Illinois, USA},
  Month                    = {July 13--17},
  Pages                    = {1509--1512},

  Timestamp                = {2018.09.23},
  Url                      = {bai-fri-bie-mci-aaai08nectar.pdf}
}

@InProceedings{bin-mci-kr08,
  Title                    = {Peer-to-peer Query Answering with Inconsistent Knowledge},
  Author                   = {Arnold Binas and Sheila A. McIlraith},
  Booktitle                = {Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning},
  Year                     = {2008},

  Address                  = {Sydney, Australia},
  Month                    = {September 16--19},
  Pages                    = {329--339},

  Timestamp                = {2018.09.23},
  Url                      = {bin-mci-kr08.pdf}
}

@InProceedings{DBLP:conf/aaai/BoutilierPSW08,
  Title                    = {Expressive Banner Ad Auctions and Model-Based Online Optimization
 for Clearing},
  Author                   = {Craig Boutilier and
 David C. Parkes and
 Tuomas Sandholm and
 William E. Walsh},
  Booktitle                = {Proceedings of the Twenty-Third AAAI Conference on Artificial
 Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17,
 2008},
  Year                     = {2008},
  Pages                    = {30-37},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://www.aaai.org/Library/AAAI/2008/aaai08-005.php},
  Timestamp                = {2018.09.23}
}

@Article{DBLP:journals/aim/BraziunasB08,
  Title                    = {Elicitation of Factored Utilities},
  Author                   = {Darius Braziunas and
 Craig Boutilier},
  Journal                  = {AI Magazine},
  Year                     = {2008},
  Number                   = {4},
  Pages                    = {79-92},
  Volume                   = {29},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://www.aaai.org/ojs/index.php/aimagazine/article/view/2203},
  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/atal/ChalkiadakisB08,
  Title                    = {Sequential decision making in repeated coalition formation
 under uncertainty},
  Author                   = {Georgios Chalkiadakis and
 Craig Boutilier},
  Booktitle                = {7th International Joint Conference on Autonomous Agents
 and Multiagent Systems (AAMAS 2008), Estoril, Portugal,
 May 12-16, 2008, Volume 1},
  Year                     = {2008},
  Pages                    = {347-354},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://doi.acm.org/10.1145/1402383.1402435},
  Timestamp                = {2018.09.23}
}

@InProceedings{fri-aaai08,
  Title                    = {Finding State Similarities for Faster Planning},
  Author                   = {Christian Fritz},
  Booktitle                = {Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence (AAAI)},
  Year                     = {2008},

  Address                  = {Chicago, Illinois, USA},
  Month                    = {July 13--17},
  Pages                    = {925--930},

  Timestamp                = {2018.09.23},
  Url                      = {fri-aaai08.pdf}
}

@InProceedings{fri-bai-mci-kr08,
  Title                    = {Con{G}olog, {S}in {T}rans: Compiling {ConGolog} into Basic Action Theories for Planning and Beyond},
  Author                   = {Christian Fritz and Jorge A. Baier and Sheila A. McIlraith},
  Booktitle                = {Proceedings on the 11th International Conference on Principles of Knowledge Representation and Reasoning},
  Year                     = {2008},

  Address                  = {Sydney, Australia},
  Month                    = {September 16--19},
  Note                     = {Technical Report CSRG-576, containing the proofs of the theorems and a more detailed description of the compilation, can be found \<a href="ftp://ftp.cs.toronto.edu/csrg-technical-reports/576/fri-bai-mci-kr08-techreport.pdf"\>here\</a\>.},
  Pages                    = {600--610},

  Keywords                 = {Golog},
  Timestamp                = {2018.09.23},
  Url                      = {fri-bai-mci-kr08.pdf}
}

@InProceedings{fri-mci-icaps08,
  Title                    = {Planning in the Face of Frequent Exogenous Events},
  Author                   = {Christian Fritz and Sheila A. McIlraith},
  Booktitle                = {Online Poster Proceedings of the 18th International Conference on Automated Planning and Scheduling (ICAPS)},
  Year                     = {2008},

  Address                  = {Sydney, Australia},
  Month                    = {September 14--18},
  Note                     = {Also appeared in \<i\>Proceedings of The 1st International Symposium on Search Techniques in Artificial Intelligence and Robotics (at AAAI08)\</i\>, July 13--14, Chicago, IL, USA.},

  Timestamp                = {2018.09.23},
  Url                      = {fri-mci-icaps08.pdf}
}

@InProceedings{GuSou2008ReasoningB,
  Title                    = {Reasoning about Large Taxonomies of Actions},
  Author                   = {Yilan Gu and Mikhail Soutchanski},
  Booktitle                = {Proceedings of the Twenty-Third National Conference on Artificial Intelligence ({AAAI-08})},
  Year                     = {2008},
  Pages                    = {931--937},
  Publisher                = {AAAI},

  Timestamp                = {2018.09.23},
  Url                      = {1239204621_GuSou2008.pdf}
}

@InProceedings{hahmann08mereotopology,
  Title                    = {A model-theoretic characterization of {Asher and Vieu's} ontology of mereotopology},
  Author                   = {Hahmann, Torsten and Gruninger, Michael},
  Booktitle                = {Proceedings of {KR}'08: Principles of Knowledge Representation and Reasoning},
  Year                     = {2008},

  Address                  = {Sydney, Australia},
  Month                    = {September 16--19},

  Opturl                   = {hahmann08mereotopology.pdf},
  Timestamp                = {2018.09.23},
  Url                      = {1225747764_hahmann08mereotopology.pdf}
}

@InProceedings{DBLP:conf/aaai/HertelBPG08,
  Title                    = {Clause Learning Can Effectively P-Simulate General Propositional
 Resolution},
  Author                   = {Philipp Hertel and
 Fahiem Bacchus and
 Toniann Pitassi and
 Allen Van Gelder},
  Booktitle                = {Proceedings of the Twenty-Third AAAI Conference on Artificial
 Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17,
 2008},
  Year                     = {2008},
  Pages                    = {283-290},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://www.aaai.org/Library/AAAI/2008/aaai08-045.php},
  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/cp/HsuMBM08,
  Title                    = {{Probabilistically Estimating Backbones and Variable Bias: Experimental Overview}},
  Author                   = {Hsu, Eric I and Muise, Christian and Beck, J. Christopher and McIlraith, Sheila A.},
  Booktitle                = {Principles and Practice of Constraint Programming, 14th International Conference},
  Year                     = {2008},

  Address                  = {Sydney, Australia},
  Pages                    = {613--617},

  File                     = {:home/cjmuise/Documents/Mendeley Desktop/Principles and Practice of Constraint Programming, 14th International Conference/2008/Probabilistically Estimating Backbones and Variable Bias Experimental Overview.pdf:pdf},
  Timestamp                = {2018.09.23},
  Url                      = {http://www.haz.ca/docs/papers/hsu-cp2008.pdf}
}

@InProceedings{DBLP:conf/uai/HuiB08,
  Title                    = {Toward Experiential Utility Elicitation for Interface Customization},
  Author                   = {Bowen Hui and
 Craig Boutilier},
  Booktitle                = {UAI 2008, Proceedings of the 24th Conference in Uncertainty
 in Artificial Intelligence, Helsinki, Finland, July 9-12,
 2008},
  Year                     = {2008},
  Pages                    = {298-305},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://uai.sis.pitt.edu/displayArticleDetails.jsp?mmnu=1{\&}smnu=2{\&}article_id=1954{\&}proceeding_id=24},
  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/avi/HuiGIB08,
  Title                    = {The need for an interaction cost model in adaptive interfaces},
  Author                   = {Bowen Hui and
 Sean Gustafson and
 Pourang Irani and
 Craig Boutilier},
  Booktitle                = {Proceedings of the working conference on Advanced Visual
 Interfaces, AVI 2008, Napoli, Italy, May 28-30, 2008},
  Year                     = {2008},
  Pages                    = {458-461},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://doi.acm.org/10.1145/1385569.1385658},
  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/cp/KitchingB08,
  Title                    = {Exploiting Decomposition in Constraint Optimization Problems},
  Author                   = {Matthew Kitching and
 Fahiem Bacchus},
  Booktitle                = {Principles and Practice of Constraint Programming, 14th
 International Conference, CP 2008, Sydney, Australia, September
 14-18, 2008. Proceedings},
  Year                     = {2008},
  Pages                    = {478-492},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://dx.doi.org/10.1007/978-3-540-85958-1_32},
  Timestamp                = {2018.09.23}
}

@Article{DBLP:journals/jucs/LindgaardEJPFWBHNFW08,
  Title                    = {Intelligent Decision Support in Medicine: Back to Bayes?},
  Author                   = {Gitte Lindgaard and
 Peter Egan and
 Colin N. Jones and
 Catherine Pyper and
 Monique Frize and
 Robin C. Walker and
 Craig Boutilier and
 Bowen Hui and
 Sheila Narasimhan and
 Janette Folkens and
 Bill Winogron},
  Journal                  = {J. UCS},
  Year                     = {2008},
  Number                   = {16},
  Pages                    = {2720-2736},
  Volume                   = {14},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Timestamp                = {2018.09.23}
}

@InProceedings{sohMciBiaICAPSworkshop08,
  Title                    = {HTN Planning with Quantitative Preferences via Heuristic Search},
  Author                   = {Shirin Sohrabi and Jorge A. Baier and Sheila McIlraith},
  Booktitle                = {Eighteeth International Conference on Automated Planning and Scheduling (ICAPS) Workshop on Oversubscribed Planning and Scheduling},
  Year                     = {2008},

  Address                  = {Sydney, Australia},

  Timestamp                = {2018.09.23},
  Url                      = {soh-bai-mci-icaps08wkshp.pdf}
}

@InProceedings{mpref08SohMcI,
  Title                    = {On Planning with Preferences in HTN},
  Author                   = {Shirin Sohrabi and Sheila A. McIlraith},
  Booktitle                = {the 4th Multidisciplinary Workshop on Advances in Preference Handling (M-Pref08) at AAAI-08},
  Year                     = {2008},

  Address                  = {Chicago, IL, USA},
  Month                    = {July},
  Pages                    = {103-109},

  Timestamp                = {2018.09.23},
  Url                      = {1225922953_soh-mci-m-pref08.pdf}
}

@InProceedings{nmr08sohMcI,
  Title                    = {On Planning with Preferences in HTN},
  Author                   = {Shirin Sohrabi and Sheila A. McIlraith},
  Booktitle                = {the 12th International Workshop on Non-Monotonic Reasoning (NMR08)},
  Year                     = {2008},

  Address                  = {Sydney, Australia},
  Month                    = {September},
  Pages                    = {241-248},

  Timestamp                = {2018.09.23},
  Url                      = {1225923005_soh-mci-nmr08.pdf}
}

@InProceedings{vassos08localeffect,
  Title                    = {First-Order Strong Progression for Local-Effect Basic Action
 Theories},
  Author                   = {Vassos, Stavros and Gerhard, Lakemeyer and Levesque, Hector},
  Booktitle                = {Proceedings of the Eleventh International Conference on
 Principles of Knowledge Representation and Reasoning (KR-08)},
  Year                     = {2008},

  Address                  = {Sydney, Australia},
  Month                    = {September 16--19},
  Note                     = {To appear.},

  Timestamp                = {2018.09.23},
  Url                      = {vassos-lakemeyer-levesque08localeffect.pdf}
}

@InProceedings{vassos08conjecture,
  Title                    = {On the Progression of Situation Calculus Basic Action Theories:
 Resolving a 10-year-old Conjecture},
  Author                   = {Vassos, Stavros and Levesque, Hector},
  Booktitle                = {Proceedings of the Twenty-Third AAAI Conference on Artificial
 Intelligence (AAAI-08)},
  Year                     = {2008},

  Address                  = {Chicago, Illinois, USA},
  Month                    = {July 13--17},
  Pages                    = {1004-1009},

  Abstract                 = {In a seminal paper, Lin and Reiter introduced a
model-theoretic definition for the progression of the initial
knowledge base of a basic action theory. This definition comes
with a strong negative result, namely that for certain kinds of
action theories, first-order logic is not expressive enough to
correctly characterize this form of progression, and second-order
axioms are necessary. However, Lin and Reiter also considered an
alternative definition for progression which is always
first-order definable. They conjectured that this alternative
definition is incorrect in the sense that the progressed theory
is too weak and may sometimes lose information. This conjecture,
and the status of first-order definable progression, has remained
open since then. In this paper we present two significant results
about this alternative definition of progression. First, we prove
the Lin and Reiter conjecture by presenting a case where the
progressed theory indeed does lose information. Second, we prove
that the alternative definition is nonetheless correct for
reasoning about a large class of sentences, including some that
quantify over situations. In this case the alternative definition
is a preferred option due to its simplicity and the fact that it
is always first-order.},
  Areas                    = {Cognitive Robotics},
  Keyword                  = {progression, reasoning about action, situation calculus, cognitive robotics},
  Timestamp                = {2018.09.23},
  Url                      = {vassos-levesque08conjecture.pdf}
}

In a seminal paper, Lin and Reiter introduced a model-theoretic definition for the progression of the initial knowledge base of a basic action theory. This definition comes with a strong negative result, namely that for certain kinds of action theories, first-order logic is not expressive enough to correctly characterize this form of progression, and second-order axioms are necessary. However, Lin and Reiter also considered an alternative definition for progression which is always first-order definable. They conjectured that this alternative definition is incorrect in the sense that the progressed theory is too weak and may sometimes lose information. This conjecture, and the status of first-order definable progression, has remained open since then. In this paper we present two significant results about this alternative definition of progression. First, we prove the Lin and Reiter conjecture by presenting a case where the progressed theory indeed does lose information. Second, we prove that the alternative definition is nonetheless correct for reasoning about a large class of sentences, including some that quantify over situations. In this case the alternative definition is a preferred option due to its simplicity and the fact that it is always first-order.

@InProceedings{DBLP:conf/aaai/WalshPSB08,
  Title                    = {Computing Reserve Prices and Identifying the Value Distribution
 in Real-world Auctions with Market Disruptions},
  Author                   = {William E. Walsh and
 David C. Parkes and
 Tuomas Sandholm and
 Craig Boutilier},
  Booktitle                = {Proceedings of the Twenty-Third AAAI Conference on Artificial
 Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17,
 2008},
  Year                     = {2008},
  Pages                    = {1499-1502},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://www.aaai.org/Library/AAAI/2008/aaai08-248.php},
  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/cp/Bacchus07,
  Title                    = {Caching in Backtracking Search},
  Author                   = {Fahiem Bacchus},
  Booktitle                = {Principles and Practice of Constraint Programming - CP 2007,
 13th International Conference, CP 2007, Providence, RI,
 USA, September 23-27, 2007, Proceedings},
  Year                     = {2007},
  Pages                    = {1},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://dx.doi.org/10.1007/978-3-540-74970-7_1},
  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/cp/Bacchus07a,
  Title                    = {GAC Via Unit Propagation},
  Author                   = {Fahiem Bacchus},
  Booktitle                = {Principles and Practice of Constraint Programming - CP 2007,
 13th International Conference, CP 2007, Providence, RI,
 USA, September 23-27, 2007, Proceedings},
  Year                     = {2007},
  Pages                    = {133-147},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://dx.doi.org/10.1007/978-3-540-74970-7_12},
  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/cp/BacchusS07,
  Title                    = {Solution Directed Backjumping for QCSP},
  Author                   = {Fahiem Bacchus and
 Kostas Stergiou},
  Booktitle                = {Principles and Practice of Constraint Programming - CP 2007,
 13th International Conference, CP 2007, Providence, RI,
 USA, September 23-27, 2007, Proceedings},
  Year                     = {2007},
  Pages                    = {148-163},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://dx.doi.org/10.1007/978-3-540-74970-7_13},
  Timestamp                = {2018.09.23}
}

@InProceedings{bai-fri-mci-icaps07,
  Title                    = {Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners},
  Author                   = {Jorge A. Baier and Christian Fritz and Sheila A. McIlraith},
  Booktitle                = {Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling (ICAPS 2007)},
  Year                     = {2007},

  Address                  = {Providence, Rhode Island, USA},
  Month                    = {September 22 - 26},

  Timestamp                = {2018.09.23},
  Url                      = {bai-fri-mci-icaps07.pdf}
}

@InProceedings{bai-mci-nrac07,
  Title                    = {On Domain-Independent Heuristics for Planning with Qualitative Preferences},
  Author                   = {Jorge A. Baier and Sheila McIlraith},
  Booktitle                = {Proceedings of the 7th IJCAI International Workshop on
Nonmonotonic Reasoning, Action and Change (NRAC-07)},
  Year                     = {2007},

  Address                  = {Hyderabad, India},
  Month                    = {January},

  Timestamp                = {2018.09.23},
  Url                      = {bai-mci-nrac07.pdf}
}

@InProceedings{bai-bac-mci-ijcai07,
  Title                    = {A Heuristic Search Approach to Planning with Temporally Extended Preferences},
  Author                   = {Baier, J. and Bacchus, F. and McIlraith, S.},
  Booktitle                = {Proceedings of the Twentieth International Joint 
 Conference on Artificial Intelligence (IJCAI-07)},
  Year                     = {2007},

  Address                  = {Hyderabad, India},
  Month                    = {January},
  Pages                    = {1808-1815},

  Timestamp                = {2018.09.23},
  Url                      = {bai-bac-mci-ijcai07.pdf}
}

@InProceedings{BSSCSP,
  Title                    = {On the Stochastic Constraint Satisfaction Framework},
  Author                   = {L. Bordeaux and H. Samulowitz},
  Booktitle                = { SAC 2007 (The 22nd Annual ACM Symposium on Applied Computing)},
  Year                     = {2007},
  Publisher                = ACM,

  Timestamp                = {2018.09.23},
  Url                      = {BSSCSP.pdf}
}

@InProceedings{BraziunasBoutilier-UAI07,
  Title                    = {Minimax regret based elicitation of generalized additive utilities},
  Author                   = {Darius Braziunas and Craig Boutilier},
  Booktitle                = {Proceedings of the Twenty-third Conference on Uncertainty in Artificial 
Intelligence (UAI-07)},
  Year                     = {2007},

  Address                  = {Vancouver},

  Timestamp                = {2018.09.23},
  Url                      = {BraziunasBoutilier-UAI07.pdf}
}

@InProceedings{chalkiadakis:ijcai07,
  Title                    = {Coalitional Bargaining with Agent Type Uncertainty},
  Author                   = {Georgios Chalkiadakis and Craig Boutilier},
  Booktitle                = {Proceedings of the Twentieth International Joint Conference in Artificial Intelligence (IJCAI-07)},
  Year                     = {2007},

  Address                  = {Hyderabad, India},
  Pages                    = {1227--1232},

  Timestamp                = {2018.09.23},
  Url                      = {gehalk_IJCAI07.pdf}
}

@InProceedings{chalkiadakis:aamas07,
  Title                    = {Coalition Formation under Uncertainty: Bargaining Equilibria and the Bayesian Core Stability Concept},
  Author                   = {Georgios Chalkiadakis and Evangelos Markakis and Craig Boutilier},
  Booktitle                = {Proceedings of the Sixth International Joint
 Conference on Autonomous Agents and Multiagent Systems (AAMAS-07)},
  Year                     = {2007},

  Address                  = {Hawaii, USA},

  Timestamp                = {2018.09.23},
  Url                      = {gehalk_AAMAS07.pdf}
}

@InProceedings{ClassenHuLakemeyer2007PDDL,
  Title                    = {A Situation-Calculus Semantics for an Expressive Fragment of
PDDL},
  Author                   = {Jens Classen and Yuxiao Hu and Gerhard Lakemeyer},
  Booktitle                = {Proceedings of the Twentysecond Conference on Artificial Intelligence
(AAAI-07)},
  Year                     = {2007},
  Note                     = {to appear},
  Publisher                = {AAAI Press},

  Timestamp                = {2018.09.23},
  Url                      = {ClassenHuLakemeyer2007PDDL.pdf}
}

@InProceedings{sharp2clseq07,
  Title                    = {Using More Reasoning to Improve \#SAT Solving},
  Author                   = {J. Davies and F. Bacchus},
  Booktitle                = {AAAI},
  Year                     = {2007},
  Publisher                = Springer,

  Timestamp                = {2018.09.23},
  Url                      = {davies_aaai07.pdf}
}

@InProceedings{fri-mci-dx07.pdf_200705141423,
  Title                    = {Monitoring Plan Optimality during Execution: Theory and Implementation},
  Author                   = {Christian Fritz and Sheila McIlraith},
  Booktitle                = {The 18th International Workshop on Principles of Diagnosis (DX-07)},
  Year                     = {2007},

  Address                  = {Nashville, TN, USA},
  Month                    = {May 29--31},
  Note                     = {An extended version of this paper appeared at ICAPS07.},

  Timestamp                = {2018.09.23},
  Url                      = {200705141423_fri-mci-dx07.pdf.pdf}
}

@InProceedings{fri-mci-icaps07,
  Title                    = {Monitoring Plan Optimality During Execution},
  Author                   = {Christian Fritz and Sheila A. McIlraith},
  Booktitle                = {Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling (ICAPS 2007)},
  Year                     = {2007},

  Address                  = {Providence, Rhode Island, USA},
  Month                    = {September 22 - 26},

  Abstract                 = {
A great deal of research has addressed the problem of generating
optimal plans, but these plans are of limited use in
circumstances where noisy sensors, unanticipated exogenous
actions, or imperfect models result in discrepancies between
predicted and observed states of the world during plan execution.
Such discrepancies bring into question the continued optimality
of the plan being executed and, according to current-day
practice, are resolved by aborting the plan and replanning, often
unnecessarily. In this paper we address the problem of monitoring
the continued optimality of a given plan at execution time, in
the face of such discrepancies. While replanning cannot be
avoided when critical aspects of the environment change, our
objective is to avoid replanning unnecessarily. We address the
problem by building on practical approaches to monitoring plan
validity. We begin by formalizing plan validity in the situation
calculus and characterizing common approaches to monitoring plan
validity. We then generalize this characterization to the notion
of plan optimality and propose an algorithm that verifies
continued plan optimality. We have implemented our algorithm and
tested it on simulated execution failures in well-known planning
domains. Experimental results yield a significant speed-up in
performance over the alternative of replanning, clearly
demonstrating the merit of our approach.},
  Keyword                  = {execution monitoring, planning},
  Timestamp                = {2018.09.23},
  Url                      = {fri-mci-icaps07.pdf}
}

A great deal of research has addressed the problem of generating optimal plans, but these plans are of limited use in circumstances where noisy sensors, unanticipated exogenous actions, or imperfect models result in discrepancies between predicted and observed states of the world during plan execution. Such discrepancies bring into question the continued optimality of the plan being executed and, according to current-day practice, are resolved by aborting the plan and replanning, often unnecessarily. In this paper we address the problem of monitoring the continued optimality of a given plan at execution time, in the face of such discrepancies. While replanning cannot be avoided when critical aspects of the environment change, our objective is to avoid replanning unnecessarily. We address the problem by building on practical approaches to monitoring plan validity. We begin by formalizing plan validity in the situation calculus and characterizing common approaches to monitoring plan validity. We then generalize this characterization to the notion of plan optimality and propose an algorithm that verifies continued plan optimality. We have implemented our algorithm and tested it on simulated execution failures in well-known planning domains. Experimental results yield a significant speed-up in performance over the alternative of replanning, clearly demonstrating the merit of our approach.

@InProceedings{fri-mci-icaps07ws,
  Title                    = {Monitoring Policy Execution},
  Author                   = {Christian Fritz and Sheila A. McIlraith},
  Booktitle                = {Proceedings of the 3rd Workshop on Planning and Plan Execution for Real-World Systems},
  Year                     = {2007},

  Address                  = {Providence, Rhode Island, USA},
  Month                    = {September 22},
  Note                     = {(at ICAPS07)},

  Timestamp                = {2018.09.23},
  Url                      = {fri-mci-icaps07WS.pdf}
}

@InProceedings{GuSouIJCAI07decidableSC,
  Title                    = {Decidable Reasoning in a Modified Situation Calculus},
  Author                   = {Yilan Gu and Mikhail Soutchanski},
  Booktitle                = {Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07)},
  Year                     = {2007},

  Address                  = {Hyderabad,Andhra Pradesh, India},
  Month                    = {January},

  Timestamp                = {2018.09.23},
  Url                      = {YGu_ijcai07_deciableSC.pdf}
}

@InProceedings{GuSouNRAC07mbat,
  Title                    = {Modular Basic Action Theories},
  Author                   = {Yilan Gu and Mikhail Soutchanski},
  Booktitle                = {Proceedings of the 7th IJCAI International Workshop on Nonmontonic Reasoning, Action and Change (NRAC-07)},
  Year                     = {2007},

  Address                  = {Hyderabad,Andhra Pradesh, India},
  Editor                   = {Mary Anne Williams and Alankar Karol and Pavlos Peppas},
  Month                    = {January},
  Pages                    = {73--78},

  Timestamp                = {2018.09.23},
  Url                      = {YGu_nrac07_mBAT.pdf}
}

@InProceedings{hsu07,
  Title                    = {Using Expectation Maximization to Find Likely Assignments
 for Solving CSP's},
  Author                   = {Eric I. Hsu and Matthew Kitching and Fahiem Bacchus and
 Sheila A. McIlraith},
  Booktitle                = {Proc. of 22nd Conference on Artificial Intelligence (AAAI
 '07), Vancouver, Canada},
  Year                     = {2007},

  Timestamp                = {2018.09.23},
  Url                      = {eihsu_aaai07.pdf}
}

@InProceedings{hyafilBoutilier-ijcai07,
  Title                    = {One-Shot Mechanism Design with Partial Revelation},
  Author                   = {Nathanael Hyafil and Craig Boutilier},
  Booktitle                = {Proceedings of the Twentieth International Joint
 Conference on Artificial Intelligence (IJCAI 2007)},
  Year                     = {2007},

  Timestamp                = {2018.09.23},
  Url                      = {HyafilBoutilier-IJCAI07.pdf}
}

@InProceedings{kitching07,
  Title                    = {Symmetric Component Caching},
  Author                   = {M. Kitching and F. Bacchus},
  Booktitle                = {Proc. of the 20th International Joint Conference on
 Artificial Intelligence (IJCAI '07), Hyderabad, India},
  Year                     = {2007},

  Timestamp                = {2018.09.23}
}

@InProceedings{DBLP:conf/sat/SamulowitzB07,
  Title                    = {Dynamically Partitioning for Solving QBF},
  Author                   = {Horst Samulowitz and
 Fahiem Bacchus},
  Booktitle                = {Theory and Applications of Satisfiability Testing - SAT
 2007, 10th International Conference, Lisbon, Portugal, May
 28-31, 2007, Proceedings},
  Year                     = {2007},
  Pages                    = {215-229},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://dx.doi.org/10.1007/978-3-540-72788-0_22},
  Timestamp                = {2018.09.23}
}

@InProceedings{vaqtree07,
  Title                    = {Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC},
  Author                   = {J. Simmonds and J. Davies and A. Gurfinkel and M. Chechik},
  Booktitle                = {FMCAD},
  Year                     = {2007},

  Timestamp                = {2018.09.23},
  Url                      = {davies_fmcad07.pdf}
}

@InProceedings{vassos07progression,
  Title                    = {Progression of Situation Calculus Action Theories with Incomplete
Information},
  Author                   = {Vassos, Stavros and Levesque, Hector },
  Booktitle                = {Proceedings of the 20th International Joint Conference on
Artificial Intelligence},
  Year                     = {2007},

  Address                  = {Hyderabad, India},
  Editor                   = {Veloso, Manuela M. },
  Month                    = {January},
  Pages                    = {2024.2029},

  Abstract                 = { 
In this paper, we propose a new progression mechanism for a
restricted form of incomplete knowledge formulated as a basic
action theory in the situation calculus. Specifically, we focus
on functional fluents and deal directly with the possible values
these fluents may have and how these values are affected by both
physical and sensing actions. The method we propose is logically
complete and can be calculated efficiently using database
techniques under certain reasonable assumptions. },
  Area                     = {Cognitive Robotics},
  Citeulike-article-id     = {1923630},
  Keyword                  = {progression, reasoning about action, situation calculus, cognitive robotics},
  Keywords                 = {ai, progression, reasoning_about_action, situation_calculus},
  Timestamp                = {2018.09.23},
  Url                      = {vassos-levesque07progression.pdf}
}

In this paper, we propose a new progression mechanism for a restricted form of incomplete knowledge formulated as a basic action theory in the situation calculus. Specifically, we focus on functional fluents and deal directly with the possible values these fluents may have and how these values are affected by both physical and sensing actions. The method we propose is logically complete and can be calculated efficiently using database techniques under certain reasonable assumptions.

@InProceedings{bai-etal-ipc5+wkshp,
  Title                    = {Planning with Temporally Extended Preferences by Heuristic Search},
  Author                   = {Baier, J. and Hussell, J. and Bacchus, F. and McIlraith, S.},
  Booktitle                = {Proceedings of the ICAPS06 Workshop on Planning with Preferences},
  Year                     = {2006},

  Address                  = {Lake District, UK},
  Month                    = {June},
  Note                     = {A version of this paper also appeared in the Fifth International Planning Competition (IPC-5) Booklet.},
  Pages                    = {7-10},

  Timestamp                = {2018.09.23},
  Url                      = {bai-etal-ipc5_wkshp.pdf}
}

@InProceedings{bai-mci-aaai06,
  Title                    = {Planning with First-Order Temporally Extended Goals Using Heuristic Search},
  Author                   = {Baier, J. and McIlraith, S.},
  Booktitle                = {Proceedings of the 21st National Conference on Artificial Intelligence (AAAI06)},
  Year                     = {2006},

  Address                  = {Boston, MA},
  Month                    = {July},
  Pages                    = {788-795},

  Timestamp                = {2018.09.23},
  Url                      = {bai-mci-aaai06.pdf}
}

@InProceedings{bai-mci-icaps06,
  Title                    = {Planning with Temporally Extended Goals Using Heuristic Search},
  Author                   = {Baier, J. and McIlraith, S.},
  Booktitle                = {Proceedings of the 16th International Conference on Automated Planning and Scheduling (ICAPS06)},
  Year                     = {2006},

  Address                  = {Lake District, UK},
  Month                    = {June},
  Pages                    = {342-345},

  Timestamp                = {2018.09.23},
  Url                      = {bai-mci-icaps06.pdf}
}

@InProceedings{bai-mci-kr06,
  Title                    = {On Planning with Programs that Sense},
  Author                   = {Baier, J. and McIlraith, S.},
  Booktitle                = {Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR06)},
  Year                     = {2006},

  Address                  = {Lake District, UK},
  Month                    = {June},
  Pages                    = {492-502},

  Timestamp                = {2018.09.23},
  Url                      = {bai-mci-kr06.pdf}
}

@InProceedings{KR06BienvenuM.pdf_200603101347,
  Title                    = {Planning with Qualitative Temporal Preferences},
  Author                   = {Meghyn Bienvenu and Christian Fritz and Sheila A. McIlraith},
  Booktitle                = {Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR)},
  Year                     = {2006},

  Address                  = {Lake District, UK},
  Month                    = {June 2--5},
  Pages                    = {134-144},

  Timestamp                = {2018.09.23},
  Url                      = {200603101347_KR06BienvenuM.pdf.pdf}
}

@Article{Boger-etal:ITB06,
  Title                    = {A Planning System Based on Markov Decision Processes to Guide 
 People with Dementia Through Activities of Daily Living},
  Author                   = {Jennifer Boger and Pascal Poupart and Jesse Hoey and
 Craig Boutilier and Geoff Fernie and Alex Mihailidis},
  Journal                  = {{IEEE} Transactions on Information Technology in Biomedicine},
  Year                     = {2006},
  Number                   = {2},
  Pages                    = {323--333},
  Volume                   = {10},

  Timestamp                = {2018.09.23},
  Url                      = {CoachIEEE.pdf}
}

@Article{BPPS:AIJ06,
  Title                    = { Constraint-based Optimization and Utility Elicitation using
 the Minimax Decision Criterion},
  Author                   = {Craig Boutilier and Relu Patrascu and Pascal Poupart and
 Dale Schuurmans},
  Journal                  = {Artifical Intelligence},
  Year                     = {2006},
  Number                   = {8--9},
  Pages                    = {686--713},
  Volume                   = {170},

  Timestamp                = {2018.09.23},
  Url                      = {BPPS-aij06.pdf}
}

@InProceedings{BraziunasBoutilier-AAAI06,
  Title                    = {Preference Elicitation and Generalized Additive Utility (Nectar paper)},
  Author                   = {Darius Braziunas and Craig Boutilier},
  Booktitle                = {Proceedings of the Twenty-First National Conference on
 Artificial Intelligence (AAAI-06)},
  Year                     = {2006},

  Address                  = {Boston, MA},

  Timestamp                = {2018.09.23},
  Url                      = {BraziunasBoutilier-AAAI06.pdf}
}

@InProceedings{200603061828_KR0603FritzC.pdf_200604231150,
  Title                    = {Decision-Theoretic GOLOG with Qualitative Preferences},
  Author                   = {Fritz, C. and McIlraith, S.},
  Booktitle                = {Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR06)},
  Year                     = {2006},

  Address                  = {Lake District, UK},
  Month                    = {June},
  Pages                    = {153-163},

  Keywords                 = {Golog},
  Timestamp                = {2018.09.23},
  Url                      = {200603061828_KR0603FritzC.pdf}
}

@InProceedings{GuKiringaNMR06,
  Title                    = {Model Checking Meets Theorem Proving: a Situation Calculus Based Approach },
  Author                   = {Yilan Gu and Iluju Kiringa},
  Booktitle                = {Proceedings of the 11th International Workshop on Nonmonotonic Reasoning (NMR-06) at KR2006},
  Year                     = {2006},

  Address                  = {Lake District of the UK},
  Month                    = {June},

  Timestamp                = {2018.09.23},
  Url                      = {YGu_nmr06_modelChecking.pdf}
}

@InProceedings{GuSouAISOC06services,
  Title                    = {A Logic for Decidable Reasoning about Services},
  Author                   = {Yilan Gu and Mikhail Soutchanski},
  Booktitle                = {Proceedings of AAAI-06 workshop on AI-Driven Technologies for Services-Oriented Computing (AISOC-06)},
  Year                     = {2006},

  Address                  = {Boston, MA, US},
  Month                    = {July},
  Note                     = {Also in the Proceedings of ECAI-06 workshop on AI for Service Composition, August 2006, Riva del Garda, Italy},

  Timestamp                = {2018.09.23},
  Url                      = {YGu_aaai06_service.pdf}
}

@InProceedings{GuSouSTAIRS06,
  Title                    = {The Two-variable Situation Calculus},
  Author                   = {Yilan Gu and Mikhail Soutchanski},
  Booktitle                = {Proceedings of the third European Starting AI Researcher Symposium (STAIRS-06) at ECAI06},
  Year                     = {2006},

  Address                  = {Riva del Garda, Italy},
  Month                    = {August},

  Timestamp                = {2018.09.23},
  Url                      = {YGu_stairs06_2vSC.pdf}
}

@InProceedings{hsu-mci-sat06,
  Title                    = {Characterizing Propagation Methods for Boolean Satisfiability},
  Author                   = {Hsu, E. and McIlraith, S.},
  Booktitle                = {Proceedings of The Ninth International Conference on Theory and Applications of Satisfiability Testing (SAT'06)},
  Year                     = {2006},
  Pages                    = {325-338},

  Optaddress               = {Seattle, Washington, USA},
  Optmonth                 = {August 12 - 15},
  Timestamp                = {2018.09.23},
  Url                      = {hsu-mci-sat06.pdf}
}

@InProceedings{HuiBoutilier:iui06,
  Title                    = {Who's Asking For Help? A Bayesian Approach to
 Intelligent Assistance},
  Author                   = {Bowen Hui and Craig Boutilier},
  Booktitle                = {International Conference on Intelligent User Interfaces
 (IUI-06) },
  Year                     = {2006},

  Address                  = {Sydney},
  Pages                    = {186--193},

  Timestamp                = {2018.09.23},
  Url                      = {Hui_Boutilier_IUI06.pdf}
}

@InProceedings{hyafilboutilier-aaai06,
  Title                    = {Regret-based Incremental Partial Revelation Mechanisms},
  Author                   = {Nathanael Hyafil and Craig Boutilier},
  Booktitle                = {Proceedings of the Twenty-Second National Conference on
 Artificial Intelligence (AAAI 2006)},
  Year                     = {2006},

  Timestamp                = {2018.09.23},
  Url                      = {HyafilBoutilier-AAAI06.pdf}
}

@Article{mar+wwwj06,
  Title                    = {Bringing Semantics to Web Services with OWL-S},
  Author                   = {Martin, D. and Burstein, M. and McDermott, D. and McIlraith, S. and
Paolucci, M. and Sycara, K. and McGuinness, D. and Sirin, E. and Srinivasan, N.},
  Journal                  = {World Wide Web Journal},
  Year                     = {2006},
  Note                     = {To appear.},

  Timestamp                = {2018.09.23},
  Url                      = {mar-wwwj06.pdf}
}

@Misc{2clsQ,
  Title                    = {{QBF Solver 2clsQ}},

  Author                   = {H. Samulowitz and F. Bacchus},
  Note                     = {available at http://www.cs.toronto.edu/\~{}fbacchus/sat.html},
  Year                     = {2006},

  Timestamp                = {2018.09.23},
  Url                      = {2clsQ.pdf}
}

@InProceedings{SBSAT2006,
  Title                    = {Binary Clause Reasoning in QBF},
  Author                   = {H. Samulowitz and F. Bacchus},
  Booktitle                = {Ninth International Conference on Theory and Applications of Satisfiability Testing (SAT 2006), Lecture Notes in Computer Science 2919},
  Year                     = {2006},

  Timestamp                = {2018.09.23},
  Url                      = {SBSAT2006.pdf}
}

@Misc{SQBF,
  Title                    = {{QBF Solver SQBF}},

  Author                   = {H. Samulowitz and F. Bacchus},
  Note                     = {available at http://www.cs.toronto.edu/\~{}fbacchus/sat.html},
  Year                     = {2006},

  Timestamp                = {2018.09.23},
  Url                      = {SQBF.pdf}
}

@InProceedings{preQ06,
  Title                    = {Preprocessing {QBF}},
  Author                   = {H. Samulowitz and J. Davies and F. Bacchus},
  Booktitle                = {Principles and Practice of Constraint Programming},
  Year                     = {2006},
  Publisher                = Springer,

  Timestamp                = {2018.09.23},
  Url                      = {SBCP2006.pdf}
}

@Misc{Prequel,
  Title                    = {{QBF Preprocessor Prequel}},

  Author                   = {H. Samulowitz and J. Davies and F. Bacchus},
  Note                     = {available at http://www.cs.toronto.edu/\~{}fbacchus/sat.html},
  Year                     = {2006},

  Timestamp                = {2018.09.23},
  Url                      = {prequel.pdf}
}

@InCollection{SandholmBoutilier:CA06,
  Title                    = {Preference Elicitation in Combinatorial Auctions},
  Author                   = {Tuomas Sandholm and Craig Boutilier },
  Booktitle                = {Combinatorial Auctions},
  Publisher                = {{MIT} Press},
  Year                     = {2006},

  Address                  = {Cambridge, MA},
  Editor                   = {P. Crampton and Y. Shoham and R. Steinberg},
  Pages                    = {233--264},

  Timestamp                = {2018.09.23},
  Url                      = {elicitation.pdf}
}

@InProceedings{SannerBoutilier:uai06,
  Title                    = {Practical Linear Value-approximation Techniques 
 for First-order MDPs},
  Author                   = {Scott Sanner and Craig Boutilier},
  Booktitle                = uai06,
  Year                     = {2006},

  Address                  = {Cambridge, MA},
  Note                     = {to appear},

  Timestamp                = {2018.09.23},
  Url                      = {foapi-uai06.pdf}
}

@InProceedings{san-mci-kr06,
  Title                    = {An Ordered theory resolution calculus for hybrid reasoning in first-order extensions of description logic},
  Author                   = {Sanner, S. and McIlraith, S.},
  Booktitle                = {Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR06)},
  Year                     = {2006},

  Address                  = {Lake District, UK},
  Month                    = {June},
  Pages                    = {100-111},

  Timestamp                = {2018.09.23},
  Url                      = {san-mci-kr06.pdf}
}

@InProceedings{SDLL-KR06,
  Title                    = {On the Limits of Planning over Belief States Under Strict Uncertainty},
  Author                   = {Sardina, Sebastian and De Giacomo, Giuseppe and
 Lesp\'erance, Yves and Levesque, Hector},
  Booktitle                = KR,
  Year                     = {2006},

  Address                  = {Lake District, UK},
  Month                    = Jun,
  Pages                    = {463--471},

  Areas                    = {Cognitive Robotics},
  File                     = {KR0603SardinaS.pdf:papers/KR0603SardinaS.pdf:PDF},
  Timestamp                = {2018.09.23},
  Url                      = {KR0603SardinaS.pdf}
}

@InProceedings{sohProMcI,
  Title                    = {Web Service Composition Via Generic Procedures and Customizing User Preferences},
  Author                   = {Shirin Sohrabi and
 Natasha Prokoshyna and
 Sheila. A. McIlraith},
  Booktitle                = {Proceedings of the 5th International Semantic Web Conference (ISWC06)},
  Year                     = {2006},

  Address                  = {Athens, GA, USA},
  Month                    = {November},
  Pages                    = {597-611},

  Timestamp                = {2018.09.23},
  Url                      = {1225923302_soh-pro-mci-iswc06.pdf}
}

@Article{ami-mci-aij01,
  Title                    = {Partition-Based Logical Reasoning for First-Order and Propositional Theories},
  Author                   = {Amir, E. and McIlraith, S.},
  Journal                  = {Artificial Intelligence},
  Year                     = {2005},
  Number                   = {1-2},
  Pages                    = {49--88},
  Volume                   = {162},

  Address                  = {Essex, UK},
  ISSN                     = {0004-3702},
  Publisher                = {Elsevier Science Publishers Ltd.},
  Timestamp                = {2018.09.23},
  Url                      = {ami-mci-aij01.pdf}
}

@InProceedings{bai-mci-nrac05,
  Title                    = {Planning with Programs that Sense},
  Author                   = {Baier, J. and McIlraith, S.},
  Booktitle                = {Proceedings of the 6th International Workshop on
Nonmonotonic Reasoning, Action and Change (NRAC-05)},
  Year                     = {2005},
  Note                     = {An expanded version of this work appeared in KR-06.},
  Pages                    = {7-14},

  Timestamp                = {2018.09.23},
  Url                      = {bai-mci-nrac05.pdf}
}

@InProceedings{bie-mci-cs05,
  Title                    = {Specifying and Generating Preferred Plans},
  Author                   = {Bienvenu, M. and McIlraith, S.},
  Booktitle                = {Seventh International Symposium on Logical Formalizations 
 of Commonsense Reasoning},
  Year                     = {2005},

  Address                  = {Corfu, Greece},
  Month                    = {May 22-24},
  Pages                    = {25-31},

  Timestamp                = {2018.09.23},
  Url                      = {bie-mci-cs05.pdf}
}

@InProceedings{BPHBFH:ijcai05,
  Title                    = {A Decision-Theoretic Approach to Task Assistance for Persons
 with Dementia},
  Author                   = {Jennifer Boger and Pascal Poupart and Jesse Hoey and
 Craig Boutilier and Geoff Fernie and Alex Mihailidis},
  Booktitle                = ijcai05,
  Year                     = {2005},

  Address                  = {Edinburgh},
  Pages                    = {1293--1299},

  Timestamp                = {2018.09.23},
  Url                      = {CoachIJCAI.pdf}
}

@Article{Boutilier:DA05,
  Title                    = {The Influence of Influence Diagrams},
  Author                   = {Craig Boutilier},
  Journal                  = {Decision Analysis},
  Year                     = {2005},
  Number                   = {4},
  Pages                    = {229--231},
  Volume                   = {2},

  Timestamp                = {2018.09.23},
  Url                      = {Boutilier_HowardMathesonComment.pdf}
}

@InProceedings{BPPS:ijcai05,
  Title                    = {Regret-based Utility Elicitation in
 Constraint-based Decision Problems},
  Author                   = {Craig Boutilier and Relu Patrascu and Pascal Poupart and
 Dale Schuurmans},
  Booktitle                = ijcai05,
  Year                     = {2005},

  Address                  = {Edinburgh},
  Pages                    = {929--934},

  Timestamp                = {2018.09.23},
  Url                      = {elicConstraintsIJCAI05.pdf}
}

@InProceedings{BraziunasBoutilier-UAI05,
  Title                    = {Local Utility Elicitation in {GAI} Models},
  Author                   = {Darius Braziunas and Craig Boutilier},
  Booktitle                = {Proceedings of the Twenty-first Conference on
 Uncertainty in Artificial Intelligence},
  Year                     = {2005},

  Address                  = {Edinburgh},
  Pages                    = {42--49},

  Timestamp                = {2018.09.23},
  Url                      = {BraziunasBoutilier-UAI05.pdf}
}

@Article{cho-iwa-mci-aij05,
  Title                    = {Towards a Practical Theory of Reformulation for Reasoning
 about Physical Systems},
  Author                   = {Choueiry, B. and Iwasaki, Y. and McIlraith, S.},
  Journal                  = {Artificial Intelligence},
  Year                     = {2005},

  Month                    = {February},
  Number                   = {1-2},
  Pages                    = {145-204},
  Volume                   = {162},

  Timestamp                = {2018.09.23},
  Url                      = {cho-iwa-mci-aij05.pdf}
}

@InProceedings{fri-mci-nrac05,
  Title                    = {Compiling Qualitative Preferences into Decision-Theoretic GOLOG},
  Author                   = {Fritz, C. and McIlraith, S.},
  Booktitle                = {Proceedings of the 6th International Workshop on
 Nonmonotonic Reasoning, Action and Change (NRAC-05)},
  Year                     = {2005},
  Note                     = {An expanded version of this work appeared at KR-06.},
  Pages                    = {45-52},

  Keywords                 = {Golog},
  Timestamp                = {2018.09.23},
  Url                      = {fri-mci-nrac05.pdf}
}

@TechReport{hyafil-depth,
  Title                    = {Computational Mechanism Design -- Depth report},
  Author                   = {Nathanael Hyafil},
  Institution              = {University of Toronto},
  Year                     = {2005},

  Timestamp                = {2018.09.23},
  Url                      = {Hyafil-Depth.pdf}
}

@InProceedings{hector-ijcai05,
  Title                    = {Planning with Loops},
  Author                   = {Levesque, Hector},
  Booktitle                = {Proceedings of IJCAI-05},
  Year                     = {2005},

  Address                  = {Edinburgh},

  Areas                    = {Cognitive Robotics},
  File                     = {planner.pdf:http\://www.cs.toronto.edu/cogrobo/Papers/planner.pdf:PDF},
  Key                      = {CogRobo},
  Timestamp                = {2018.09.23},
  Url                      = {planner.pdf}
}

@InProceedings{PBDKTW:aaai05,
  Title                    = {New Approaches to Optimization and Utility Elicitation 
 in Autonomic Computing},
  Author                   = {Relu Patrascu and Craig Boutilier and Rajarshi Das and Jeffrey O. Kep
hart
 and Gerald Tesauro and William E. Walsh},
  Booktitle                = aaai05,
  Year                     = {2005},

  Address                  = {Pittsburgh},
  Pages                    = {140--145},

  Timestamp                = {2018.09.23},
  Url                      = {autonomicCG-elic.pdf}
}

@InProceedings{sqbf05,
  Title                    = {Using {SAT} in {QBF}},
  Author                   = {H. Samulowitz and F. Bacchus},
  Booktitle                = {Principles and Practice of Constraint Programming},
  Year                     = {2005},
  Publisher                = Springer,

  Timestamp                = {2018.09.23},
  Url                      = {cp2005.pdf}
}

@InProceedings{SCB:multistageAMD,
  Title                    = {Automated Design of Multistage Mechanisms},
  Author                   = {Tuomas Sandholm and Vincent Conitzer and Craig Boutilier},
  Booktitle                = {First International Workshop on Incentive Based Computing},
  Year                     = {2005},

  Address                  = {Compiegne, France},
  Pages                    = {2--12},

  Timestamp                = {2018.09.23},
  Url                      = {multistageamdIBC05.pdf}
}

@InProceedings{SannerBoutilier:uai05,
  Title                    = {Approximate Linear Programming for First-order {MDP}s},
  Author                   = {Scott Sanner and Craig Boutilier},
  Booktitle                = uai05,
  Year                     = {2005},

  Address                  = {Edinburgh},
  Pages                    = {509--517},

  Timestamp                = {2018.09.23},
  Url                      = {foalp-uai05.pdf}
}

@InProceedings{SardinaVassos-NRAC05,
  Title                    = {The {W}umpus {W}orld in {I}ndi{G}olog: {A} preliminary report},
  Author                   = {Sardina, Sebastian and Vassos, Stavros},
  Booktitle                = {Proceedings of the Workshop on Non-monotonic
 Reasoning, Action and Change at IJCAI (NRAC-05)},
  Year                     = {2005},
  Editor                   = {Morgenstern, L. and Pagnucco, M.},
  Pages                    = {90--95},

  File                     = {nrac05SV.pdf:papers/nrac05SV.pdf:PDF},
  Timestamp                = {2018.09.23},
  Url                      = {nrac05SV.pdf}
}

@Article{BBDHP:CI04,
  Title                    = {Preference-based Constrained Optimization with CP-nets},
  Author                   = {Craig Boutilier and Ronen Brafman and Carmel Domshlak
 and Holger Hoos and David Poole},
  Journal                  = {Computational Intelligence},
  Year                     = {2004},
  Number                   = {9},
  Pages                    = {137--157},
  Volume                   = {19},

  Timestamp                = {2018.09.23},
  Url                      = {cp-constraints.pdf}
}

@Article{BBDHP:JAIR04,
  Title                    = {CP-networks: A Tool for Representing and Reasoning with Conditional
 Ceteris Paribus Preference Statements},
  Author                   = {Craig Boutilier and Ronen Brafman and Carmel Domshlak
 and Holger Hoos and David Poole},
  Journal                  = {Journal of Artificial Intelligence Research},
  Year                     = {2004},
  Pages                    = {135--191},
  Volume                   = {21},

  Timestamp                = {2018.09.23},
  Url                      = {BoBrDoHoPoJAIR03-abs.pdf}
}

@InProceedings{BSS:aaai04,
  Title                    = {Eliciting Bid Taker Non-price Preferences in
 (Combinatorial) Auctions},
  Author                   = {Craig Boutilier and Tuomas Sandholm and Rob Shields},
  Booktitle                = aaai04,
  Year                     = {2004},

  Address                  = {San Jose, CA},
  Pages                    = {204--211},

  Timestamp                = {2018.09.23},
  Url                      = {scenarioNvgtn.pdf}
}

@InProceedings{BraziunasBoutilier-AAAI04,
  Title                    = {Stochastic Local Search for {POMDP} Controllers},
  Author                   = {Darius Braziunas and Craig Boutilier},
  Booktitle                = {Proceedings of the Nineteenth National Conference on
 Artificial Intelligence},
  Year                     = {2004},

  Address                  = {San Jose, CA},
  Pages                    = {690--696},

  Timestamp                = {2018.09.23},
  Url                      = {BraziunasBoutilier-AAAI04.pdf}
}

@InProceedings{chalkiadakis:aamas04,
  Title                    = {Bayesian Reinforcement Learning for Coalition Formation 
 Under Uncertainty},
  Author                   = {Georgios Chalkiadakis and Craig Boutilier},
  Booktitle                = {Proceedings of the Third International Joint
 Conference on Autonomous Agents and Multiagent Systems (AAMAS-04)},
  Year                     = {2004},

  Address                  = {New York},
  Pages                    = {1090--1097},

  Timestamp                = {2018.09.23},
  Url                      = {bayesianCoalForm.pdf}
}

@InProceedings{hyafilbacchus-ecai04,
  Title                    = {Utilizing Structured Representations and CSPs in Conformant 
Probabilistic Planning},
  Author                   = {Nathanael Hyafil and Fahiem Bacchus},
  Booktitle                = {European Conference on Artificial Intelligence
(ECAI 2004)},
  Year                     = {2004},

  Timestamp                = {2018.09.23},
  Url                      = {HyafilBacchus-ECAI04.pdf}
}

@InProceedings{hyafilboutilier-uai04,
  Title                    = {{Regret Minimizing Equilibria and Mechanisms for Games with 
 Strict Type Uncertainty}},
  Author                   = {Nathanael Hyafil and Craig Boutilier},
  Booktitle                = {Proceedings of the Twentieth Conference on
 Uncertainty in Artificial Intelligence (UAI 2004)},
  Year                     = {2004},

  Address                  = {Banff, Alberta, Canada},

  Timestamp                = {2018.09.23},
  Url                      = {HyafilBoutilier-UAI04.pdf}
}

@Unpublished{kress:msc,
  Title                    = {A Study of Limited-Precision, Incremental Elicitation in Auctions},
  Author                   = {Alexander Kress and Craig Boutilier},
  Note                     = {Working paper (see also AAMAS-04, pp.1344--1345)},
  Year                     = {2004},

  Timestamp                = {2018.09.23},
  Url                      = {limPrecBid-draft.pdf}
}

@InProceedings{LLL04,
  Title                    = {A Logic of Limited Belief for Reasoning with
 Disjunctive Information},
  Author                   = {Yongmei Liu and Gerhard Lakemeyer and Hector J.
 Levesque},
  Booktitle                = {Proc. KR-04},
  Year                     = {2004},

  Address                  = {Whistler, Canada},
  Month                    = {June},
  Pages                    = {587--597},

  File                     = {lll-kr2004.pdf:http\://www.cs.toronto.edu/cogrobo/Papers/lll-kr2004.pdf:PDF},
  Key                      = {CogRobo},
  Timestamp                = {2018.09.23},
  Url                      = {lll-kr2004.pdf}
}

@InProceedings{owls-swswpc04,
  Title                    = {Bringing Semantics to Web Services: The OWL-S Approach},
  Author                   = {Martin, D. and Paolucci, M. and McIlraith, S. and Burstein, M. and 
 McDermott, D. and McGuinness, D. and Parsia, B. and Payne, T. and Sabou, 
 M. and Solanki, M. and Srinivasan, N. and Sycara, K.},
  Booktitle                = {First International Workshop on Semantic Web Services and 
 Web Process Composition (SWSWPC 2004)},
  Year                     = {2004},

  Address                  = {San Diego, CA, USA},
  Month                    = {July 6-9},
  Note                     = {Revised Selected Papers},
  Pages                    = {26-42},

  Timestamp                = {2018.09.23},
  Url                      = {owls-swswpc04.pdf}
}

@InProceedings{PoupartBoutilier:nips04,
  Title                    = {{VDCBPI}: an Approximate Scalable Algorithm for Large Scale POMDPs},
  Author                   = {Pascal Poupart and Craig Boutilier},
  Booktitle                = {Advances in Neural Information Processing Systems 17 (NIPS-2004)},
  Year                     = {2004},

  Address                  = {Vancouver},
  Pages                    = {1081--1088},

  Timestamp                = {2018.09.23},
  Url                      = {vdcbpi.pdf}
}

@InProceedings{SDLL-COGROBO04,
  Title                    = {On Ability to Autonomously Execute Agent Programs with
 Sensing},
  Author                   = {Sardina, Sebastian and De Giacomo, Giuseppe and
 Lesp\'erance, Yves and Levesque, Hector},
  Booktitle                = {Proceedings of the 4th International Workshop on
 Cognitive Robotics (CoRobo-04)},
  Year                     = {2004},

  Address                  = {Valencia, Spain},

  File                     = {sgll-cogrobo04.pdf:http\://www.cs.toronto.edu/cogrobo/Papers/sgll-cogrobo04.pdf:PDF},
  Key                      = {CogRobo},
  Optmonth                 = {July},
  Optpages                 = {88--93},
  Timestamp                = {2018.09.23},
  Url                      = {sgll-cogrobo04.pdf}
}

@Article{SGLL04,
  Title                    = {On the Semantics of Deliberation in {I}ndi{G}olog --
 From Theory to Implementation},
  Author                   = {Sardina, Sebastian and De Giacomo, Giuseppe and
 Lesp\'erance, Yves and Levesque, Hector},
  Journal                  = {Annals of Mathematics and Artificial Intelligence},
  Year                     = {2004},

  Month                    = {August},
  Note                     = {Previous version appeared in Proc. of KR-2002},
  Number                   = {2--4},
  Pages                    = {259--299},
  Volume                   = {41},

  File                     = {sgll-amai04.pdf:http\://www.cs.toronto.edu/cogrobo/Papers/sgll-amai04.pdf:PDF},
  Key                      = {CogRobo},
  Timestamp                = {2018.09.23},
  Url                      = {sgll-amai04.pdf}
}

@InProceedings{shapiro04,
  Title                    = {Iterated Belief Change and Exogenous Actions in the
 Situation Calculus},
  Author                   = {Shapiro, Steven and Pagnucco, Maurice},
  Booktitle                = {Proceedings of the 16th European Conference on
 Artificial Intelligence (ECAI-04)},
  Year                     = {2004},

  Address                  = {Amsterdam},
  Editor                   = {L\'opez de M\'antaras, R. and Saitta, L.},
  Pages                    = {878--882},
  Publisher                = {IOS Press},

  File                     = {interbeliefecai04.pdf:http\://www.cs.toronto.edu/cogrobo/Papers/interbeliefecai04.pdf:PDF},
  Key                      = {CogRobo},
  Timestamp                = {2018.09.23},
  Url                      = {interbeliefecai04.pdf}
}

@InProceedings{boutilier-eeu:ijcai03,
  Title                    = {On the Foundations of {\em Expected} Expected Utility},
  Author                   = {Craig Boutilier},
  Booktitle                = ijcai03,
  Year                     = {2003},

  Address                  = {Acapulco},
  Pages                    = {285--290},

  Timestamp                = {2018.09.23},
  Url                      = {foundations.pdf}
}

@InProceedings{BDKTW:uai03,
  Title                    = {Cooperative Negotiation in Autonomic Systems using
 Incremental Utility Elicitation},
  Author                   = {Craig Boutilier and Rajarshi Das and Jeffrey O. Kephart
 and Gerald Tesauro and William E. Walsh},
  Booktitle                = uai03,
  Year                     = {2003},

  Address                  = {Acapulco},
  Pages                    = {89--97},

  Timestamp                = {2018.09.23},
  Url                      = {autonomic.pdf}
}

@InProceedings{BPPS:cp03,
  Title                    = {Constraint-based Optimization with the Minimax Decision Criterion},
  Author                   = {Craig Boutilier and Relu Patrascu and Pascal Poupart and
 Dale Schuurmans},
  Booktitle                = {Ninth International Conference on Principles and Practice
 of Constraint Programming},
  Year                     = {2003},

  Address                  = {Kinsale, Ireland},
  Pages                    = {168--182},

  Timestamp                = {2018.09.23},
  Url                      = {minimax-CP.pdf}
}

@InProceedings{BoutilierZemel:aistats03,
  Title                    = {Online Queries for Collaborative Filtering},
  Author                   = {Craig Boutilier and Richard S. Zemel},
  Booktitle                = {Ninth International Workshop on Artificial
 Intelligence and Statistics Systems (AI-Stats-03)},
  Year                     = {2003},

  Address                  = {Key West, FL},

  Timestamp                = {2018.09.23},
  Url                      = {querycf.pdf}
}

@InProceedings{BZM:uai03,
  Title                    = {Active Collaborative Filtering},
  Author                   = {Craig Boutilier and Richard S. Zemel and Benjamin Marlin},
  Booktitle                = uai03,
  Year                     = {2003},

  Address                  = {Acapulco},
  Pages                    = {98--106},

  Timestamp                = {2018.09.23},
  Url                      = {acf.pdf}
}

@InProceedings{Chalkiadakis:aamas03,
  Title                    = {Coordination in Multiagent Reinforcement Learning: a {Bayesian}
 Approach},
  Author                   = {Georgios Chalkiadakis and Craig Boutilier},
  Booktitle                = {Proceedings of the Second International Joint
 Conference on Autonomous Agents and Multiagent Systems (AAMAS-03)},
  Year                     = {2003},

  Address                  = {Melbourne},
  Pages                    = {709--716},

  Timestamp                = {2018.09.23},
  Url                      = {bayesMARL.pdf}
}

@InProceedings{GuNRAC03macro,
  Title                    = {Macro-actions in the Situation Calculus},
  Author                   = {Yilan Gu},
  Booktitle                = {Proceedings of the 5th IJCAI International Workshop on Nonmontonic Reasoning, Action and Change (NRAC-03)},
  Year                     = {2003},

  Address                  = {Acapulco, Mexico},
  Month                    = {August},

  Timestamp                = {2018.09.23},
  Url                      = {YGu_nrac03_macro.pdf}
}

@InProceedings{hyafilbacchus-icaps03,
  Title                    = {Conformant Probabilistic Planning via CSPs},
  Author                   = {Nathanael Hyafil and Fahiem Bacchus},
  Booktitle                = {International Conference on Automated
 Planning and Scheduling (ICAPS 2003)},
  Year                     = {2003},

  Timestamp                = {2018.09.23},
  Url                      = {HyafilBacchus-ICAPS03.pdf}
}

@PhdThesis{Kiringa03-Phd,
  Title                    = {Logical Foundations of Active Databases},
  Author                   = {Kiringa, Iluju},
  School                   = {Department of Computer Science, University of Toronto},
  Year                     = {2003},

  Address                  = {Toronto, Canada},

  File                     = {phdKiringa.pdf:http\://www.cs.toronto.edu/cogrobo/Papers/phdKiringa.pdf:PDF},
  Key                      = {CogRobo},
  Timestamp                = {2018.09.23},
  Url                      = {phdKiringa.pdf}
}

@InProceedings{Liu03,
  Title                    = {A Tractability Result for Reasoning with Incomplete
 First-Order Knowledge Bases},
  Author                   = {Liu, Yongmei and Levesque, Hector},
  Booktitle                = {Proc. IJCAI-03},
  Year                     = {2003},

  Address                  = {Acapulco, Mexico},
  Month                    = {August},
  Pages                    = {83--88},

  File                     = {liu03trac.ps:http\://www.cs.toronto.edu/cogrobo/Papers/liu03trac.ps:PostScript},
  Key                      = {CogRobo},
  Timestamp                = {2018.09.23},
  Url                      = {liu03trac.pdf}
}

@InProceedings{mp-ijcai03,
  Title                    = {Practical Partition-Based Theorem Proving for Large Knowledge Bases},
  Author                   = {MacCartney, B. and McIlraith, S. and Amir, E. and Uribe, T.},
  Booktitle                = {Proceedings of the Nineteenth International Conference on Artificial Intelligence (IJCAI-03)},
  Year                     = {2003},

  Address                  = {Acapulco, Mexico},
  Month                    = {August 9-15},
  Pages                    = {89-98},

  Timestamp                = {2018.09.23},
  Url                      = {mp-ijcai03.pdf}
}

@InProceedings{iswc2003sam-djm-FINAL,
  Title                    = {Adapting BPEL4WS for the Semantic Web: The Bottom-Up 
 Approach to Web Service Interoperation},
  Author                   = {Mandell, D.J. and McIlraith, S.},
  Booktitle                = {Second International Semantic Web Conference (ISWC2003)},
  Year                     = {2003},

  Address                  = {Sanibel Island, FL, USA},
  Month                    = {October 20-23},
  Pages                    = {227-241},

  Timestamp                = {2018.09.23},
  Url                      = {iswc2003sam-djm-FINAL.pdf}
}

@InProceedings{www-ESSW03-workshop,
  Title                    = {A Bottom-Up Approach to Automating Web Service Discovery, Customization, and Semantic Translation},
  Author                   = {Mandell, D. and McIlraith, S.},
  Booktitle                = {Proceedings of the Twelfth International World Wide Web Conference, Workshop on E-Services and the Semantic Web (ESSW'03)},
  Year                     = {2003},

  Address                  = {Budapest},

  Timestamp                = {2018.09.23},
  Url                      = {www-ESSW03-workshop.pdf}
}

@Article{semantics-ieeeis03,
  Title                    = {Bringing Semantics to Web Services},
  Author                   = {McIlraith, S. and Martin, D.},
  Journal                  = {IEEE Intelligent Systems},
  Year                     = {2003},

  Month                    = {January/February},
  Number                   = {1},
  Pages                    = {90-93},
  Volume                   = {18},

  Timestamp                = {2018.09.23},
  Url                      = {ieee03.pdf}
}

@Article{web-services-03,
  Title                    = {Analysis and Simulation of Web Services},
  Author                   = {Narayanan, S. and McIlraith, S.},
  Journal                  = {Computer Networks},
  Year                     = {2003},
  Number                   = {5},
  Pages                    = {675-693},
  Volume                   = {42},

  Timestamp                = {2018.09.23},
  Url                      = {web-services-03.pdf}
}

@InProceedings{PoupartBoutilier:nips03,
  Title                    = {Bounded Finite State Controllers},
  Author                   = {Pascal Poupart and Craig Boutilier},
  Booktitle                = {Advances in Neural Information Processing Systems 16 (NIPS-2003)},
  Year                     = {2003},

  Address                  = {Vancouver},

  Timestamp                = {2018.09.23},
  Url                      = {bfsc.pdf}
}

@InProceedings{PriceBoutilier:ijcai03,
  Title                    = {A Bayesian Approach to Imitation in Reinforcement Learning},
  Author                   = {Bob Price and Craig Boutilier},
  Booktitle                = ijcai03,
  Year                     = {2003},

  Address                  = {Acapulco},
  Pages                    = {712--717},

  Timestamp                = {2018.09.23},
  Url                      = {BayesImitation.pdf}
}

@Article{PriceBoutilier:JAIR03,
  Title                    = {Accelerating Reinforcement Learning through Implicit Imitation},
  Author                   = {Bob Price and Craig Boutilier},
  Journal                  = {Journal of Artificial Intelligence Research},
  Year                     = {2003},
  Pages                    = {569--629},
  Volume                   = {19},

  Timestamp                = {2018.09.23},
  Url                      = {PriceBoutilierJAIR03-abs.pdf}
}

@InProceedings{Sardina03,
  Title                    = {Rational Action in Agent Programs with Prioritized
 Goals},
  Author                   = {Sardi\~na, Sebastian and Shapiro, Steven},
  Booktitle                = {Proceedings of the Second International Joint
 Conference on Autonomous Agents and Multiagent Systems
 (AAMAS-03)},
  Year                     = {2003},

  Address                  = {Melbourne, Australia},
  Month                    = {July},
  Pages                    = {417--424},
  Publisher                = {ACM Press},

  File                     = {aamas03.pdf:http\://www.cs.toronto.edu/cogrobo/Papers/aamas03.pdf:PDF;aamas03.ps:http\://www.cs.toronto.edu/cogrobo/Papers/aamas03.ps:PostScript},
  Key                      = {CogRobo},
  Timestamp                = {2018.09.23},
  Url                      = {aamas03.pdf}
}

@Article{Scherl03,
  Title                    = {Knowledge, Action, and the Frame Problem},
  Author                   = {Scherl, R. and Levesque, H. J.},
  Journal                  = {Artificial Intelligence},
  Year                     = {2003},
  Number                   = {1--2},
  Pages                    = {1--39},
  Volume                   = {144},

  File                     = {aij03frame.pdf:http\://www.cs.toronto.edu/cogrobo/Papers/aij03frame.pdf:PDF},
  Key                      = {CogRobo},
  Timestamp                = {2018.09.23},
  Url                      = {aij03frame.pdf}
}

@InProceedings{WangBoutilier:ijcai03,
  Title                    = {Incremental Utility Elicitation with the Minimax Regret Decision
 Criterion},
  Author                   = {Tianhan Wang and Craig Boutilier},
  Booktitle                = ijcai03,
  Year                     = {2003},

  Address                  = {Acapulco},
  Pages                    = {309--316},

  Timestamp                = {2018.09.23},
  Url                      = {minimax.pdf}
}

@InProceedings{Boutilier-bidlang:aaai02,
  Title                    = {Solving Concisely Expressed Combinatorial Auction Problems},
  Author                   = {Craig Boutilier},
  Booktitle                = aaai02,
  Year                     = {2002},

  Address                  = {Edmonton},
  Pages                    = {359--366},

  Timestamp                = {2018.09.23},
  Url                      = {bidcomp.pdf}
}

@InProceedings{Boutilier-preference:aaai02,
  Title                    = {A {POMDP} Formulation of Preference Elicitation Problems},
  Author                   = {Craig Boutilier},
  Booktitle                = aaai02,
  Year                     = {2002},

  Address                  = {Edmonton},
  Pages                    = {239--246},

  Timestamp                = {2018.09.23},
  Url                      = {pefa.pdf}
}

@Article{semweb-ieeec-02,
  Title                    = {Toward Behavioral Intelligence in the Semantic Web},
  Author                   = {Bryson, J. and Martin, D. and McIlraith, S. and Stein, L.},
  Journal                  = {IEEE Computer, Special Issue on Web Intelligence},
  Year                     = {2002},

  Month                    = {November},
  Number                   = {11},
  Pages                    = {48-55},
  Volume                   = {35},

  Timestamp                = {2018.09.23},
  Url                      = {semweb-ieeec-02.pdf}
}

@InProceedings{damls-iswc02,
  Title                    = {DAML-S: Web Service Description for the Semantic Web},
  Author                   = {(DAML Services Coalition) and A. Ankolekar and M. Burstein and J. Hobbs and O. Lassila and D. Martin and 
 D. McDermott and S. McIlraith and S. Narayanan and M. Paolucci and T. Payne and K. Sycara},
  Booktitle                = {Proceedings of the International Semantic Web Conference (ISWC)},
  Year                     = {2002},

  Address                  = {Sardinia, Italy},
  Month                    = {July 9-12},
  Pages                    = {348-363},

  Timestamp                = {2018.09.23},
  Url                      = {damls-iswc02.pdf}
}

@InProceedings{Giuseppe02,
  Title                    = {On the Semantics of Deliberation in {I}ndi{G}olog --
 From Theory to Implementation},
  Author                   = {De Giacomo, Giuseppe and Lesp\'erance, Yves and
 Levesque, Hector and Sardi\~na, Sebastian},
  Booktitle                = {Proceedings of Eighth International Conference in
 Principles of Knowledge Representation and Reasoning
 (KR-2002)},
  Year                     = {2002},

  Address                  = {Toulouse, France},
  Editor                   = {.\ Fensel and F.\ Giunchiglia and D.\ McGuinness and
 M. A. Williams},
  Month                    = {April},
  Pages                    = {603--614},
  Publisher                = {Morgan Kaufmann},

  File                     = {kr02-semdelib.pdf:http\://www.cs.toronto.edu/cogrobo/Papers/kr02-semdelib.pdf:PDF;kr02-semdelib.ps:http\://www.cs.toronto.edu/cogrobo/Papers/kr02-semdelib.ps:PostScript},
  Key                      = {CogRobo},
  Opturl                   = {http://www.cs.toronto.edu/cogrobo/Papers/kr02-semdelib.ps.gz},
  Timestamp                = {2018.09.23},
  Url                      = {kr02-semdelib.pdf}
}

@InProceedings{Gabaldon02,
  Title                    = {Programming Hierarchical Task Networks in the
 Situation Calculus},
  Author                   = {Alfredo Gabaldon},
  Booktitle                = {{AIPS}'02 Workshop on On-line Planning and Scheduling},
  Year                     = {2002},

  Address                  = {Toulouse, France},
  Month                    = {April},

  File                     = {htn-opw.pdf:http\://www.cs.toronto.edu/cogrobo/Papers/htn-opw.pdf:PDF;htn-opw.ps:http\://www.cs.toronto.edu/cogrobo/Papers/htn-opw.ps:PostScript},
  Key                      = {CogRobo},
  Opturl                   = {http://www.cs.toronto.edu/cogrobo/Papers/htn-opw.ps.gz},
  Timestamp                = {2018.09.23},
  Url                      = {htn-opw.pdf}
}

@MastersThesis{Gu2002msthesis,
  Title                    = {Handling Uncertainty System in the Situation Calculus with Macro-actions},
  Author                   = {Yilan Gu},
  School                   = {Dept. of Computer Science, University of Toronto},
  Year                     = {2002},
  Month                    = {October},

  Timestamp                = {2018.09.23},
  Url                      = {YGu_ut02_MSthesis.pdf}
}

@InProceedings{Kiringa02a,
  Title                    = {Specifying Event Logics for Active Databases},
  Author                   = {Kiringa, I.},
  Booktitle                = {Proceedings of the KR 8th International Workshop on
 Knowledge Representation Meets Databases (KRDB'02)},
  Year                     = {2002},

  Address                  = {Toulouse},
  Month                    = {April},

  File                     = {krdb02.pdf:http\://www.cs.toronto.edu/cogrobo/Papers/krdb02.pdf:PDF;krdb02.ps:http\://www.cs.toronto.edu/cogrobo/Papers/krdb02.ps:PostScript},
  Key                      = {CogRobo},
  Opturl                   = {http://www.cs.toronto.edu/cogrobo/Papers/krdb02.ps.gz},
  Timestamp                = {2018.09.23},
  Url                      = {krdb02.pdf}
}

@InProceedings{uai02,
  Title                    = {Monitoring a Complex Physical System using a Hybrid Dynamic Bayes Net},
  Author                   = {Lerner, U. and Moses, B. and Scott, M. and McIlraith, S. and Koller, D.},
  Booktitle                = {Proceedings of the Eighteenth Annual Conference 
 on Uncertainty in Artificial Intelligence (UAI-2002)},
  Year                     = {2002},

  Address                  = {University of Alberta, Edmonton},
  Month                    = {August 1-4},
  Pages                    = {301-310},

  Timestamp                = {2018.09.23},
  Url                      = {uai02.pdf}
}

@InProceedings{Liu02,
  Title                    = {A Hoare-Style Proof System for Robot Programs},
  Author                   = {Yongmei Liu},
  Booktitle                = {Proceedings of AAAI-02},
  Year                     = {2002},

  Address                  = {Edmonton, Canada},
  Month                    = {July},

  File                     = {hg.pdf:http\://www.cs.toronto.edu/cogrobo/Papers/hg.pdf:PDF;hg.ps:http\://www.cs.toronto.edu/cogrobo/Papers/hg.ps:PostScript},
  Key                      = {CogRobo},
  Opturl                   = {http://www.cs.toronto.edu/cogrobo/Papers/hg.ps.gz},
  Timestamp                = {2018.09.23},
  Url                      = {hg.pdf}
}

@InProceedings{mci-fad-nmr02f,
  Title                    = {Planning with Complex Actions},
  Author                   = {McIlraith, S. and Fadel, R.},
  Booktitle                = {Proceedings of the Ninth International Workshop on Non-Monotonic Reasoning (NMR2002)},
  Year                     = {2002},

  Address                  = {Toulouse, France},
  Month                    = {April 19-21},
  Pages                    = {356-364},

  Timestamp                = {2018.09.23},
  Url                      = {mci-fad-nmr02f.pdf}
}

@InProceedings{mci-son-kr02,
  Title                    = {Adapting Golog for Composition of Semantic Web Services},
  Author                   = {McIlraith, S. and Son, T.},
  Booktitle                = {Proceedings of the Eighth International Conference on Knowledge Representation and Reasoning (KR2002)},
  Year                     = {2002},

  Address                  = {Toulouse, France},
  Month                    = {April 22-25},
  Pages                    = {482-493},

  Keywords                 = {Golog},
  Timestamp                = {2018.09.23},
  Url                      = {mci-son-kr02.pdf}
}

@InProceedings{nar-mci-www11,
  Title                    = {Simulation, Verification and Automated Composition of Web Services},
  Author                   = {Narayanan, S. and McIlraith, S. },
  Booktitle                = {Proceedings of the Eleventh International World Wide Web Conference (WWW-11)},
  Year                     = {2002},

  Address                  = {Honolulu, Hawaii, USA},
  Month                    = {May 7-11},
  Pages                    = {77-88},

  Timestamp                = {2018.09.23},
  Url                      = {nar-mci-www11.pdf}
}

@InProceedings{Petrick02,
  Title                    = {Knowledge Equivalence in Combined Action Theories},
  Author                   = {Petrick, Ron and Levesque, Hector},
  Booktitle                = {Proceedings of KR-2002},
  Year                     = {2002},

  Address                  = {Toulouse, France},
  Month                    = {April},

  File                     = {kr2002-ron.pdf:http\://www.cs.toronto.edu/cogrobo/Papers/kr2002-ron.pdf:PDF;kr2002-ron.ps:http\://www.cs.toronto.edu/cogrobo/Papers/kr2002-ron.ps:PostScript},
  Key                      = {CogRobo},
  Opturl                   = {http://www.cs.toronto.edu/cogrobo/Papers/kr2002-ron.ps.gz},
  Timestamp                = {2018.09.23},
  Url                      = {kr2002-ron.pdf}
}

@InProceedings{PoupartBoutilier:nips02,
  Title                    = {Value-directed Compressions of {POMDPs}},
  Author                   = {Pascal Poupart and Craig Boutilier},
  Booktitle                = {Advances in Neural Information Processing Systems 15 (NIPS-2002)},
  Year                     = {2002},

  Address                  = {Vancouver},
  Pages                    = {1547--1554},

  Timestamp                = {2018.09.23},
  Url                      = {vdib.pdf}
}

@InProceedings{PBPS:aaai02,
  Title                    = {Piecewise Linear Value Function Approximation for Factored {MDPs}},
  Author                   = {Pascal Poupart and Craig Boutilier and Relu Patrascu
 and Dale Schuurmans},
  Booktitle                = aaai02,
  Year                     = {2002},

  Address                  = {Edmonton},
  Pages                    = {292--299},

  Timestamp                = {2018.09.23},
  Url                      = {basistrees.pdf}
}

@InProceedings{PPSBG:aaai02,
  Title                    = {Greedy Linear Value-approximation for Factored
 Markov Decision Processes},
  Author                   = {Pascal Poupart and Relu Patrascu and Dale Schuurmans and
 Craig Boutilier and Carlos Guestrin},
  Booktitle                = aaai02,
  Year                     = {2002},

  Address                  = {Edmonton},
  Pages                    = {285--291},

  Timestamp                = {2018.09.23},
  Url                      = {basislinear.pdf}
}

@InCollection{shapiro02,
  Title                    = {The Cognitive Agents Specification Language and
 Verification Environment for Multiagent Systems},
  Author                   = {Shapiro, Steven and Lesp\'{e}rance, Yves and Levesque,
 Hector J.},
  Booktitle                = { Proc. of the First Int. Joint Conference on
 Autonomous Agents and Multiagent Systems (AAMAS-02)},
  Publisher                = {ACM Press},
  Year                     = {2002},
  Editor                   = {Christiano Castelfranchi and W. L. Johnson},
  Pages                    = {19--26},

  File                     = {aamas02.ps:http\://www.cs.toronto.edu/cogrobo/Papers/aamas02.ps:PostScript},
  Key                      = {CogRobo},
  Timestamp                = {2018.09.23},
  Url                      = {aamas02.pdf}
}

@InProceedings{sat01,
  Title                    = {Solving Satisfiability using Decomposition and the Most Constrained Subproblem (Preliminary Report)},
  Author                   = {Amir, E. and McIlraith, S.},
  Booktitle                = {Proceedings of LICS 2001 Workshop on Theory and Applications of Satisfiability Testing (SAT 2001)},
  Year                     = {2001},

  Address                  = {Boston, Massachusetts, USA},
  Editor                   = {Henry Kautz and Bart Selman},
  Month                    = {June 14-15},
  Publisher                = {Elsevier Publishing},
  Series                   = {Electronics Notes in Discrete Mathematics},

  Timestamp                = {2018.09.23},
  Url                      = {sat01.pdf}
}

@InProceedings{sat01ws,
  Title                    = {Theorem Proving with Structured Theories (Preliminary Report)},
  Author                   = {Amir, E. and McIlraith, S.},
  Booktitle                = {Proceedings of LICS 2001 Workshop on Theory and Applications of Satisfiability Testing (SAT 2001)},
  Year                     = {2001},

  Address                  = {Boston, Massachusetts, USA},
  Editor                   = {Henry Kautz and Bart Selman},
  Month                    = {June 14-15},
  Publisher                = {Elsevier Publishing},
  Series                   = {Electronics Notes in Discrete Mathematics},

  Timestamp                = {2018.09.23},
  Url                      = {ami-mci-sat01b.pdf}
}

@InProceedings{ucpnets:uai01,
  Title                    = {{UCP-Networks}: A Directed Graphical Representation of Conditional
 Utilities},
  Author                   = {Craig Boutilier and Fahiem Bacchus and Ronen I. Brafman},
  Booktitle                = uai01,
  Year                     = {2001},

  Address                  = {Seattle},
  Pages                    = {56--64},

  Timestamp                = {2018.09.23},
  Url                      = {ucpnets.pdf}
}

@Article{BoutilierBrafman:JAIR01,
  Title                    = {Planning with Concurrent Interacting Actions},
  Author                   = {Craig Boutilier and Ronen I. Brafman},
  Journal                  = {Journal of Artificial Intelligence Research},
  Year                     = {2001},
  Pages                    = {105--136},
  Volume                   = {14},

  Timestamp                = {2018.09.23},
  Url                      = {boutilier01a.pdf}
}

@InProceedings{BoutilierHoos:ijcai01,
  Title                    = {Bidding Languages for Combinatorial Auctions},
  Author                   = {Craig Boutilier and Holger H. Hoos},
  Booktitle                = ijcai01,
  Year                     = {2001},

  Address                  = {Seattle},
  Pages                    = {1211--1217},

  Timestamp                = {2018.09.23},
  Url                      = {bidlang.pdf}
}

@InProceedings{Boutilier01,
  Title                    = {Symbolic Dynamic Programming for {First-Order} {MDPs}},
  Author                   = {Craig Boutilier and Ray Reiter and Bob Price},
  Booktitle                = {Proceedings of the seventeenth International
 Conference on Artificial Intelligence (IJCAI-01)},
  Year                     = {2001},

  Address                  = {San Francisco, CA},
  Editor                   = {Bernhard Nebel},
  Month                    = {August 4--10},
  Pages                    = {690--697},
  Publisher                = {Morgan Kaufmann Publishers, Inc.},

  File                     = {dtregression.pdf:http\://www.cs.toronto.edu/cogrobo/Papers/dtregression.pdf:PDF;dtregression.ps:http\://www.cs.toronto.edu/cogrobo/Papers/dtregression.ps:PostScript},
  Key                      = {CogRobo},
  Opturl                   = {http://www.cs.toronto.edu/cogrobo/Papers/dtregression.ps.gz},
  Timestamp                = {2018.09.23},
  Url                      = {dtregression.pdf}
}

@InProceedings{daml-s,
  Title                    = {DAML-S: Semantic Markup for Web Services},
  Author                   = {(DAML Services Coalition) and A. Ankolekar and M. Burstein and J. Hobbs and O. Lassila and D. Martin and 
 D. McDermott and S. McIlraith and S. Narayanan and M. Paolucci and T. Payne and K. Sycara},
  Booktitle                = {Proceedings of the International Semantic Web Working Symposium (SWWS)},
  Year                     = {2001},

  Address                  = {Stanford University, California, USA},
  Month                    = {July 30 - August 1},
  Pages                    = {411-430},

  Timestamp                = {2018.09.23},
  Url                      = {daml-s.pdf}
}

@Article{Giuseppe01,
  Title                    = {Incremental Execution of Guarded Theories},
  Author                   = {De Giacomo, Giuseppe and Levesque, Hector J. and
 Sardina, Sebastian},
  Journal                  = {ACM Transactions on Computational Logic (TOCL)},
  Year                     = {2001},

  Month                    = {October},
  Number                   = {4},
  Pages                    = {495--525},
  Volume                   = {2},

  File                     = {TOCL01-DGLS.pdf:papers/TOCL01-DGLS.pdf:PDF},
  Key                      = {CogRobo},
  Timestamp                = {2018.09.23},
  Url                      = {TOCL01-DGLS.pdf}
}

@InProceedings{Kiringa01a,
  Title                    = {Simulation of Advanced Transaction Models Using GOLOG},
  Author                   = {Kiringa, I},
  Booktitle                = {Proceedings of the 8th Biennial Workshop on Data Bases
 and Programming Languages (DBPL'01)},
  Year                     = {2001},

  File                     = {dbpl01.pdf:http\://www.cs.toronto.edu/cogrobo/Papers/dbpl01.pdf:PDF;dbpl01.ps:http\://www.cs.toronto.edu/cogrobo/Papers/dbpl01.ps:PostScript},
  Key                      = {CogRobo},
  Keywords                 = {Golog},
  Opturl                   = {http://www.cs.toronto.edu/cogrobo/Papers/dbpl01.ps.gz},
  Timestamp                = {2018.09.23},
  Url                      = {dbpl01.pdf}
}

@InProceedings{Kiringa01b,
  Title                    = {Towards a Theory of Advanced Transaction Models in the
 Situation Calculus (Extended Abstract)},
  Author                   = {Kiringa, I.},
  Booktitle                = {Proceedings of the VLDB 8th International Workshop on
 Knowledge Representation Meets Databases (KRDB'01)},
  Year                     = {2001},

  File                     = {krdb01.pdf:http\://www.cs.toronto.edu/cogrobo/Papers/krdb01.pdf:PDF;krdb01.ps:http\://www.cs.toronto.edu/cogrobo/Papers/krdb01.ps:PostScript},
  Key                      = {CogRobo},
  Opturl                   = {http://www.cs.toronto.edu/cogrobo/Papers/krdb01.ps.gz},
  Timestamp                = {2018.09.23},
  Url                      = {krdb01.pdf}
}

@InProceedings{Lesperance01,
  Title                    = {On the Epistemic Feasibility of Plans in Multiagent
 Systems Specifications},
  Author                   = {Lesp\'erance, Yves},
  Booktitle                = {Pre-Proceedings of the 8th International Workshop on
 Agent Theories, Architectures, and Languages (ATAL-01)},
  Year                     = {2001},

  Address                  = {Seattle, USA},
  Editor                   = {Meyer, J.-J. Ch. and Tambe, M.},
  Month                    = {August},
  Pages                    = {69--85},
  Series                   = {LNAI},
  Volume                   = {2333},

  Key                      = {CogRobo},
  Timestamp                = {2018.09.23},
  Url                      = {Lesperance01.pdf}
}

@Book{Levesque01-LKB,
  Title                    = {The Logic of Knowledge Bases},
  Author                   = {Levesque, Hector J. and Lakemeyer, Gerhard},
  Publisher                = {MIT Press},
  Year                     = {2001},

  Key                      = {CogRobo},
  Timestamp                = {2018.09.23},
  Url                      = {Levesque01-LKB.pdf}
}

@InProceedings{ijcai01-final,
  Title                    = {Theorem Proving with Structured Theories},
  Author                   = {McIlraith, S. and Amir, E.},
  Booktitle                = {Proceedings of the Seventeenth International Conference on Artificial Intelligence (IJCAI-01)},
  Year                     = {2001},

  Address                  = {Seattle, Washington, USA},
  Month                    = {August 4-10},
  Pages                    = {624-634},

  Timestamp                = {2018.09.23},
  Url                      = {ijcai01-final.pdf}
}

@InProceedings{cs01,
  Title                    = {Adapting Golog for Programming the Semantic Web},
  Author                   = {McIlraith, S. and Son, T.},
  Booktitle                = {Proceedings of the Fifth Symposium on Logical Formalizations of Commonsense Reasoning (Common Sense 2001)},
  Year                     = {2001},

  Address                  = {New York, NY, USA},
  Month                    = {May 20-22},
  Pages                    = {195-202},

  Keywords                 = {Golog},
  Timestamp                = {2018.09.23},
  Url                      = {cs01.pdf}
}

@InProceedings{semweb01,
  Title                    = {Mobilizing the Web with DAML-Enabled Web Services},
  Author                   = {McIlraith, S. and Son, T. and Zeng, H.},
  Booktitle                = {The Second International Workshop on the Semantic Web (SemWeb'2001) at WWW-10},
  Year                     = {2001},
  Month                    = {May},

  Timestamp                = {2018.09.23},
  Url                      = {semweb01.pdf}
}

@Article{webserv-ieeeis01,
  Title                    = {Semantic Web Services},
  Author                   = {McIlraith, S. and Son, T.C. and Zeng, H.},
  Journal                  = {IEEE Intelligent Systems. Special Issue on the Semantic Web},
  Year                     = {2001},

  Month                    = {March/April},
  Number                   = {2},
  Pages                    = {46-53},
  Volume                   = {16},

  Timestamp                = {2018.09.23},
  Url                      = {ieee01.pdf}
}

@Article{Eclipses,
  Title                    = {Visualization of Eclipses and Planetary Conjunction Events: The Interplay between Model Coherence, Scaling and Animation},
  Author                   = {Walter Oberschelp and Alexander Hornung and Horst Samulowitz},
  Journal                  = {The Visual Computer},
  Year                     = {2001},

  Timestamp                = {2018.09.23},
  Url                      = {eclipses.pdf}
}

@InProceedings{PoupartBoutilier:uai01,
  Title                    = {Vector-space Analysis of Belief State Approximation for {POMDPs}},
  Author                   = {Pascal Poupart and Craig Boutilier},
  Booktitle                = uai01,
  Year                     = {2001},

  Address                  = {Seattle},
  Pages                    = {445--452},

  Timestamp                = {2018.09.23},
  Url                      = {vda-vs.pdf}
}

@InProceedings{POB:uai01,
  Title                    = {Value-Directed Sampling Methods for Monitoring {POMDPs}},
  Author                   = {Pascal Poupart and Luis E. Ortiz and Craig Boutilier},
  Booktitle                = uai01,
  Year                     = {2001},

  Address                  = {Seattle},
  Pages                    = {453--461},

  Timestamp                = {2018.09.23},
  Url                      = {filter-pomdps.pdf}
}

@InCollection{PriceBoutilier:cai01,
  Title                    = {Imitation and Reinforcement Learning
 in Agents with Heterogeneous Actions},
  Author                   = {Bob Price and Craig Boutilier},
  Booktitle                = {Proceedings 14th Biennial Conference of the Canadian
 Society for Computational Studies of Intelligence (AI 2001)},
  Publisher                = {Springer-Verlag},
  Year                     = {2001},

  Address                  = {Berlin},
  Editor                   = {E. Stroulia and S. Matwin},
  Number                   = {2056},
  Pages                    = {111--120},
  Series                   = {Lecture Notes in Computer Science},

  Timestamp                = {2018.09.23},
  Url                      = {heterogeneous.pdf}
}

@Article{Reiter01,
  Title                    = {On Knowledge-Based Programming with Sensing in the
 Situation Calculus},
  Author                   = {Reiter, Ray},
  Journal                  = {ACM Transactions on Computational Logic (TOCL)},
  Year                     = {2001},

  Month                    = {October},
  Number                   = {4},
  Pages                    = {433--457},
  Volume                   = {2},

  File                     = {kbprogramming.pdf:http\://www.cs.toronto.edu/cogrobo/Papers/kbprogramming.pdf:PDF;kbprogramming.ps:http\://www.cs.toronto.edu/cogrobo/Papers/kbprogramming.ps:PostScript},
  Key                      = {CogRobo},
  Opturl                   = {http://www.cs.toronto.edu/cogrobo/Papers/kbprogramming.ps.gz},
  Timestamp                = {2018.09.23},
  Url                      = {kbprogramming.pdf}
}

@Book{Reiter01-Book,
  Title                    = {Knowledge in Action. {L}ogical Foundations for
 Specifying and Implementing Dynamical Systems},
  Author                   = {Reiter, Raymond},
  Publisher                = {MIT Press},
  Year                     = {2001},

  Key                      = {CogRobo},
  Timestamp                = {2018.09.23},
  Url                      = {http://www.cs.toronto.edu/cogrobo/kia/index.html}
}