@misc{noauthor_societys_2013,
	title = {Society's next big challenge: infinite data},
	shorttitle = {Society's next big challenge},
	url = {http://venturebeat.com/2013/04/05/societys-next-big-challenge-infinite-data/},
	abstract = {Over the past 10 years or so, many organizations have recognized the conceptual value of data and have started recording and retaining more and more of it. But after doing this for a while, they’re...},
	urldate = {2013-05-18},
	journal = {VentureBeat},
	year = {2013},
	keywords = {big data, business, infinite data},
}

Over the past 10 years or so, many organizations have recognized the conceptual value of data and have started recording and retaining more and more of it. But after doing this for a while, they’re...

@article{xin_publishing_2013,
	title = {Publishing bibliographic data on the {Semantic} {Web} using {BibBase}},
	volume = {4},
	number = {1},
	journal = {Semantic Web},
	author = {Xin, Reynold S. and Hassanzadeh, Oktie and Fritz, Christian and Sohrabi, Shirin and Miller, Renée J.},
	year = {2013},
	pages = {15--22},
}

@inproceedings{gupta_diagnosing_2012,
	title = {Diagnosing {Heterogeneous} {Hadoop} {Clusters}},
	copyright = {All rights reserved},
	url = {web=http://bibbase.org slides=http://bibbase.org/slides},
	booktitle = {Proceedings of the 23rd {International} {Workshop} on {Principles} of {Diagnosis} ({DX})},
	author = {Gupta, Shekhar and Fritz, Christian and Kleer, Johan de and Witteveen, Cees},
	year = {2012},
	note = {To appear.},
}

@inproceedings{fu_graph_2012,
	title = {A {Graph} {Grammar} {Based} {Approach} to {Automated} {Manufacturing} {Planning}},
	url = {fu-eft-rad-cam-fri-idetc2012.pdf},
	booktitle = {Proceedings of the {ASME} 2012 {International} {Design} {Engineering} {Technical} {Conferences} \& {Computers} and {Information} in {Engineering} {Conference}, {IDETC}/{CIE} 2012, {August} 12-15, 2012, {Chicago}, {IL}, {USA}},
	author = {Fu, Wentao and Eftekharian, Ata and Radhakrishnan, Pradeep and Campbell, Matthew I. and Fritz, Christian},
	year = {2012},
}

@inproceedings{fritz_formal_2011,
	title = {A {Formal} {Framework} for {Combining} {Natural} {Instruction} and {Demonstration} for {End}-{User} {Programming}},
	url = {fri-gil-iui11.pdf},
	booktitle = {Proceedings of the 2011 {International} {Conference} on {Intelligent} {User} {Interfaces} ({IUI}), {February} 13-16, 2011, {Palo} {Alto}, {CA}, {USA}},
	author = {Fritz, Christian and Gil, Yolanda},
	year = {2011},
	note = {Nominated for Best Paper Award.},
}

@incollection{baier_golog-style_2011,
	title = {Golog-style {Search} {Control} for {Planning}},
	url = {bai-fri-mci-hecfest11.pdf},
	booktitle = {Knowing, {Reasoning}, and {Acting}: {Essays} in {Honour} of {Hector} {J}. {Levesque}},
	publisher = {College Publications},
	author = {Baier, Jorge A. and Fritz, Christian and McIlraith, Sheila A.},
	editor = {Lakemeyer, Gerhard and McIlraith, Sheila A.},
	year = {2011},
}

@article{bienvenu_specifying_2011,
	title = {Specifying and computing preferred plans},
	volume = {175},
	number = {7-8},
	journal = {Artificial Intelligence},
	author = {Bienvenu, Meghyn and Fritz, Christian and McIlraith, Sheila A.},
	year = {2011},
	pages = {1308--1345},
}

@inproceedings{gil_tellme:_2011,
	title = {{TellMe}: {Learning} {Procedures} from {Tutorial} {Instruction}},
	url = {gil-etal-iui11.pdf},
	booktitle = {Proceedings of the 2011 {International} {Conference} on {Intelligent} {User} {Interfaces} ({IUI}), {February} 13-16, 2011, {Palo} {Alto}, {CA}, {USA}},
	author = {Gil, Yolanda and Ratnakar, Varun and Fritz, Christian},
	year = {2011},
}

@inproceedings{fritz_towards_2010,
	title = {Towards the {Integration} of {Programming} by {Demonstration} and {Programming} by {Instruction} using {Golog}},
	booktitle = {{AAAI} {Workshop} on {Plan}, {Activity}, and {Intent} {Recognition} ({PAIR}) 2010},
	author = {Fritz, Christian and Gil, Yolanda},
	year = {2010},
	note = {The version found here is the extended version including the proofs.},
	keywords = {Golog, Programming by demonstration},
}

@inproceedings{hassanzadeh_bibbase_2010,
	title = {{BibBase} {Triplified}},
	url = {http://data.bibbase.org},
	booktitle = {Proceedings of the 6th {International} {Conference} on {Semantic} {Systems}, {September} 1–3, 2010, {Graz}, {Austria}},
	author = {Hassanzadeh, Oktie and Xin, Reynold and Fritz, Christian and Yang, Yang and Du, Jiang and Zhao, Minghua and Miller, Ren'ee J.},
	year = {2010},
	note = {Triplification Challenge Contestant. \textbf{Honorary Mention} in the Open Track.},
	keywords = {BibBase},
}

@inproceedings{gil_reasoning_2010,
	title = {Reasoning about the {Appropriate} {Use} of {Private} {Data} through {Computational} {Workflows}},
	url = {gil-fri-aaai10ss.pdf},
	booktitle = {Intelligent {Information} {Privacy} {Management}, {Papers} from the {AAAI} {Spring} {Symposium}},
	author = {Gil, Yolanda and Fritz, Christian},
	month = mar,
	year = {2010},
	keywords = {Workflows},
	pages = {69--74},
}

@inproceedings{xin_publishing_2010,
	title = {Publishing {Bibliographic} {Data} on the {Semantic} {Web} using {BibBase}},
	url = {http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-658/paper457.pdf},
	booktitle = {Proceedings of {The} 9th {International} {Semantic} {Web} {Conference}, {Shanghai}, {China}, {November} 7–11, {Poster} \& {Demo} {Track}},
	author = {Xin, Reynold S. and Hassanzadeh, Oktie and Fritz, Christian and Sohrabi, Shirin and Yang, Yang and Du, Jiang and Zhao, Minghua and Miller, Renée J.},
	year = {2010},
}

@phdthesis{fritz_monitoring_2009,
	type = {phdthesis},
	title = {Monitoring the {Generation} and {Execution} of {Optimal} {Plans}},
	abstract = {{\textless}p{\textgreater} In dynamic domains, the state of the world may change in unexpected ways during the generation or execution of plans. Regardless of the cause of such changes, they raise the question of whether they interfere with ongoing planning efforts. Unexpected changes during plan generation may invalidate the current planning effort, while discrepancies between expected and actual state of the world during execution may render the executing plan invalid or sub-optimal, with respect to previously identified planning objectives. {\textless}/p{\textgreater}{\textless}p{\textgreater} In this thesis we develop a general monitoring technique that can be used during both plan generation and plan execution to determine the relevance of unexpected changes and which supports recovery. This way, time intensive replanning from scratch in the new and unexpected state can often be avoided. The technique can be applied to a variety of objectives, including monitoring the optimality of plans, rather then just their validity. Intuitively, the technique operates in two steps: during planning the plan is annotated with additional information that is relevant to the achievement of the objective; then, when an unexpected change occurs, this information is used to determine the relevance of the discrepancy with respect to the objective. {\textless}/p{\textgreater}{\textless}p{\textgreater} We substantiate the claim of broad applicability of this relevance-based technique by developing four concrete applications: generating optimal plans despite frequent, unexpected changes to the initial state of the world, monitoring plan optimality during execution, monitoring the execution of near-optimal policies in stochastic domains, and monitoring the generation and execution of plans with procedural hard constraints. In all cases, we use the formal notion of regression to identify what is relevant for achieving the objective. e prove the soundness of these concrete approaches and present empirical results demonstrating that in some contexts orders of magnitude speed-ups can be gained by our technique compared to replanning from scratch. {\textless}/p{\textgreater}},
	school = {University of Toronto},
	author = {Fritz, Christian},
	month = apr,
	year = {2009},
	keywords = {Execution, monitoring},
}

\textlessp\textgreater In dynamic domains, the state of the world may change in unexpected ways during the generation or execution of plans. Regardless of the cause of such changes, they raise the question of whether they interfere with ongoing planning efforts. Unexpected changes during plan generation may invalidate the current planning effort, while discrepancies between expected and actual state of the world during execution may render the executing plan invalid or sub-optimal, with respect to previously identified planning objectives. \textless/p\textgreater\textlessp\textgreater In this thesis we develop a general monitoring technique that can be used during both plan generation and plan execution to determine the relevance of unexpected changes and which supports recovery. This way, time intensive replanning from scratch in the new and unexpected state can often be avoided. The technique can be applied to a variety of objectives, including monitoring the optimality of plans, rather then just their validity. Intuitively, the technique operates in two steps: during planning the plan is annotated with additional information that is relevant to the achievement of the objective; then, when an unexpected change occurs, this information is used to determine the relevance of the discrepancy with respect to the objective. \textless/p\textgreater\textlessp\textgreater We substantiate the claim of broad applicability of this relevance-based technique by developing four concrete applications: generating optimal plans despite frequent, unexpected changes to the initial state of the world, monitoring plan optimality during execution, monitoring the execution of near-optimal policies in stochastic domains, and monitoring the generation and execution of plans with procedural hard constraints. In all cases, we use the formal notion of regression to identify what is relevant for achieving the objective. e prove the soundness of these concrete approaches and present empirical results demonstrating that in some contexts orders of magnitude speed-ups can be gained by our technique compared to replanning from scratch. \textless/p\textgreater

@inproceedings{fritz_computing_2009,
	title = {Computing {Robust} {Plans} in {Continuous} {Domains}},
	copyright = {Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License (CC-BY-NC-ND)},
	booktitle = {Proceedings of the 19th {International} {Conference} on {Automated} {Planning} and {Scheduling} ({ICAPS}), {September} 19-23, 2009, {Thessaloniki}, {Greece}},
	author = {Fritz, Christian and McIlraith, Sheila},
	year = {2009},
	keywords = {Planning},
	pages = {346--349},
}

@inproceedings{fritz_generating_2009,
	title = {Generating {Optimal} {Plans} in {Highly}-{Dynamic} {Domains}},
	booktitle = {Proceedings of {The} 25th {Conference} on {Uncertainty} in {Artificial} {Intelligence} ({UAI}), {Montreal}, {Canada}, {June} 18-21},
	author = {Fritz, Christian and McIlraith, Sheila A.},
	year = {2009},
	keywords = {Planning},
}

@inproceedings{gil_expressive_2009,
	title = {Expressive {Reusable} {Workflow} {Templates}},
	url = {gil-etal-escience09.pdf},
	booktitle = {Proceedings of the {Fifth} {IEEE} {International} {Conference} on e-{Science}, {Oxford}, {UK}, {December} 9-11},
	author = {Gil, Yolanda and Groth, Paul and Ratnakar, Varun and Fritz, Christian},
	year = {2009},
	keywords = {Workflows},
}

@inproceedings{fritz_automatic_2009,
	title = {Automatic {Construction} of {Simple} {Artifact}-based {Business} {Processes}},
	booktitle = {Proceedings of the 12th {International} {Conference} on {Database} {Theory} ({ICDT}), {St}. {Petersburg}, {Russia}, {March} 23-25, 2009},
	author = {Fritz, Christian and Hull, Rick and Su, Jianwen},
	year = {2009},
	keywords = {Workflows},
	pages = {225--238},
}

@inproceedings{fritz_planning_2008,
	address = {Sydney, Australia},
	title = {Planning in the {Face} of {Frequent} {Exogenous} {Events}},
	booktitle = {Online {Poster} {Proceedings} of the 18th {International} {Conference} on {Automated} {Planning} and {Scheduling} ({ICAPS})},
	author = {Fritz, Christian and McIlraith, Sheila A.},
	month = sep,
	year = {2008},
	note = {Also appeared in \textit{Proceedings of The 1st International Symposium on Search Techniques in Artificial Intelligence and Robotics (at AAAI08)}, July 13–14, Chicago, IL, USA.},
	keywords = {Planning},
}

@inproceedings{fritz_congolog_2008,
	address = {Sydney, Australia},
	title = {{ConGolog}, {Sin} {Trans}: {Compiling} {ConGolog} into {Basic} {Action} {Theories} for {Planning} and {Beyond}},
	booktitle = {Proceedings on the 11th {International} {Conference} on {Principles} of {Knowledge} {Representation} and {Reasoning}},
	author = {Fritz, Christian and Baier, Jorge A. and McIlraith, Sheila A.},
	month = sep,
	year = {2008},
	note = {Technical Report CSRG-576, containing the proofs of the theorems and a more detailed description of the compilation, can be found {\textless}a href="ftp://ftp.cs.toronto.edu/csrg-technical-reports/576/fri-bai-mci-kr08-techreport.pdf"{\textgreater}here{\textless}/a{\textgreater}.},
	keywords = {Golog},
	pages = {600--610},
}

@inproceedings{fritz_finding_2008,
	address = {Chicago, Illinois, USA},
	title = {Finding {State} {Similarities} for {Faster} {Planning}},
	booktitle = {Proceedings of the 23rd {AAAI} {Conference} on {Artificial} {Intelligence} ({AAAI})},
	author = {Fritz, Christian},
	month = jul,
	year = {2008},
	keywords = {Planning},
	pages = {925--930},
}

@inproceedings{baier_beyond_2008,
	address = {Chicago, Illinois, USA},
	title = {Beyond {Classical} {Planning}: {Procedural} {Control} {Knowledge} and {Preferences} in {State}-of-the-{Art} {Planners}},
	booktitle = {Proceedings of the 23rd {AAAI} {Conference} on {Artificial} {Intelligence} ({AAAI}), {Nectar} {Track}},
	author = {Baier, Jorge A. and Fritz, Christian and Bienvenu, Meghyn and McIlraith, Sheila},
	month = jul,
	year = {2008},
	keywords = {Golog},
	pages = {1509--1512},
}

@inproceedings{fritz_monitoring_2007,
	address = {Nashville, TN, USA},
	title = {Monitoring {Plan} {Optimality} during {Execution}: {Theory} and {Implementation}},
	booktitle = {Proceedings of the 18th {International} {Workshop} on {Principles} of {Diagnosis} ({DX})},
	author = {Fritz, Christian and McIlraith, Sheila},
	month = may,
	year = {2007},
	keywords = {Execution, monitoring},
	pages = {298--305},
}

@inproceedings{fritz_monitoring_2007,
	address = {Providence, Rhode Island, USA},
	title = {Monitoring {Policy} {Execution}},
	booktitle = {Proceedings of the 3rd {Workshop} on {Planning} and {Plan} {Execution} for {Real}-{World} {Systems} (at {ICAPS07})},
	author = {Fritz, Christian and McIlraith, Sheila A.},
	month = sep,
	year = {2007},
	keywords = {Execution, monitoring},
}

@inproceedings{fritz_monitoring_2007,
	address = {Providence, Rhode Island, USA},
	title = {Monitoring the {Execution} of {Optimal} {Plans}},
	booktitle = {The 17th {International} {Conference} on {Automated} {Planning} and {Scheduling} ({ICAPS}) {Doctoral} {Consortium}},
	author = {Fritz, Christian},
	month = sep,
	year = {2007},
	note = {\textbf{Best Paper}},
	keywords = {Execution, monitoring},
}

@inproceedings{fritz_monitoring_2007,
	address = {Providence, Rhode Island, USA},
	title = {Monitoring {Plan} {Optimality} {During} {Execution}},
	booktitle = {Proceedings of the 17th {International} {Conference} on {Automated} {Planning} and {Scheduling} ({ICAPS})},
	author = {Fritz, Christian and McIlraith, Sheila A.},
	month = sep,
	year = {2007},
	keywords = {Execution, monitoring},
	pages = {144--151},
}

@inproceedings{baier_exploiting_2007,
	address = {Providence, Rhode Island, USA},
	title = {Exploiting {Procedural} {Domain} {Control} {Knowledge} in {State}-of-the-{Art} {Planners}},
	abstract = {Domain control knowledge (DCK) has proven effective in improving the efficiency of plan generation by reducing the search space for a plan. Procedural DCK is a compelling type of DCK that supports a natural specification of the skeleton of a plan. Unfortunately, most state-of-the-art planners do not have the machinery necessary to exploit procedural DCK. To resolve this deficiency, we propose to compile procedural DCK directly into PDDL2.1, thus enabling any PDDL2.1-compatible planner to exploit it. The contribution of this paper is threefold. First, we propose a PDDL-based semantics for an Algol-like, procedural language that can be used to specify DCK in planning. Second, we provide a polynomial algorithm that translates an ADL planning instance and a DCK program, into an equivalent, program-free PDDL2.1 instance whose plans are only those that adhere to the program. Third, we argue that the resulting planning instance is well-suited to being solved by domain-independent heuristic planners. To this end, we propose three approaches to computing domain-independent heuristics for our translated instances, sometimes leveraging properties of our translation to guide search. In our experiments on familiar PDDL planning benchmarks we show that the proposed compilation of procedural DCK can significantly speed up the performance of a heuristic search planner. Our translators are implemented and available on the web.},
	booktitle = {Proceedings of the 17th {International} {Conference} on {Automated} {Planning} and {Scheduling} ({ICAPS})},
	author = {Baier, Jorge A. and Fritz, Christian and McIlraith, Sheila A.},
	month = sep,
	year = {2007},
	keywords = {Golog},
	pages = {26--33},
}

Domain control knowledge (DCK) has proven effective in improving the efficiency of plan generation by reducing the search space for a plan. Procedural DCK is a compelling type of DCK that supports a natural specification of the skeleton of a plan. Unfortunately, most state-of-the-art planners do not have the machinery necessary to exploit procedural DCK. To resolve this deficiency, we propose to compile procedural DCK directly into PDDL2.1, thus enabling any PDDL2.1-compatible planner to exploit it. The contribution of this paper is threefold. First, we propose a PDDL-based semantics for an Algol-like, procedural language that can be used to specify DCK in planning. Second, we provide a polynomial algorithm that translates an ADL planning instance and a DCK program, into an equivalent, program-free PDDL2.1 instance whose plans are only those that adhere to the program. Third, we argue that the resulting planning instance is well-suited to being solved by domain-independent heuristic planners. To this end, we propose three approaches to computing domain-independent heuristics for our translated instances, sometimes leveraging properties of our translation to guide search. In our experiments on familiar PDDL planning benchmarks we show that the proposed compilation of procedural DCK can significantly speed up the performance of a heuristic search planner. Our translators are implemented and available on the web.

@inproceedings{fritz_decision-theoretic_2006,
	address = {Lake District, UK},
	title = {Decision-{Theoretic} {Golog} with {Qualitative} {Preferences}},
	copyright = {All rights reserved},
	booktitle = {Proceedings of the 10th {International} {Conference} on {Principles} of {Knowledge} {Representation} and {Reasoning} ({KR})},
	author = {Fritz, Christian and McIlraith, Sheila},
	month = jun,
	year = {2006},
	keywords = {Golog, Planning with preferences},
	pages = {153--163},
}

@inproceedings{bienvenu_planning_2006,
	address = {Lake District, UK},
	title = {Planning with {Qualitative} {Temporal} {Preferences}},
	booktitle = {Proceedings of the 10th {International} {Conference} on {Principles} of {Knowledge} {Representation} and {Reasoning} ({KR})},
	author = {Bienvenu, Meghyn and Fritz, Christian and McIlraith, Sheila A.},
	month = jun,
	year = {2006},
	keywords = {Planning, preferences, with},
	pages = {134--144},
}

@inproceedings{fritz_compiling_2005,
	address = {Edinburgh, UK},
	title = {Compiling {Qualitative} {Preferences} into {Decision}-{Theoretic} {Golog} {Programs}},
	booktitle = {Proceedings of {The} 6th {Workshop} on {Nonmonotonic} {Reasoning}, {Action}, and {Change} (at {IJCAI05})},
	author = {Fritz, Christian and McIlraith, Sheila},
	month = aug,
	year = {2005},
	keywords = {Golog, Planning with preferences},
}

@techreport{fritz_compiling_2005,
	title = {Compiling {Qualitative} {Preferences} into {Decision}-{Theoretic} {Golog} {Programs}: {Extended} {Version} with {Proofs}},
	number = {CSRG-522},
	institution = {University of Toronto},
	author = {Fritz, Christian and McIlraith, Sheila},
	month = may,
	year = {2005},
	keywords = {Golog, Planning with preferences},
}

@unpublished{fritz_execution_2005,
	title = {Execution {Monitoring} – {A} {Survey}},
	author = {Fritz, Christian},
	year = {2005},
	keywords = {Execution, monitoring},
}

@article{ferrein_using_2005,
	title = {Using {Golog} for {Deliberation} and {Team} {Coordination} in {Robotic} {Soccer}},
	volume = {19},
	number = {1},
	journal = {KI},
	author = {Ferrein, Alexander and Fritz, Christian and Lakemeyer, Gerhard},
	year = {2005},
	keywords = {Golog, RoboCup},
	pages = {24--31},
}

@inproceedings{ferrein_allemaniacs_2004,
	address = {Lisbon, Portugal},
	title = {{AllemaniACs} 2004 {Team} {Description}},
	booktitle = {{RoboCup}},
	author = {Ferrein, A. and Fritz, C. and Lakemeyer, G.},
	year = {2004},
	keywords = {RoboCup},
}

@inproceedings{ferrein_-line_2004,
	address = {Ulm, Germany},
	title = {On-line {Decision}-{Theoretic} {Golog} for {Unpredictable} {Domains}},
	booktitle = {Proceedings of 27th {German} {Conference} on {AI} ({KI})},
	author = {Ferrein, A. and Fritz, C. and Lakemeyer, G.},
	month = sep,
	year = {2004},
	note = {Also appeared at The 4th International Cognitive Robotics Workshop (at ECAI04), August 23–24, Valenica, Spain.},
	keywords = {Golog, RoboCup},
	pages = {322--336},
}

@mastersthesis{fritz_integrating_2003,
	title = {Integrating decision-theoretic planning and programming for robot control in highly dynamic domains},
	school = {RWTH Aachen University, Germany},
	author = {Fritz, Christian},
	month = nov,
	year = {2003},
	keywords = {Golog, RoboCup},
}

@inproceedings{ferrein_extending_2003,
	address = {Acapulco, Mexico},
	title = {Extending {DTGolog} with {Options}},
	copyright = {All rights reserved},
	booktitle = {Proceedings of the 18th {International} {Joint} {Conference} on {Artificial} {Intelligence} ({IJCAI})},
	author = {Ferrein, Alexander and Fritz, Christian and Lakemeyer, Gerhard},
	month = aug,
	year = {2003},
	keywords = {Golog, artifacts:functional},
	pages = {1394--1395},
}

@book{reiter_knowledge_2001,
	address = {Cambridge, Mass},
	title = {Knowledge in {Action}: logical foundations for specifying and implementing dynamical systems},
	isbn = {9780262182188},
	shorttitle = {Knowledge in action},
	publisher = {MIT Press},
	author = {Reiter, Raymond},
	year = {2001},
	keywords = {Expert systems (Computer science), Knowledge representation (Information theory), Logic, Symbolic and mathematical},
}