default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Henry A. Kautz
@article{DBLP:journals/aim/Kautz22,
author = {Henry A. Kautz},
title = {The Third {AI} Summer: {AAAI} Robert S. Engelmore Memorial Lecture},
journal = {{AI} Mag.},
volume = {43},
number = {1},
pages = {93--104},
year = {2022},
url = {https://doi.org/10.1609/aimag.v43i1.19122},
doi = {10.1609/AIMAG.V43I1.19122},
timestamp = {Wed, 06 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/Kautz22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccv/LermanVKX21,
author = {Samuel Lerman and
Charles Venuto and
Henry A. Kautz and
Chenliang Xu},
title = {Explaining Local, Global, And Higher-Order Interactions In Deep Learning},
booktitle = {2021 {IEEE/CVF} International Conference on Computer Vision, {ICCV}
2021, Montreal, QC, Canada, October 10-17, 2021},
pages = {1204--1213},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICCV48922.2021.00126},
doi = {10.1109/ICCV48922.2021.00126},
timestamp = {Fri, 11 Mar 2022 10:01:27 +0100},
biburl = {https://dblp.org/rec/conf/iccv/LermanVKX21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icwsm/ZamanZSKH21,
author = {Anis Zaman and
Boyu Zhang and
Vincent Silenzio and
Henry A. Kautz and
Ehsan Hoque},
editor = {Oana Balalau and
Katherine Ognyanova and
Daniel M. Romero},
title = {Individual-level Anxiety Detection and Prediction from Longitudinal
YouTube and Google Search Engagement Logs},
booktitle = {Workshop Proceedings of the 15th International {AAAI} Conference on
Web and Social Media, {ICWSM} 2021 Workshops, [virtual], June 7, 2021},
year = {2021},
url = {https://doi.org/10.36190/2021.41},
doi = {10.36190/2021.41},
timestamp = {Thu, 17 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icwsm/ZamanZSKH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/KautzSS21,
author = {Henry A. Kautz and
Ashish Sabharwal and
Bart Selman},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Incomplete Algorithms},
booktitle = {Handbook of Satisfiability - Second Edition},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {336},
pages = {213--232},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/FAIA200989},
doi = {10.3233/FAIA200989},
timestamp = {Fri, 06 May 2022 08:03:54 +0200},
biburl = {https://dblp.org/rec/series/faia/KautzSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/DickinsonGDSK20,
author = {Brian Dickinson and
Gourab Ghoshal and
Xerxes Dotiwalla and
Adam Sadilek and
Henry A. Kautz},
title = {Inferring Nighttime Satellite Imagery from Human Mobility},
booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
2020, The Thirty-Second Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
February 7-12, 2020},
pages = {394--402},
publisher = {{AAAI} Press},
year = {2020},
url = {https://doi.org/10.1609/aaai.v34i01.5375},
doi = {10.1609/AAAI.V34I01.5375},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/DickinsonGDSK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl/HossainKSK20,
author = {Nabil Hossain and
John Krumm and
Tanvir Sajed and
Henry A. Kautz},
editor = {Asli Celikyilmaz and
Tsung{-}Hsien Wen},
title = {Stimulating Creativity with FunLines: {A} Case Study of Humor Generation
in Headlines},
booktitle = {Proceedings of the 58th Annual Meeting of the Association for Computational
Linguistics: System Demonstrations, {ACL} 2020, Online, July 5-10,
2020},
pages = {256--262},
publisher = {Association for Computational Linguistics},
year = {2020},
url = {https://doi.org/10.18653/v1/2020.acl-demos.28},
doi = {10.18653/V1/2020.ACL-DEMOS.28},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acl/HossainKSK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icwsm/HossainTK20,
author = {Nabil Hossain and
Minh Tran and
Henry A. Kautz},
editor = {Munmun De Choudhury and
Rumi Chunara and
Aron Culotta and
Brooke Foucault Welles},
title = {A Framework for Political Portmanteau Decomposition},
booktitle = {Proceedings of the Fourteenth International {AAAI} Conference on Web
and Social Media, {ICWSM} 2020, Held Virtually, Original Venue: Atlanta,
Georgia, USA, June 8-11, 2020},
pages = {944--948},
publisher = {{AAAI} Press},
year = {2020},
url = {https://ojs.aaai.org/index.php/ICWSM/article/view/7363},
timestamp = {Mon, 07 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icwsm/HossainTK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ph/ZamanSK20,
author = {Anis Zaman and
Vincent Silenzio and
Henry A. Kautz},
editor = {Sean A. Munson and
Stephen M. Schueller and
Rosa I. Arriaga},
title = {{MIND:} {A} Tool for Mental Health Screening and Support of Therapy
to Improve Clinical and Research Outcomes},
booktitle = {PervasiveHealth '20: 14th {EAI} International Conference on Pervasive
Computing Technologies for Healthcare, Atlanta, GA, USA, 6-8 October,
2020},
pages = {423--426},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3421937.3421959},
doi = {10.1145/3421937.3421959},
timestamp = {Thu, 04 Feb 2021 13:54:06 +0100},
biburl = {https://dblp.org/rec/conf/ph/ZamanSK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semeval/HossainKGK20,
author = {Nabil Hossain and
John Krumm and
Michael Gamon and
Henry A. Kautz},
editor = {Aur{\'{e}}lie Herbelot and
Xiaodan Zhu and
Alexis Palmer and
Nathan Schneider and
Jonathan May and
Ekaterina Shutova},
title = {SemEval-2020 Task 7: Assessing Humor in Edited News Headlines},
booktitle = {Proceedings of the Fourteenth Workshop on Semantic Evaluation, SemEval@COLING
2020, Barcelona (online), December 12-13, 2020},
pages = {746--758},
publisher = {International Committee for Computational Linguistics},
year = {2020},
url = {https://doi.org/10.18653/v1/2020.semeval-1.98},
doi = {10.18653/V1/2020.SEMEVAL-1.98},
timestamp = {Mon, 18 Dec 2023 11:22:01 +0100},
biburl = {https://dblp.org/rec/conf/semeval/HossainKGK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-02031,
author = {Nabil Hossain and
John Krumm and
Tanvir Sajed and
Henry A. Kautz},
title = {Stimulating Creativity with FunLines: {A} Case Study of Humor Generation
in Headlines},
journal = {CoRR},
volume = {abs/2002.02031},
year = {2020},
url = {https://arxiv.org/abs/2002.02031},
eprinttype = {arXiv},
eprint = {2002.02031},
timestamp = {Mon, 10 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-02031.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-07691,
author = {Brian Dickinson and
Gourab Ghoshal and
Xerxes Dotiwalla and
Adam Sadilek and
Henry A. Kautz},
title = {Inferring Nighttime Satellite Imagery from Human Mobility},
journal = {CoRR},
volume = {abs/2003.07691},
year = {2020},
url = {https://arxiv.org/abs/2003.07691},
eprinttype = {arXiv},
eprint = {2003.07691},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-07691.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-08601,
author = {Samuel Lerman and
Chenliang Xu and
Charles Venuto and
Henry A. Kautz},
title = {Explaining Local, Global, And Higher-Order Interactions In Deep Learning},
journal = {CoRR},
volume = {abs/2006.08601},
year = {2020},
url = {https://arxiv.org/abs/2006.08601},
eprinttype = {arXiv},
eprint = {2006.08601},
timestamp = {Wed, 17 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-08601.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-00613,
author = {Anis Zaman and
Boyu Zhang and
Vincent Silenzio and
Ehsan Hoque and
Henry A. Kautz},
title = {Estimating Anxiety based on individual level engagements on YouTube
{\&} Google Search Engine},
journal = {CoRR},
volume = {abs/2007.00613},
year = {2020},
url = {https://arxiv.org/abs/2007.00613},
eprinttype = {arXiv},
eprint = {2007.00613},
timestamp = {Thu, 17 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-00613.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-00304,
author = {Nabil Hossain and
John Krumm and
Michael Gamon and
Henry A. Kautz},
title = {SemEval-2020 Task 7: Assessing Humor in Edited News Headlines},
journal = {CoRR},
volume = {abs/2008.00304},
year = {2020},
url = {https://arxiv.org/abs/2008.00304},
eprinttype = {arXiv},
eprint = {2008.00304},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-00304.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-09076,
author = {Anis Zaman and
Boyu Zhang and
Ehsan Hoque and
Vincent Silenzio and
Henry A. Kautz},
title = {The Relationship between Deteriorating Mental Health Conditions and
Longitudinal Behavioral Changes in Google and YouTube Usages among
College Students in the United States during {COVID-19:} Observational
Study},
journal = {CoRR},
volume = {abs/2009.09076},
year = {2020},
url = {https://arxiv.org/abs/2009.09076},
eprinttype = {arXiv},
eprint = {2009.09076},
timestamp = {Thu, 17 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-09076.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-15670,
author = {Boyu Zhang and
Anis Zaman and
Rupam Acharyya and
Ehsan Hoque and
Vincent Silenzio and
Henry A. Kautz},
title = {Detecting Individuals with Depressive Disorder fromPersonal Google
Search and YouTube History Logs},
journal = {CoRR},
volume = {abs/2010.15670},
year = {2020},
url = {https://arxiv.org/abs/2010.15670},
eprinttype = {arXiv},
eprint = {2010.15670},
timestamp = {Thu, 17 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-15670.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic3k/WangK19,
author = {Jesse Wang and
Henry A. Kautz},
editor = {Ana L. N. Fred and
Joaquim Filipe},
title = {CupQ: {A} New Clinical Literature Search Engine},
booktitle = {Proceedings of the 11th International Joint Conference on Knowledge
Discovery, Knowledge Engineering and Knowledge Management, {IC3K}
2019, Volume 1: KDIR, Vienna, Austria, September 17-19, 2019},
pages = {225--232},
publisher = {ScitePress},
year = {2019},
url = {https://doi.org/10.5220/0008385202250232},
doi = {10.5220/0008385202250232},
timestamp = {Tue, 06 Jun 2023 14:58:01 +0200},
biburl = {https://dblp.org/rec/conf/ic3k/WangK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/ZamanAKS19,
author = {Anis Zaman and
Rupam Acharyya and
Henry A. Kautz and
Vincent Silenzio},
editor = {Ling Liu and
Ryen W. White and
Amin Mantrach and
Fabrizio Silvestri and
Julian J. McAuley and
Ricardo Baeza{-}Yates and
Leila Zia},
title = {Detecting Low Self-Esteem in Youths from Web Search Data},
booktitle = {The World Wide Web Conference, {WWW} 2019, San Francisco, CA, USA,
May 13-17, 2019},
pages = {2270--2280},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3308558.3313557},
doi = {10.1145/3308558.3313557},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/www/ZamanAKS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-06697,
author = {Jesse Wang and
Henry A. Kautz},
title = {CupQ: {A} New Clinical Literature Search Engine},
journal = {CoRR},
volume = {abs/1907.06697},
year = {2019},
url = {http://arxiv.org/abs/1907.06697},
eprinttype = {arXiv},
eprint = {1907.06697},
timestamp = {Tue, 23 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-06697.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icwsm/HossainTK18,
author = {Nabil Hossain and
Thanh Thuy Trang Tran and
Henry A. Kautz},
title = {Discovering Political Slang in Readers' Comments},
booktitle = {Proceedings of the Twelfth International Conference on Web and Social
Media, {ICWSM} 2018, Stanford, California, USA, June 25-28, 2018},
pages = {612--615},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/ICWSM/ICWSM18/paper/view/17873},
timestamp = {Fri, 05 Feb 2021 11:07:47 +0100},
biburl = {https://dblp.org/rec/conf/icwsm/HossainTK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icwsm/WhiteBHFCPPK18,
author = {Ann Marie White and
Linxiao Bai and
Christopher Homan and
Melanie Funchess and
Catherine Cerulli and
Amen Ptah and
Deepak Pandita and
Henry A. Kautz},
title = {Does Reciprocal Gratefulness in Twitter Predict Neighborhood Safety?:
Comparing 911 Calls Where Users Reside or Use Social Media},
booktitle = {Proceedings of the Twelfth International Conference on Web and Social
Media, {ICWSM} 2018, Stanford, California, USA, June 25-28, 2018},
pages = {700--703},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/ICWSM/ICWSM18/paper/view/17850},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icwsm/WhiteBHFCPPK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-09865,
author = {Samuel J. Weisenthal and
Caroline M. Quill and
Samir A. Farooq and
Henry A. Kautz and
Martin S. Zand},
title = {Predicting Acute Kidney Injury at Hospital Re-entry Using High-dimensional
Electronic Health Record Data},
journal = {CoRR},
volume = {abs/1807.09865},
year = {2018},
url = {http://arxiv.org/abs/1807.09865},
eprinttype = {arXiv},
eprint = {1807.09865},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-09865.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-10882,
author = {Rijul Magu and
Nabil Hossain and
Henry A. Kautz},
title = {Analyzing Uncivil Speech Provocation and Implicit Topics in Online
Political News},
journal = {CoRR},
volume = {abs/1807.10882},
year = {2018},
url = {http://arxiv.org/abs/1807.10882},
eprinttype = {arXiv},
eprint = {1807.10882},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-10882.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/SadilekKDLPTS17,
author = {Adam Sadilek and
Henry A. Kautz and
Lauren DiPrete and
Brian Labus and
Eric Portman and
Jack Teitel and
Vincent Silenzio},
title = {Deploying nEmesis: Preventing Foodborne Illness by Data Mining Social
Media},
journal = {{AI} Mag.},
volume = {38},
number = {1},
pages = {37--48},
year = {2017},
url = {https://doi.org/10.1609/aimag.v38i1.2711},
doi = {10.1609/AIMAG.V38I1.2711},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/SadilekKDLPTS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tbd/HuBLK17,
author = {Tianran Hu and
Eric Bigelow and
Jiebo Luo and
Henry A. Kautz},
title = {Tales of Two Cities: Using Social Media to Understand Idiosyncratic
Lifestyles in Distinctive Metropolitan Areas},
journal = {{IEEE} Trans. Big Data},
volume = {3},
number = {1},
pages = {55--66},
year = {2017},
url = {https://doi.org/10.1109/TBDATA.2016.2580542},
doi = {10.1109/TBDATA.2016.2580542},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tbd/HuBLK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KoppSK17,
author = {Timothy Kopp and
Parag Singla and
Henry A. Kautz},
title = {Conditional Term Equivalent Symmetry Breaking for {SAT}},
booktitle = {The Workshops of the The Thirty-First {AAAI} Conference on Artificial
Intelligence, Saturday, February 4-9, 2017, San Francisco, California,
{USA}},
series = {{AAAI} Technical Report},
volume = {{WS-17}},
publisher = {{AAAI} Press},
year = {2017},
url = {http://aaai.org/ocs/index.php/WS/AAAIW17/paper/view/15140},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KoppSK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emnlp/HossainKVHK17,
author = {Nabil Hossain and
John Krumm and
Lucy Vanderwende and
Eric Horvitz and
Henry A. Kautz},
editor = {Martha Palmer and
Rebecca Hwa and
Sebastian Riedel},
title = {Filling the Blanks (hint: plural noun) for Mad Libs Humor},
booktitle = {Proceedings of the 2017 Conference on Empirical Methods in Natural
Language Processing, {EMNLP} 2017, Copenhagen, Denmark, September
9-11, 2017},
pages = {638--647},
publisher = {Association for Computational Linguistics},
year = {2017},
url = {https://doi.org/10.18653/v1/d17-1067},
doi = {10.18653/V1/D17-1067},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emnlp/HossainKVHK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icwsm/ZamanHK17,
author = {Anis Zaman and
Nabil Hossain and
Henry A. Kautz},
title = {Twitter911: {A} Cautionary Tale},
booktitle = {Proceedings of the Eleventh International Conference on Web and Social
Media, {ICWSM} 2017, Montr{\'{e}}al, Qu{\'{e}}bec, Canada,
May 15-18, 2017},
pages = {712--715},
publisher = {{AAAI} Press},
year = {2017},
url = {https://aaai.org/ocs/index.php/ICWSM/ICWSM17/paper/view/15606},
timestamp = {Fri, 19 May 2017 12:45:06 +0200},
biburl = {https://dblp.org/rec/conf/icwsm/ZamanHK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HuBLK17,
author = {Tianran Hu and
Eric Bigelow and
Jiebo Luo and
Henry A. Kautz},
title = {Tales of Two Cities: Using Social Media to Understand Idiosyncratic
Lifestyles in Distinctive Metropolitan Areas},
journal = {CoRR},
volume = {abs/1701.06236},
year = {2017},
url = {http://arxiv.org/abs/1701.06236},
eprinttype = {arXiv},
eprint = {1701.06236},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HuBLK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/KautzS16,
author = {Henry A. Kautz and
Parag Singla},
title = {Technical Perspective: Combining logic and probability},
journal = {Commun. {ACM}},
volume = {59},
number = {7},
pages = {106},
year = {2016},
url = {https://doi.org/10.1145/2936724},
doi = {10.1145/2936724},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/KautzS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jzusc/HuLKS16,
author = {Tianran Hu and
Jiebo Luo and
Henry A. Kautz and
Adam Sadilek},
title = {Home location inference from sparse and noisy data: models and applications},
journal = {Frontiers Inf. Technol. Electron. Eng.},
volume = {17},
number = {5},
pages = {389--402},
year = {2016},
url = {https://doi.org/10.1631/FITEE.1500385},
doi = {10.1631/FITEE.1500385},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jzusc/HuLKS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KoppSK16,
author = {Timothy Kopp and
Parag Singla and
Henry A. Kautz},
editor = {Adnan Darwiche},
title = {Toward Caching Symmetrical Subtheories for Weighted Model Counting},
booktitle = {Beyond NP, Papers from the 2016 {AAAI} Workshop, Phoenix, Arizona,
USA, February 12, 2016},
series = {{AAAI} Technical Report},
volume = {{WS-16-05}},
publisher = {{AAAI} Press},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12684},
timestamp = {Tue, 05 Sep 2023 08:59:27 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KoppSK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SadilekKDLPTS16,
author = {Adam Sadilek and
Henry A. Kautz and
Lauren DiPrete and
Brian Labus and
Eric Portman and
Jack Teitel and
Vincent Silenzio},
editor = {Dale Schuurmans and
Michael P. Wellman},
title = {Deploying nEmesis: Preventing Foodborne Illness by Data Mining Social
Media},
booktitle = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence,
February 12-17, 2016, Phoenix, Arizona, {USA}},
pages = {3982--3990},
publisher = {{AAAI} Press},
year = {2016},
url = {https://doi.org/10.1609/aaai.v30i2.19072},
doi = {10.1609/AAAI.V30I2.19072},
timestamp = {Mon, 04 Sep 2023 15:08:28 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SadilekKDLPTS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl/LiuHALWK16,
author = {Tong Liu and
Christopher Homan and
Cecilia Ovesdotter Alm and
Megan C. Lytle and
Ann Marie White and
Henry A. Kautz},
title = {Understanding Discourse on Work and Job-Related Well-Being in Public
Social Media},
booktitle = {Proceedings of the 54th Annual Meeting of the Association for Computational
Linguistics, {ACL} 2016, August 7-12, 2016, Berlin, Germany, Volume
1: Long Papers},
publisher = {The Association for Computer Linguistics},
year = {2016},
url = {https://doi.org/10.18653/v1/p16-1099},
doi = {10.18653/V1/P16-1099},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acl/LiuHALWK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpr/NaimMSLKG16,
author = {Iftekhar Naim and
Abdullah Al Mamun and
Young Chol Song and
Jiebo Luo and
Henry A. Kautz and
Daniel Gildea},
title = {Aligning movies with scripts by exploiting temporal ordering constraints},
booktitle = {23rd International Conference on Pattern Recognition, {ICPR} 2016,
Canc{\'{u}}n, Mexico, December 4-8, 2016},
pages = {1786--1791},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ICPR.2016.7899895},
doi = {10.1109/ICPR.2016.7899895},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpr/NaimMSLKG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icwsm/HossainHFWLK16,
author = {Nabil Hossain and
Tianran Hu and
Roghayeh Feizi and
Ann Marie White and
Jiebo Luo and
Henry A. Kautz},
title = {Precise Localization of Homes and Activities: Detecting Drinking-While-Tweeting
Patterns in Communities},
booktitle = {Proceedings of the Tenth International Conference on Web and Social
Media, Cologne, Germany, May 17-20, 2016},
pages = {587--590},
publisher = {{AAAI} Press},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/ICWSM/ICWSM16/paper/view/13118},
timestamp = {Fri, 05 Feb 2021 11:07:46 +0100},
biburl = {https://dblp.org/rec/conf/icwsm/HossainHFWLK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SongNMKSLGK16,
author = {Young Chol Song and
Iftekhar Naim and
Abdullah Al Mamun and
Kaustubh Kulkarni and
Parag Singla and
Jiebo Luo and
Daniel Gildea and
Henry A. Kautz},
editor = {Subbarao Kambhampati},
title = {Unsupervised Alignment of Actions in Video with Text Descriptions},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
2016},
pages = {2025--2031},
publisher = {{IJCAI/AAAI} Press},
year = {2016},
url = {http://www.ijcai.org/Abstract/16/289},
timestamp = {Wed, 09 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/SongNMKSLGK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HossainHFWLK16,
author = {Nabil Hossain and
Tianran Hu and
Roghayeh Feizi and
Ann Marie White and
Jiebo Luo and
Henry A. Kautz},
title = {Inferring Fine-grained Details on User Activities and Home Location
from Social Media: Detecting Drinking-While-Tweeting Patterns in Communities},
journal = {CoRR},
volume = {abs/1603.03181},
year = {2016},
url = {http://arxiv.org/abs/1603.03181},
eprinttype = {arXiv},
eprint = {1603.03181},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HossainHFWLK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ZhouLSZHCK15,
author = {Dawei Zhou and
Jiebo Luo and
Vincent M. B. Silenzio and
Yun Zhou and
Jile Hu and
Glenn Currier and
Henry A. Kautz},
editor = {Blai Bonet and
Sven Koenig},
title = {Tackling Mental Health by Integrating Unobtrusive Multimodal Sensing},
booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
January 25-30, 2015, Austin, Texas, {USA}},
pages = {1401--1409},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/aaai.v29i1.9381},
doi = {10.1609/AAAI.V29I1.9381},
timestamp = {Mon, 18 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ZhouLSZHCK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bigdataconf/PangBKL15,
author = {Ran Pang and
Agustin Baretto and
Henry A. Kautz and
Jiebo Luo},
title = {Monitoring adolescent alcohol use via multimodal analysis in social
multimedia},
booktitle = {2015 {IEEE} International Conference on Big Data {(IEEE} BigData 2015),
Santa Clara, CA, USA, October 29 - November 1, 2015},
pages = {1509--1518},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/BigData.2015.7363914},
doi = {10.1109/BIGDATA.2015.7363914},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bigdataconf/PangBKL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/huc/AbiolaPKD15,
author = {Solomon O. Abiola and
Eric Portman and
Henry A. Kautz and
Earl Ray Dorsey},
editor = {Kenji Mase and
Marc Langheinrich and
Daniel Gatica{-}Perez and
Hans Gellersen and
Tanzeem Choudhury and
Koji Yatani},
title = {Node view: a mHealth real-time infectious disease interface disease
interface - 2014 ebola outbreak case study},
booktitle = {Proceedings of the 2015 {ACM} International Joint Conference on Pervasive
and Ubiquitous Computing and Proceedings of the 2015 {ACM} International
Symposium on Wearable Computers, UbiComp/ISWC Adjunct 2015, Osaka,
Japan, September 7-11, 2015},
pages = {297--300},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2800835.2800851},
doi = {10.1145/2800835.2800851},
timestamp = {Wed, 27 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/huc/AbiolaPKD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdm/HuLKS15,
author = {Tianran Hu and
Jiebo Luo and
Henry A. Kautz and
Adam Sadilek},
title = {Home Location Inference from Sparse and Noisy Data: Models and Applications},
booktitle = {{IEEE} International Conference on Data Mining Workshop, {ICDMW} 2015,
Atlantic City, NJ, USA, November 14-17, 2015},
pages = {1382--1387},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICDMW.2015.149},
doi = {10.1109/ICDMW.2015.149},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdm/HuLKS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icwsm/ZhengHYKL15,
author = {Danning Zheng and
Tianran Hu and
Quanzeng You and
Henry A. Kautz and
Jiebo Luo},
editor = {Meeyoung Cha and
Cecilia Mascolo and
Christian Sandvig},
title = {Towards Lifestyle Understanding: Predicting Home and Vacation Locations
from User's Online Photo Collections},
booktitle = {Proceedings of the Ninth International Conference on Web and Social
Media, {ICWSM} 2015, University of Oxford, Oxford, UK, May 26-29,
2015},
pages = {553--561},
publisher = {{AAAI} Press},
year = {2015},
url = {http://www.aaai.org/ocs/index.php/ICWSM/ICWSM15/paper/view/10487},
timestamp = {Fri, 05 Feb 2021 11:07:20 +0100},
biburl = {https://dblp.org/rec/conf/icwsm/ZhengHYKL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/naacl/NaimSLHKLG15,
author = {Iftekhar Naim and
Young Chol Song and
Qiguang Liu and
Liang Huang and
Henry A. Kautz and
Jiebo Luo and
Daniel Gildea},
editor = {Rada Mihalcea and
Joyce Yue Chai and
Anoop Sarkar},
title = {Discriminative Unsupervised Alignment of Natural Language Instructions
with Corresponding Video Segments},
booktitle = {{NAACL} {HLT} 2015, The 2015 Conference of the North American Chapter
of the Association for Computational Linguistics: Human Language Technologies,
Denver, Colorado, USA, May 31 - June 5, 2015},
pages = {164--174},
publisher = {The Association for Computational Linguistics},
year = {2015},
url = {https://doi.org/10.3115/v1/n15-1017},
doi = {10.3115/V1/N15-1017},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/naacl/NaimSLHKLG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/KoppSK15,
author = {Timothy Kopp and
Parag Singla and
Henry A. Kautz},
editor = {Corinna Cortes and
Neil D. Lawrence and
Daniel D. Lee and
Masashi Sugiyama and
Roman Garnett},
title = {Lifted Symmetry Detection and Breaking for {MAP} Inference},
booktitle = {Advances in Neural Information Processing Systems 28: Annual Conference
on Neural Information Processing Systems 2015, December 7-12, 2015,
Montreal, Quebec, Canada},
pages = {1315--1323},
year = {2015},
url = {https://proceedings.neurips.cc/paper/2015/hash/71ad16ad2c4d81f348082ff6c4b20768-Abstract.html},
timestamp = {Mon, 16 May 2022 15:41:51 +0200},
biburl = {https://dblp.org/rec/conf/nips/KoppSK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LiuHAWLK15,
author = {Tong Liu and
Christopher M. Homan and
Cecilia Ovesdotter Alm and
Ann Marie White and
Megan C. Lytle{-}Flint and
Henry A. Kautz},
title = {Job-related discourse on social media},
journal = {CoRR},
volume = {abs/1511.04805},
year = {2015},
url = {http://arxiv.org/abs/1511.04805},
eprinttype = {arXiv},
eprint = {1511.04805},
timestamp = {Tue, 05 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/LiuHAWLK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/NaimSLKLG14,
author = {Iftekhar Naim and
Young Chol Song and
Qiguang Liu and
Henry A. Kautz and
Jiebo Luo and
Daniel Gildea},
editor = {Carla E. Brodley and
Peter Stone},
title = {Unsupervised Alignment of Natural Language Instructions with Video
Segments},
booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada},
pages = {1558--1564},
publisher = {{AAAI} Press},
year = {2014},
url = {https://doi.org/10.1609/aaai.v28i1.8939},
doi = {10.1609/AAAI.V28I1.8939},
timestamp = {Mon, 04 Sep 2023 15:06:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/NaimSLKLG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mm/ZhengHYKL14,
author = {Danning Zheng and
Tianran Hu and
Quanzeng You and
Henry A. Kautz and
Jiebo Luo},
editor = {Liangliang Cao and
Gerald Friedland and
Lexing Xie},
title = {Inferring Home Location from User's Photo Collections based on Visual
Content and Mobility Patterns},
booktitle = {Proceedings of the 3rd {ACM} Multimedia Workshop on Geotagging and
Its Applications in Multimedia, GeoMM '14, Orlando, Florida, USA,
November 7, 2014},
pages = {21--26},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2661118.2661123},
doi = {10.1145/2661118.2661123},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mm/ZhengHYKL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SadilekK14,
author = {Adam Sadilek and
Henry A. Kautz},
title = {Location-Based Reasoning about Complex Multi-Agent Behavior},
journal = {CoRR},
volume = {abs/1401.4593},
year = {2014},
url = {http://arxiv.org/abs/1401.4593},
eprinttype = {arXiv},
eprint = {1401.4593},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SadilekK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/PapaiK13,
author = {Tivadar Papai and
Henry A. Kautz},
title = {Modal Markov Logic for Multiple Agents},
booktitle = {Statistical Relational Artificial Intelligence, Papers from the 2013
{AAAI} Workshop, Bellevue, Washington, USA, July 15, 2013},
series = {{AAAI} Technical Report},
volume = {{WS-13-16}},
publisher = {{AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/WS/AAAIW13/paper/view/7022},
timestamp = {Tue, 05 Sep 2023 08:59:27 +0200},
biburl = {https://dblp.org/rec/conf/aaai/PapaiK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SongKLL13,
author = {Young Chol Song and
Henry A. Kautz and
Yuncheng Li and
Jiebo Luo},
title = {A General Framework for Recognizing Complex Events in Markov Logic},
booktitle = {Statistical Relational Artificial Intelligence, Papers from the 2013
{AAAI} Workshop, Bellevue, Washington, USA, July 15, 2013},
series = {{AAAI} Technical Report},
volume = {{WS-13-16}},
publisher = {{AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/WS/AAAIW13/paper/view/7101},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SongKLL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SongKLL13a,
author = {Young Chol Song and
Henry A. Kautz and
Yuncheng Li and
Jiebo Luo},
title = {A General Framework for Recognizing Complex Events in Markov Logic},
booktitle = {Plan, Activity, and Intent Recognition, Papers from the 2013 {AAAI}
Workshop, Bellevue, Washington, USA, July 15, 2013},
series = {{AAAI} Technical Report},
volume = {{WS-13-13}},
publisher = {{AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/WS/AAAIW13/paper/view/7100},
timestamp = {Tue, 05 Sep 2023 08:59:27 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SongKLL13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cscw/LaseckiSKB13,
author = {Walter S. Lasecki and
Young Chol Song and
Henry A. Kautz and
Jeffrey P. Bigham},
editor = {Amy S. Bruckman and
Scott Counts and
Cliff Lampe and
Loren G. Terveen},
title = {Real-time crowd labeling for deployable activity recognition},
booktitle = {Computer Supported Cooperative Work, {CSCW} 2013, San Antonio, TX,
USA, February 23-27, 2013},
pages = {1203--1212},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2441776.2441912},
doi = {10.1145/2441776.2441912},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cscw/LaseckiSKB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hcomp/SadilekBKS13,
author = {Adam Sadilek and
Sean Brennan and
Henry A. Kautz and
Vincent Silenzio},
editor = {Bj{\"{o}}rn Hartman and
Eric Horvitz},
title = {nEmesis: Which Restaurants Should You Avoid Today?},
booktitle = {Proceedings of the First {AAAI} Conference on Human Computation and
Crowdsourcing, {HCOMP} 2013, November 7-9, 2013, Palm Springs, CA,
{USA}},
pages = {138--146},
publisher = {{AAAI}},
year = {2013},
url = {https://doi.org/10.1609/hcomp.v1i1.13069},
doi = {10.1609/HCOMP.V1I1.13069},
timestamp = {Tue, 05 Sep 2023 11:10:11 +0200},
biburl = {https://dblp.org/rec/conf/hcomp/SadilekBKS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmi/SongKASLLZ13,
author = {Young Chol Song and
Henry A. Kautz and
James F. Allen and
Mary D. Swift and
Yuncheng Li and
Jiebo Luo and
Ce Zhang},
editor = {Julien Epps and
Fang Chen and
Sharon L. Oviatt and
Kenji Mase and
Andrew Sears and
Kristiina Jokinen and
Bj{\"{o}}rn W. Schuller},
title = {A Markov logic framework for recognizing complex events from multimodal
data},
booktitle = {2013 International Conference on Multimodal Interaction, {ICMI} '13,
Sydney, NSW, Australia, December 9-13, 2013},
pages = {141--148},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2522848.2522883},
doi = {10.1145/2522848.2522883},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icmi/SongKASLLZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BrennanSK13,
author = {Sean Brennan and
Adam Sadilek and
Henry A. Kautz},
editor = {Francesca Rossi},
title = {Towards Understanding Global Spread of Disease from Everyday Interpersonal
Interactions},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {2783--2789},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6526},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/BrennanSK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SadilekK13,
author = {Adam Sadilek and
Henry A. Kautz},
editor = {Francesca Rossi},
title = {Modeling The Interplay of People's Location, Interactions, and Social
Ties},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {3067--3071},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6522},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/SadilekK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/PapaiKS13,
author = {Tivadar Papai and
Henry A. Kautz and
Daniel Stefankovic},
editor = {Burkhard C. Schipper},
title = {Reasoning Under the Principle of Maximum Entropy for Modal Logics
K45, KD45, and {S5}},
booktitle = {Proceedings of the 14th Conference on Theoretical Aspects of Rationality
and Knowledge {(TARK} 2013), Chennai, India, January 7-9, 2013},
year = {2013},
url = {http://www.tark.org/proceedings/tark\_jan7\_13/p222-papai.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tark/PapaiKS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsdm/SadilekK13,
author = {Adam Sadilek and
Henry A. Kautz},
editor = {Stefano Leonardi and
Alessandro Panconesi and
Paolo Ferragina and
Aristides Gionis},
title = {Modeling the impact of lifestyle on health at scale},
booktitle = {Sixth {ACM} International Conference on Web Search and Data Mining,
{WSDM} 2013, Rome, Italy, February 4-8, 2013},
pages = {637--646},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2433396.2433476},
doi = {10.1145/2433396.2433476},
timestamp = {Tue, 27 Dec 2022 09:06:31 +0100},
biburl = {https://dblp.org/rec/conf/wsdm/SadilekK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-2279,
author = {Eric Horvitz and
Yongshao Ruan and
Carla P. Gomes and
Henry A. Kautz and
Bart Selman and
David Maxwell Chickering},
title = {A Bayesian Approach to Tackling Hard Computational Problems},
journal = {CoRR},
volume = {abs/1301.2279},
year = {2013},
url = {http://arxiv.org/abs/1301.2279},
eprinttype = {arXiv},
eprint = {1301.2279},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-2279.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PapaiKS13,
author = {Tivadar Papai and
Henry A. Kautz and
Daniel Stefankovic},
title = {Reasoning Under the Principle of Maximum Entropy for Modal Logics
K45, KD45, and {S5}},
journal = {CoRR},
volume = {abs/1310.6439},
year = {2013},
url = {http://arxiv.org/abs/1310.6439},
eprinttype = {arXiv},
eprint = {1310.6439},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PapaiKS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/SadilekK12,
author = {Adam Sadilek and
Henry A. Kautz},
title = {Location-Based Reasoning about Complex Multi-Agent Behavior},
journal = {J. Artif. Intell. Res.},
volume = {43},
pages = {87--133},
year = {2012},
url = {https://doi.org/10.1613/jair.3421},
doi = {10.1613/JAIR.3421},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/SadilekK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jaise/ChuSLK12,
author = {Yi Chu and
Young Chol Song and
Richard Levinson and
Henry A. Kautz},
title = {Interactive activity recognition and prompting to assist people with
cognitive disabilities},
journal = {J. Ambient Intell. Smart Environ.},
volume = {4},
number = {5},
pages = {443--459},
year = {2012},
url = {https://doi.org/10.3233/AIS-2012-0168},
doi = {10.3233/AIS-2012-0168},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jaise/ChuSLK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SadilekKS12,
author = {Adam Sadilek and
Henry A. Kautz and
Vincent Silenzio},
editor = {J{\"{o}}rg Hoffmann and
Bart Selman},
title = {Predicting Disease Transmission from Geo-Tagged Micro-Blog Data},
booktitle = {Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial Intelligence,
July 22-26, 2012, Toronto, Ontario, Canada},
pages = {136--142},
publisher = {{AAAI} Press},
year = {2012},
url = {https://doi.org/10.1609/aaai.v26i1.8103},
doi = {10.1609/AAAI.V26I1.8103},
timestamp = {Mon, 04 Sep 2023 15:56:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SadilekKS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SongK12,
author = {Young Chol Song and
Henry A. Kautz},
editor = {J{\"{o}}rg Hoffmann and
Bart Selman},
title = {A Testbed for Learning by Demonstration from Natural Language and
RGB-Depth Video},
booktitle = {Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial Intelligence,
July 22-26, 2012, Toronto, Ontario, Canada},
pages = {2457--2458},
publisher = {{AAAI} Press},
year = {2012},
url = {https://doi.org/10.1609/aaai.v26i1.8430},
doi = {10.1609/AAAI.V26I1.8430},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SongK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icwsm/SadilekKS12,
author = {Adam Sadilek and
Henry A. Kautz and
Vincent Silenzio},
editor = {John G. Breslin and
Nicole B. Ellison and
James G. Shanahan and
Zeynep Tufekci},
title = {Modeling Spread of Disease from Social Interactions},
booktitle = {Proceedings of the Sixth International Conference on Weblogs and Social
Media, Dublin, Ireland, June 4-7, 2012},
publisher = {The {AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/ICWSM/ICWSM12/paper/view/4493},
timestamp = {Fri, 05 Feb 2021 11:07:20 +0100},
biburl = {https://dblp.org/rec/conf/icwsm/SadilekKS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/PapaiKS12,
author = {Tivadar Papai and
Henry A. Kautz and
Daniel Stefankovic},
editor = {Peter L. Bartlett and
Fernando C. N. Pereira and
Christopher J. C. Burges and
L{\'{e}}on Bottou and
Kilian Q. Weinberger},
title = {Slice Normalized Dynamic Markov Logic Networks},
booktitle = {Advances in Neural Information Processing Systems 25: 26th Annual
Conference on Neural Information Processing Systems 2012. Proceedings
of a meeting held December 3-6, 2012, Lake Tahoe, Nevada, United States},
pages = {1916--1924},
year = {2012},
url = {https://proceedings.neurips.cc/paper/2012/hash/c8c41c4a18675a74e01c8a20e8a0f662-Abstract.html},
timestamp = {Mon, 16 May 2022 15:41:51 +0200},
biburl = {https://dblp.org/rec/conf/nips/PapaiKS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pkdd/PapaiGK12,
author = {Tivadar Papai and
Shalini Ghosh and
Henry A. Kautz},
editor = {Peter A. Flach and
Tijl De Bie and
Nello Cristianini},
title = {Combining Subjective Probabilities and Data in Training Markov Logic
Networks},
booktitle = {Machine Learning and Knowledge Discovery in Databases - European Conference,
{ECML} {PKDD} 2012, Bristol, UK, September 24-28, 2012. Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {7523},
pages = {90--105},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33460-3\_11},
doi = {10.1007/978-3-642-33460-3\_11},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pkdd/PapaiGK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/starai/PapaiKS12,
author = {Tivadar Papai and
Henry A. Kautz and
Daniel Stefankovic},
editor = {Henry A. Kautz and
Kristian Kersting and
Sriraam Natarajan and
David Poole},
title = {Slice Normalized Dynamic Markov Logic Networks},
booktitle = {2nd International Workshop on Statistical Relational {AI} (StaRAI-12),
held at the Uncertainty in Artificial Intelligence Conference {(UAI}
2012), Catalina Island, CA, USA, August 18, 2012},
year = {2012},
url = {https://starai.cs.kuleuven.be/2012/accepted/papai.pdf},
timestamp = {Thu, 10 Nov 2022 14:49:26 +0100},
biburl = {https://dblp.org/rec/conf/starai/PapaiKS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsdm/SadilekKB12,
author = {Adam Sadilek and
Henry A. Kautz and
Jeffrey P. Bigham},
editor = {Eytan Adar and
Jaime Teevan and
Eugene Agichtein and
Yoelle Maarek},
title = {Finding your friends and following them to where you are},
booktitle = {Proceedings of the Fifth International Conference on Web Search and
Web Data Mining, {WSDM} 2012, Seattle, WA, USA, February 8-12, 2012},
pages = {723--732},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2124295.2124380},
doi = {10.1145/2124295.2124380},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsdm/SadilekKB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/12/SadilekK12,
author = {Adam Sadilek and
Henry A. Kautz},
editor = {Tom Lovett and
Eamonn O'Neill},
title = {Modeling Success, Failure, and Intent of Multi-Agent Activities Under
Severe Noise},
booktitle = {Mobile Context Awareness},
pages = {9--63},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-0-85729-625-2\_2},
doi = {10.1007/978-0-85729-625-2\_2},
timestamp = {Wed, 10 Jul 2019 14:09:25 +0200},
biburl = {https://dblp.org/rec/books/sp/12/SadilekK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ChuSHL11,
author = {Yi Chu and
Young Chol Song and
Henry A. Kautz and
Richard Levinson},
title = {When Did You Start Doing that Thing that You Do? Interactive Activity
Recognition and Prompting},
booktitle = {Artificial Intelligence and Smarter Living: The Conquest of Complexity,
Papers from the 2011 {AAAI} Workshop, San Francisco, California, USA,
August 8, 2011},
series = {{AAAI} Technical Report},
volume = {{WS-11-07}},
publisher = {{AAAI}},
year = {2011},
url = {http://www.aaai.org/ocs/index.php/WS/AAAIW11/paper/view/3890},
timestamp = {Tue, 05 Sep 2023 08:59:27 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ChuSHL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/PapaiSK11,
author = {Tivadar Papai and
Parag Singla and
Henry A. Kautz},
editor = {Jimmy Ho{-}Man Lee},
title = {Constraint Propagation for Efficient Inference in Markov Logic},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2011 - 17th
International Conference, {CP} 2011, Perugia, Italy, September 12-16,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6876},
pages = {691--705},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23786-7\_52},
doi = {10.1007/978-3-642-23786-7\_52},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/PapaiSK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1107-0044,
author = {Paul Beame and
Henry A. Kautz and
Ashish Sabharwal},
title = {Towards Understanding and Harnessing the Potential of Clause Learning},
journal = {CoRR},
volume = {abs/1107.0044},
year = {2011},
url = {http://arxiv.org/abs/1107.0044},
eprinttype = {arXiv},
eprint = {1107.0044},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1107-0044.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/GoldmanGKA11,
author = {Robert P. Goldman and
Christopher W. Geib and
Henry A. Kautz and
Tamim Asfour},
title = {Plan Recognition (Dagstuhl Seminar 11141)},
journal = {Dagstuhl Reports},
volume = {1},
number = {4},
pages = {1--22},
year = {2011},
url = {https://doi.org/10.4230/DagRep.1.4.1},
doi = {10.4230/DAGREP.1.4.1},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/GoldmanGKA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/PollackK10,
author = {Martha E. Pollack and
Henry A. Kautz},
title = {{AAAI} Leadership Transition},
journal = {{AI} Mag.},
volume = {31},
number = {2},
pages = {7--8},
year = {2010},
url = {https://doi.org/10.1609/aimag.v31i2.2308},
doi = {10.1609/AIMAG.V31I2.2308},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/PollackK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/HorvitzGGHKSWK10,
author = {Eric Horvitz and
Lise Getoor and
Carlos Guestrin and
James A. Hendler and
Joseph A. Konstan and
Devika Subramanian and
Michael P. Wellman and
Henry A. Kautz},
title = {{AI} Theory and Practice: {A} Discussion on Hard Challenges and Opportunities
Ahead},
journal = {{AI} Mag.},
volume = {31},
number = {3},
pages = {103--114},
year = {2010},
url = {https://doi.org/10.1609/aimag.v31i3.2293},
doi = {10.1609/AIMAG.V31I3.2293},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aim/HorvitzGGHKSWK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SadilekK10,
author = {Adam Sadilek and
Henry A. Kautz},
editor = {Maria Fox and
David Poole},
title = {Recognizing Multi-Agent Activities from {GPS} Data},
booktitle = {Proceedings of the Twenty-Fourth {AAAI} Conference on Artificial Intelligence,
{AAAI} 2010, Atlanta, Georgia, USA, July 11-15, 2010},
pages = {1134--1139},
publisher = {{AAAI} Press},
year = {2010},
url = {https://doi.org/10.1609/aaai.v24i1.7739},
doi = {10.1609/AAAI.V24I1.7739},
timestamp = {Mon, 04 Sep 2023 16:23:45 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SadilekK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aips/2010,
editor = {Ronen I. Brafman and
Hector Geffner and
J{\"{o}}rg Hoffmann and
Henry A. Kautz},
title = {Proceedings of the 20th International Conference on Automated Planning
and Scheduling, {ICAPS} 2010, Toronto, Ontario, Canada, May 12-16,
2010},
publisher = {{AAAI}},
year = {2010},
timestamp = {Thu, 31 Jul 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/starai/2012,
editor = {Henry A. Kautz and
Kristian Kersting and
Sriraam Natarajan and
David Poole},
title = {2nd International Workshop on Statistical Relational {AI} (StaRAI-12),
held at the Uncertainty in Artificial Intelligence Conference {(UAI}
2012), Catalina Island, CA, USA, August 18, 2012},
year = {2010},
url = {https://starai.cs.kuleuven.be/2012/papers.htm},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/starai/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tmm/CaoLKH09,
author = {Liangliang Cao and
Jiebo Luo and
Henry A. Kautz and
Thomas S. Huang},
title = {Image Annotation Within the Context of Personal Photo Collections
Using Hierarchical Event and Scene Models},
journal = {{IEEE} Trans. Multim.},
volume = {11},
number = {2},
pages = {208--219},
year = {2009},
url = {https://doi.org/10.1109/TMM.2008.2009693},
doi = {10.1109/TMM.2008.2009693},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tmm/CaoLKH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/ChoudhuryKK09,
author = {Tanzeem Choudhury and
Ashish Kapoor and
Henry A. Kautz},
title = {Organizing Committee},
booktitle = {Human Behavior Modeling, Papers from the 2009 {AAAI} Spring Symposium,
Technical Report SS-09-04, Stanford, California, USA, March 23-25,
2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/Library/Symposia/Spring/2009/ss09-04-000.php},
timestamp = {Fri, 17 Feb 2012 13:46:34 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/ChoudhuryKK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/assets/LiuHBBHKJ09,
author = {Alan L. Liu and
Harlan Hile and
Gaetano Borriello and
Pat A. Brown and
Mark Harniss and
Henry A. Kautz and
Kurt Johnson},
editor = {Shari Trewin and
Kathleen F. McCoy},
title = {Customizing directions in an automated wayfinding system for individuals
with cognitive impairment},
booktitle = {Proceedings of the 11th International {ACM} {SIGACCESS} Conference
on Computers and Accessibility, {ASSETS} 2009, Pittsburgh, Pennsylvania,
USA, October 25-28, 2009},
pages = {27--34},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1639642.1639649},
doi = {10.1145/1639642.1639649},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/assets/LiuHBBHKJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccv/MessingPK09,
author = {Ross Messing and
Christopher J. Pal and
Henry A. Kautz},
title = {Activity recognition using the velocity histories of tracked keypoints},
booktitle = {{IEEE} 12th International Conference on Computer Vision, {ICCV} 2009,
Kyoto, Japan, September 27 - October 4, 2009},
pages = {104--111},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICCV.2009.5459154},
doi = {10.1109/ICCV.2009.5459154},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccv/MessingPK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ph/LiuHBKBHJ09,
author = {Alan L. Liu and
Harlan Hile and
Gaetano Borriello and
Henry A. Kautz and
Pat A. Brown and
Mark Harniss and
Kurt Johnson},
title = {Informing the design of an automated wayfinding system for individuals
with cognitive impairments},
booktitle = {3rd International Conference on Pervasive Computing Technologies for
Healthcare, PervasiveHealth 2009, London, UK, April 1-3, 2009},
pages = {1--8},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.4108/ICST.PERVASIVEHEALTH2009.6018},
doi = {10.4108/ICST.PERVASIVEHEALTH2009.6018},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ph/LiuHBKBHJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/KautzSS09,
author = {Henry A. Kautz and
Ashish Sabharwal and
Bart Selman},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Incomplete Algorithms},
booktitle = {Handbook of Satisfiability},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {185},
pages = {185--203},
publisher = {{IOS} Press},
year = {2009},
url = {https://doi.org/10.3233/978-1-58603-929-5-185},
doi = {10.3233/978-1-58603-929-5-185},
timestamp = {Fri, 06 May 2022 08:00:40 +0200},
biburl = {https://dblp.org/rec/series/faia/KautzSS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaifs/ModayilLHHK08,
author = {Joseph Modayil and
Richard Levinson and
Craig Harman and
David Halper and
Henry A. Kautz},
title = {Integrating Sensing and Cueing for More Effective Activity Reminders},
booktitle = {{AI} in Eldercare: New Solutions to Old Problems, Papers from the
2008 {AAAI} Fall Symposium, Arlington, Virginia, USA, November 7-9,
2008},
series = {{AAAI} Technical Report},
volume = {{FS-08-02}},
pages = {60--66},
publisher = {{AAAI}},
year = {2008},
url = {http://www.aaai.org/Library/Symposia/Fall/2008/fs08-02-010.php},
timestamp = {Thu, 05 Sep 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaaifs/ModayilLHHK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaifs/ParkK08,
author = {Sangho Park and
Henry A. Kautz},
title = {Privacy-Preserving Recognition of Activities in Daily Living from
Multi-view Silhouettes and RFID-based Training},
booktitle = {{AI} in Eldercare: New Solutions to Old Problems, Papers from the
2008 {AAAI} Fall Symposium, Arlington, Virginia, USA, November 7-9,
2008},
series = {{AAAI} Technical Report},
volume = {{FS-08-02}},
pages = {70--77},
publisher = {{AAAI}},
year = {2008},
url = {http://www.aaai.org/Library/Symposia/Fall/2008/fs08-02-012.php},
timestamp = {Tue, 17 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaaifs/ParkK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cvpr/CaoLKH08,
author = {Liangliang Cao and
Jiebo Luo and
Henry A. Kautz and
Thomas S. Huang},
title = {Annotating collections of photos using hierarchical event and scene
models},
booktitle = {2008 {IEEE} Computer Society Conference on Computer Vision and Pattern
Recognition {(CVPR} 2008), 24-26 June 2008, Anchorage, Alaska, {USA}},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/CVPR.2008.4587382},
doi = {10.1109/CVPR.2008.4587382},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cvpr/CaoLKH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cvpr/SinglaKLG08,
author = {Parag Singla and
Henry A. Kautz and
Jiebo Luo and
Andrew C. Gallagher},
title = {Discovery of social relationships in consumer photo collections using
Markov Logic},
booktitle = {{IEEE} Conference on Computer Vision and Pattern Recognition, {CVPR}
Workshops 2008, Anchorage, AK, USA, 23-28 June, 2008},
pages = {1--7},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/CVPRW.2008.4563047},
doi = {10.1109/CVPRW.2008.4563047},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cvpr/SinglaKLG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/huc/ModayilBK08,
author = {Joseph Modayil and
Tongxin Bai and
Henry A. Kautz},
editor = {Hee Yong Youn and
We{-}Duke Cho},
title = {Improving the recognition of interleaved activities},
booktitle = {UbiComp 2008: Ubiquitous Computing, 10th International Conference,
UbiComp 2008, Seoul, Korea, September 21-24, 2008, Proceedings},
series = {{ACM} International Conference Proceeding Series},
volume = {344},
pages = {40--43},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1409635.1409641},
doi = {10.1145/1409635.1409641},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/huc/ModayilBK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mir/YuanLKW08,
author = {Junsong Yuan and
Jiebo Luo and
Henry A. Kautz and
Ying Wu},
editor = {Michael S. Lew and
Alberto Del Bimbo and
Erwin M. Bakker},
title = {Mining {GPS} traces and visual words for event classification},
booktitle = {Proceedings of the 1st {ACM} {SIGMM} International Conference on Multimedia
Information Retrieval, {MIR} 2008, Vancouver, British Columbia, Canada,
October 30-31, 2008},
pages = {2--9},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1460096.1460099},
doi = {10.1145/1460096.1460099},
timestamp = {Tue, 14 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mir/YuanLKW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/GomesKSS08,
author = {Carla P. Gomes and
Henry A. Kautz and
Ashish Sabharwal and
Bart Selman},
editor = {Frank van Harmelen and
Vladimir Lifschitz and
Bruce W. Porter},
title = {Satisfiability Solvers},
booktitle = {Handbook of Knowledge Representation},
series = {Foundations of Artificial Intelligence},
volume = {3},
pages = {89--134},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/S1574-6526(07)03002-7},
doi = {10.1016/S1574-6526(07)03002-7},
timestamp = {Mon, 06 Nov 2023 17:08:49 +0100},
biburl = {https://dblp.org/rec/reference/fai/GomesKSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/LiaoPFK07,
author = {Lin Liao and
Donald J. Patterson and
Dieter Fox and
Henry A. Kautz},
title = {Learning and inferring transportation routines},
journal = {Artif. Intell.},
volume = {171},
number = {5-6},
pages = {311--331},
year = {2007},
url = {https://doi.org/10.1016/j.artint.2007.01.006},
doi = {10.1016/J.ARTINT.2007.01.006},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/LiaoPFK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/KautzS07,
author = {Henry A. Kautz and
Bart Selman},
title = {The state of {SAT}},
journal = {Discret. Appl. Math.},
volume = {155},
number = {12},
pages = {1514--1524},
year = {2007},
url = {https://doi.org/10.1016/j.dam.2006.10.004},
doi = {10.1016/J.DAM.2006.10.004},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/KautzS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijrr/LiaoFK07,
author = {Lin Liao and
Dieter Fox and
Henry A. Kautz},
title = {Extracting Places and Activities from {GPS} Traces Using Hierarchical
Conditional Random Fields},
journal = {Int. J. Robotics Res.},
volume = {26},
number = {1},
pages = {119--134},
year = {2007},
url = {https://doi.org/10.1177/0278364907073775},
doi = {10.1177/0278364907073775},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijrr/LiaoFK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/PentneyPBK07,
author = {William Pentney and
Matthai Philipose and
Jeff A. Bilmes and
Henry A. Kautz},
title = {Learning Large Scale Common Sense Models of Everyday Life},
booktitle = {Proceedings of the Twenty-Second {AAAI} Conference on Artificial Intelligence,
July 22-26, 2007, Vancouver, British Columbia, Canada},
pages = {465--470},
publisher = {{AAAI} Press},
year = {2007},
url = {http://www.aaai.org/Library/AAAI/2007/aaai07-073.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/PentneyPBK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/WyattCK07,
author = {Danny Wyatt and
Tanzeem Choudhury and
Henry A. Kautz},
title = {Capturing Spontaneous Conversation and Social Dynamics: {A} Privacy-Sensitive
Data Collection Effort},
booktitle = {Proceedings of the {IEEE} International Conference on Acoustics, Speech,
and Signal Processing, {ICASSP} 2007, Honolulu, Hawaii, USA, April
15-20, 2007},
pages = {213--216},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/ICASSP.2007.367201},
doi = {10.1109/ICASSP.2007.367201},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icassp/WyattCK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SangBK07,
author = {Tian Sang and
Paul Beame and
Henry A. Kautz},
editor = {Manuela M. Veloso},
title = {A Dynamic Approach for {MPE} and Weighted {MAX-SAT}},
booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
pages = {173--179},
year = {2007},
url = {http://ijcai.org/Proceedings/07/Papers/026.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:11 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/SangBK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/WyattCBK07,
author = {Danny Wyatt and
Tanzeem Choudhury and
Jeff A. Bilmes and
Henry A. Kautz},
editor = {Manuela M. Veloso},
title = {A Privacy-Sensitive Approach to Modeling Multi-Person Conversations},
booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
pages = {1769--1775},
year = {2007},
url = {http://ijcai.org/Proceedings/07/Papers/286.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/WyattCBK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HoffmannGSK07,
author = {J{\"{o}}rg Hoffmann and
Carla P. Gomes and
Bart Selman and
Henry A. Kautz},
editor = {Manuela M. Veloso},
title = {{SAT} Encodings of State-Space Reachability Problems in Numeric Domains},
booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
pages = {1918--1923},
year = {2007},
url = {http://ijcai.org/Proceedings/07/Papers/309.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/HoffmannGSK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LiaoCFK07,
author = {Lin Liao and
Tanzeem Choudhury and
Dieter Fox and
Henry A. Kautz},
editor = {Manuela M. Veloso},
title = {Training Conditional Random Fields Using Virtual Evidence Boosting},
booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
pages = {2530--2535},
year = {2007},
url = {http://ijcai.org/Proceedings/07/Papers/407.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LiaoCFK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/PentneyPWKP06,
author = {William Pentney and
Ana{-}Maria Popescu and
Shiaokai Wang and
Henry A. Kautz and
Matthai Philipose},
title = {Sensor-Based Understanding of Daily Life via Large-Scale Use of Common
Sense},
booktitle = {Proceedings, The Twenty-First National Conference on Artificial Intelligence
and the Eighteenth Innovative Applications of Artificial Intelligence
Conference, July 16-20, 2006, Boston, Massachusetts, {USA}},
pages = {906--912},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/AAAI/2006/aaai06-143.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/PentneyPWKP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Kautz06,
author = {Henry A. Kautz},
title = {Deconstructing Planning as Satisfiability},
booktitle = {Proceedings, The Twenty-First National Conference on Artificial Intelligence
and the Eighteenth Innovative Applications of Artificial Intelligence
Conference, July 16-20, 2006, Boston, Massachusetts, {USA}},
pages = {1524--1526},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/AAAI/2006/aaai06-241.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Kautz06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/assets/LiuHKBBHJ06,
author = {Alan L. Liu and
Harlan Hile and
Henry A. Kautz and
Gaetano Borriello and
Pat A. Brown and
Mark Harniss and
Kurt Johnson},
editor = {Simeon Keates and
Simon Harper},
title = {Indoor wayfinding: : developing a functional interface for individuals
with cognitive impairments},
booktitle = {Proceedings of the 8th International {ACM} {SIGACCESS} Conference
on Computers and Accessibility, {ASSETS} 2006, Portland, Oregon, USA,
October 23-25, 2006},
pages = {95--102},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1168987.1169005},
doi = {10.1145/1168987.1169005},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/assets/LiuHKBBHJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ph/LiuHBKFBHJ06,
author = {Alan L. Liu and
Harlan Hile and
Gaetano Borriello and
Henry A. Kautz and
Brian Ferris and
Pat A. Brown and
Mark Harniss and
Kurt Johnson},
editor = {Juan Carlos Chachques and
Upkar Varshney},
title = {Implications for Location Systems in Indoor Wayfinding for Individuals
with Cognitive Impairments},
booktitle = {1st International {ICST} Conference on Pervasive Computing Technologies
for Healthcare, PervasiveHealth 2006, Innsbruck, Austria, November
29 - December 1, 2006},
pages = {1--5},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/PCTHEALTH.2006.361699},
doi = {10.1109/PCTHEALTH.2006.361699},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ph/LiuHBKFBHJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2005P5241,
editor = {Henry A. Kautz and
Wolfgang Thomas and
Moshe Y. Vardi},
title = {Synthesis and Planning, 12.-17. June 2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05241},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2006},
url = {http://drops.dagstuhl.de/portals/05241/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2005P5241.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/expert/NareyekFFGGKRT05,
author = {Alexander Nareyek and
Eugene C. Freuder and
Robert Fourer and
Enrico Giunchiglia and
Robert P. Goldman and
Henry A. Kautz and
Jussi Rintanen and
Austin Tate},
title = {Constraints and {AI} Planning},
journal = {{IEEE} Intell. Syst.},
volume = {20},
number = {2},
pages = {62--72},
year = {2005},
url = {https://doi.org/10.1109/MIS.2005.25},
doi = {10.1109/MIS.2005.25},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/expert/NareyekFFGGKRT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SangBK05,
author = {Tian Sang and
Paul Beame and
Henry A. Kautz},
editor = {Manuela M. Veloso and
Subbarao Kambhampati},
title = {Performing Bayesian Inference by Weighted Model Counting},
booktitle = {Proceedings, The Twentieth National Conference on Artificial Intelligence
and the Seventeenth Innovative Applications of Artificial Intelligence
Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, {USA}},
pages = {475--482},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2005},
url = {http://www.aaai.org/Library/AAAI/2005/aaai05-075.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SangBK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GopalratnamKW05,
author = {Karthik Gopalratnam and
Henry A. Kautz and
Daniel S. Weld},
editor = {Manuela M. Veloso and
Subbarao Kambhampati},
title = {Extending Continuous Time Bayesian Networks},
booktitle = {Proceedings, The Twentieth National Conference on Artificial Intelligence
and the Seventeenth Innovative Applications of Artificial Intelligence
Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, {USA}},
pages = {981--986},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2005},
url = {http://www.aaai.org/Library/AAAI/2005/aaai05-155.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GopalratnamKW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LiaoFK05,
author = {Lin Liao and
Dieter Fox and
Henry A. Kautz},
editor = {Leslie Pack Kaelbling and
Alessandro Saffiotti},
title = {Location-Based Activity Recognition using Relational Markov Networks},
booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
5, 2005},
pages = {773--778},
publisher = {Professional Book Center},
year = {2005},
url = {http://ijcai.org/Proceedings/05/Papers/1572.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:29 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LiaoFK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isrr/LiaoFK05,
author = {Lin Liao and
Dieter Fox and
Henry A. Kautz},
editor = {Sebastian Thrun and
Rodney A. Brooks and
Hugh F. Durrant{-}Whyte},
title = {Hierarchical Conditional Random Fields for GPS-Based Activity Recognition},
booktitle = {Robotics Research: Results of the 12th International Symposium, {ISRR}
2005, October 12-15, 2005, San Francisco, CA, {USA}},
series = {Springer Tracts in Advanced Robotics},
volume = {28},
pages = {487--506},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-48113-3\_41},
doi = {10.1007/978-3-540-48113-3\_41},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isrr/LiaoFK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iswc/PattersonFKP05,
author = {Donald J. Patterson and
Dieter Fox and
Henry A. Kautz and
Matthai Philipose},
title = {Fine-Grained Activity Recognition by Aggregating Abstract Object Usage},
booktitle = {Ninth {IEEE} International Symposium on Wearable Computers {(ISWC}
2005), 18-21 October 2005, Osaka, Japan},
pages = {44--51},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ISWC.2005.22},
doi = {10.1109/ISWC.2005.22},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iswc/PattersonFKP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/LiaoFK05,
author = {Lin Liao and
Dieter Fox and
Henry A. Kautz},
title = {Location-based activity recognition},
booktitle = {Advances in Neural Information Processing Systems 18 [Neural Information
Processing Systems, {NIPS} 2005, December 5-8, 2005, Vancouver, British
Columbia, Canada]},
pages = {787--794},
year = {2005},
url = {https://proceedings.neurips.cc/paper/2005/hash/ef67f7c2d86352c2c42e19d20f881f53-Abstract.html},
timestamp = {Mon, 16 May 2022 15:41:51 +0200},
biburl = {https://dblp.org/rec/conf/nips/LiaoFK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/SangBK05,
author = {Tian Sang and
Paul Beame and
Henry A. Kautz},
editor = {Fahiem Bacchus and
Toby Walsh},
title = {Heuristics for Fast Exact Model Counting},
booktitle = {Theory and Applications of Satisfiability Testing, 8th International
Conference, {SAT} 2005, St. Andrews, UK, June 19-23, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3569},
pages = {226--240},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11499107\_17},
doi = {10.1007/11499107\_17},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/SangBK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/KautzTV05,
author = {Henry A. Kautz and
Wolfgang Thomas and
Moshe Y. Vardi},
editor = {Henry A. Kautz and
Wolfgang Thomas and
Moshe Y. Vardi},
title = {05241 Executive Summary - Synthesis and Planning},
booktitle = {Synthesis and Planning, 12.-17. June 2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05241},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/452},
timestamp = {Thu, 10 Jun 2021 13:02:06 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/KautzTV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/KautzTV05a,
author = {Henry A. Kautz and
Wolfgang Thomas and
Moshe Y. Vardi},
editor = {Henry A. Kautz and
Wolfgang Thomas and
Moshe Y. Vardi},
title = {05241 Abstracts Collection - Synthesis and Planning},
booktitle = {Synthesis and Planning, 12.-17. June 2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05241},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/453},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/KautzTV05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/BeameKS04,
author = {Paul Beame and
Henry A. Kautz and
Ashish Sabharwal},
title = {Towards Understanding and Harnessing the Potential of Clause Learning},
journal = {J. Artif. Intell. Res.},
volume = {22},
pages = {319--351},
year = {2004},
url = {https://doi.org/10.1613/jair.1410},
doi = {10.1613/JAIR.1410},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/BeameKS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pervasive/PhiliposeFPPFKH04,
author = {Matthai Philipose and
Kenneth P. Fishkin and
Mike Perkowitz and
Donald J. Patterson and
Dieter Fox and
Henry A. Kautz and
Dirk H{\"{a}}hnel},
title = {Inferring Activities from Interactions with Objects},
journal = {{IEEE} Pervasive Comput.},
volume = {3},
number = {4},
pages = {50--57},
year = {2004},
url = {https://doi.org/10.1109/MPRV.2004.7},
doi = {10.1109/MPRV.2004.7},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pervasive/PhiliposeFPPFKH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/RuanKH04,
author = {Yongshao Ruan and
Henry A. Kautz and
Eric Horvitz},
editor = {Deborah L. McGuinness and
George Ferguson},
title = {The Backdoor Key: {A} Path to Understanding Problem Hardness},
booktitle = {Proceedings of the Nineteenth National Conference on Artificial Intelligence,
Sixteenth Conference on Innovative Applications of Artificial Intelligence,
July 25-29, 2004, San Jose, California, {USA}},
pages = {124--130},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2004},
url = {http://www.aaai.org/Library/AAAI/2004/aaai04-020.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/RuanKH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LiaoFK04,
author = {Lin Liao and
Dieter Fox and
Henry A. Kautz},
editor = {Deborah L. McGuinness and
George Ferguson},
title = {Learning and Inferring Transportation Routines},
booktitle = {Proceedings of the Nineteenth National Conference on Artificial Intelligence,
Sixteenth Conference on Innovative Applications of Artificial Intelligence,
July 25-29, 2004, San Jose, California, {USA}},
pages = {348--353},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2004},
url = {http://www.aaai.org/Library/AAAI/2004/aaai04-056.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/LiaoFK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/huc/PattersonLGCLOWFK04,
author = {Donald J. Patterson and
Lin Liao and
Krzysztof Gajos and
Michael Collier and
Nik Livic and
Katherine Olson and
Shiaokai Wang and
Dieter Fox and
Henry A. Kautz},
editor = {Nigel Davies and
Elizabeth D. Mynatt and
Itiro Siio},
title = {Opportunity Knocks: {A} System to Provide Cognitive Assistance with
Transportation Services},
booktitle = {UbiComp 2004: Ubiquitous Computing: 6th International Conference,
Nottingham, UK, September 7-10, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3205},
pages = {433--450},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30119-6\_26},
doi = {10.1007/978-3-540-30119-6\_26},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/huc/PattersonLGCLOWFK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Kautz04,
author = {Henry A. Kautz},
editor = {Vladimir Lifschitz and
Ilkka Niemel{\"{a}}},
title = {Toward {A} Universal Inference Engine},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 7th International Conference,
{LPNMR} 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2923},
pages = {2},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24609-1\_2},
doi = {10.1007/978-3-540-24609-1\_2},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/Kautz04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/SangBBKP04,
author = {Tian Sang and
Fahiem Bacchus and
Paul Beame and
Henry A. Kautz and
Toniann Pitassi},
title = {Combining Component Caching and Clause Learning for Effective Model
Counting},
booktitle = {{SAT} 2004 - The Seventh International Conference on Theory and Applications
of Satisfiability Testing, 10-13 May 2004, Vancouver, BC, Canada,
Online Proceedings},
year = {2004},
url = {http://www.satisfiability.org/SAT04/programme/21.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sat/SangBBKP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/KautzS03,
author = {Henry A. Kautz and
Bart Selman},
editor = {Francesca Rossi},
title = {Ten Challenges Redux: Recent Progress in Propositional Reasoning and
Search},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th
International Conference, {CP} 2003, Kinsale, Ireland, September 29
- October 3, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2833},
pages = {1--18},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45193-8\_1},
doi = {10.1007/978-3-540-45193-8\_1},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/cp/KautzS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/huc/PattersonLFK03,
author = {Donald J. Patterson and
Lin Liao and
Dieter Fox and
Henry A. Kautz},
editor = {Anind K. Dey and
Albrecht Schmidt and
Joseph F. McCarthy},
title = {Inferring High-Level Behavior from Low-Level Sensors},
booktitle = {UbiComp 2003: Ubiquitous Computing, 5th International Conference,
Seattle, WA, USA, October 12-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2864},
pages = {73--89},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39653-6\_6},
doi = {10.1007/978-3-540-39653-6\_6},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/huc/PattersonLFK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BeameKS03,
author = {Paul Beame and
Henry A. Kautz and
Ashish Sabharwal},
editor = {Georg Gottlob and
Toby Walsh},
title = {Understanding the Power of Clause Learning},
booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference
on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
pages = {1194--1201},
publisher = {Morgan Kaufmann},
year = {2003},
url = {http://ijcai.org/Proceedings/03/Papers/171.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:41 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BeameKS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/LiaoFHKS03,
author = {Lin Liao and
Dieter Fox and
Jeffrey Hightower and
Henry A. Kautz and
Dirk Schulz},
title = {Voronoi tracking: location estimation using sparse and noisy sensor
data},
booktitle = {2003 {IEEE/RSJ} International Conference on Intelligent Robots and
Systems, Las Vegas, Nevada, USA, October 27 - November 1, 2003},
pages = {723--728},
publisher = {{IEEE}},
year = {2003},
url = {https://doi.org/10.1109/IROS.2003.1250715},
doi = {10.1109/IROS.2003.1250715},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/iros/LiaoFHKS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iui/PopescuEK03,
author = {Ana{-}Maria Popescu and
Oren Etzioni and
Henry A. Kautz},
editor = {David B. Leake and
W. Lewis Johnson and
Elisabeth Andr{\'{e}}},
title = {Towards a theory of natural language interfaces to databases},
booktitle = {Proceedings of the 8th International Conference on Intelligent User
Interfaces, {IUI} 2003, Miami, FL, USA, January 12-15, 2003},
pages = {149--157},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/604045.604070},
doi = {10.1145/604045.604070},
timestamp = {Sat, 30 Sep 2023 09:51:13 +0200},
biburl = {https://dblp.org/rec/conf/iui/PopescuEK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iui/PopescuEK03a,
author = {Ana{-}Maria Popescu and
Oren Etzioni and
Henry A. Kautz},
editor = {David B. Leake and
W. Lewis Johnson and
Elisabeth Andr{\'{e}}},
title = {Towards a theory of natural language interfaces to databases},
booktitle = {Proceedings of the 8th International Conference on Intelligent User
Interfaces, {IUI} 2003, Miami, FL, USA, January 12-15, 2003},
pages = {327},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/604045.604120},
doi = {10.1145/604045.604120},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iui/PopescuEK03a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ndqa/PopescuEK03,
author = {Ana{-}Maria Popescu and
Oren Etzioni and
Henry A. Kautz},
editor = {Mark T. Maybury},
title = {Towards a Theory of Question-Answering Interfaces to Databases},
booktitle = {New Directions in Question Answering, Papers from 2003 {AAAI} Spring
Symposium, Stanford University, Stanford, CA, {USA}},
pages = {73--74},
publisher = {{AAAI} Press},
year = {2003},
timestamp = {Tue, 02 Mar 2004 16:06:00 +0100},
biburl = {https://dblp.org/rec/conf/ndqa/PopescuEK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/SabharwalBK03,
author = {Ashish Sabharwal and
Paul Beame and
Henry A. Kautz},
editor = {Enrico Giunchiglia and
Armando Tacchella},
title = {Using Problem Structure for Efficient Clause Learning},
booktitle = {Theory and Applications of Satisfiability Testing, 6th International
Conference, {SAT} 2003. Santa Margherita Ligure, Italy, May 5-8, 2003
Selected Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2919},
pages = {242--256},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24605-3\_19},
doi = {10.1007/978-3-540-24605-3\_19},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/SabharwalBK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KautzHRGS02,
author = {Henry A. Kautz and
Eric Horvitz and
Yongshao Ruan and
Carla P. Gomes and
Bart Selman},
editor = {Rina Dechter and
Michael J. Kearns and
Richard S. Sutton},
title = {Dynamic Restart Policies},
booktitle = {Proceedings of the Eighteenth National Conference on Artificial Intelligence
and Fourteenth Conference on Innovative Applications of Artificial
Intelligence, July 28 - August 1, 2002, Edmonton, Alberta, Canada},
pages = {674--681},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2002},
url = {http://www.aaai.org/Library/AAAI/2002/aaai02-101.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KautzHRGS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/RuanHK02,
author = {Yongshao Ruan and
Eric Horvitz and
Henry A. Kautz},
editor = {Pascal Van Hentenryck},
title = {Restart Policies with Dependence among Runs: {A} Dynamic Programming
Approach},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2002, 8th
International Conference, {CP} 2002, Ithaca, NY, USA, September 9-13,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2470},
pages = {573--586},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46135-3\_38},
doi = {10.1007/3-540-46135-3\_38},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/RuanHK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/KautzS01,
author = {Henry A. Kautz and
Bart Selman},
title = {Preface: Volume 9},
journal = {Electron. Notes Discret. Math.},
volume = {9},
pages = {1},
year = {2001},
url = {https://doi.org/10.1016/S1571-0653(04)00309-9},
doi = {10.1016/S1571-0653(04)00309-9},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/endm/KautzS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/KautzRAGSS01,
author = {Henry A. Kautz and
Yongshao Ruan and
Dimitris Achlioptas and
Carla P. Gomes and
Bart Selman and
Mark E. Stickel},
title = {Balance and Filtering in Structured Satisfiable Problems (Preliminary
Report)},
journal = {Electron. Notes Discret. Math.},
volume = {9},
pages = {2--18},
year = {2001},
url = {https://doi.org/10.1016/S1571-0653(04)00310-5},
doi = {10.1016/S1571-0653(04)00310-5},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/endm/KautzRAGSS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/PattersonK01,
author = {Donald J. Patterson and
Henry A. Kautz},
title = {Auto-Walksat: {A} Self-Tuning Implementation of Walksat},
journal = {Electron. Notes Discret. Math.},
volume = {9},
pages = {360--368},
year = {2001},
url = {https://doi.org/10.1016/S1571-0653(04)00333-6},
doi = {10.1016/S1571-0653(04)00333-6},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/endm/PattersonK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/HorvitzRGKSC01,
author = {Eric Horvitz and
Yongshao Ruan and
Carla P. Gomes and
Henry A. Kautz and
Bart Selman and
David Maxwell Chickering},
title = {A Bayesian Approach to Tackling Hard Computational Problems (Preliminary
Report)},
journal = {Electron. Notes Discret. Math.},
volume = {9},
pages = {376--391},
year = {2001},
url = {https://doi.org/10.1016/S1571-0653(04)00335-X},
doi = {10.1016/S1571-0653(04)00335-X},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/endm/HorvitzRGKSC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KautzRAGSS01,
author = {Henry A. Kautz and
Yongshao Ruan and
Dimitris Achlioptas and
Carla P. Gomes and
Bart Selman and
Mark E. Stickel},
editor = {Bernhard Nebel},
title = {Balance and Filtering in Structured Satisfiable Problems},
booktitle = {Proceedings of the Seventeenth International Joint Conference on Artificial
Intelligence, {IJCAI} 2001, Seattle, Washington, USA, August 4-10,
2001},
pages = {351--358},
publisher = {Morgan Kaufmann},
year = {2001},
timestamp = {Tue, 20 Aug 2019 16:18:14 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KautzRAGSS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/HorvitzRGKSC01,
author = {Eric Horvitz and
Yongshao Ruan and
Carla P. Gomes and
Henry A. Kautz and
Bart Selman and
David Maxwell Chickering},
editor = {Jack S. Breese and
Daphne Koller},
title = {A Bayesian Approach to Tackling Hard Computational Problems},
booktitle = {{UAI} '01: Proceedings of the 17th Conference in Uncertainty in Artificial
Intelligence, University of Washington, Seattle, Washington, USA,
August 2-5, 2001},
pages = {235--244},
publisher = {Morgan Kaufmann},
year = {2001},
url = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=105\&\#38;proceeding\_id=17},
timestamp = {Wed, 03 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uai/HorvitzRGKSC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/LongKSBGKBHRAWSF00,
author = {Derek Long and
Henry A. Kautz and
Bart Selman and
Blai Bonet and
Hector Geffner and
Jana Koehler and
Michael Brenner and
J{\"{o}}rg Hoffmann and
Frank Rittinger and
Corin R. Anderson and
Daniel S. Weld and
David E. Smith and
Maria Fox},
title = {The {AIPS-98} Planning Competition},
journal = {{AI} Mag.},
volume = {21},
number = {2},
pages = {13--33},
year = {2000},
url = {https://doi.org/10.1609/aimag.v21i2.1505},
doi = {10.1609/AIMAG.V21I2.1505},
timestamp = {Tue, 02 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aim/LongKSBGKBHRAWSF00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/GomesSCK00,
author = {Carla P. Gomes and
Bart Selman and
Nuno Crato and
Henry A. Kautz},
title = {Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction
Problems},
journal = {J. Autom. Reason.},
volume = {24},
number = {1/2},
pages = {67--100},
year = {2000},
url = {https://doi.org/10.1023/A:1006314320276},
doi = {10.1023/A:1006314320276},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/GomesSCK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AchlioptasGKS00,
author = {Dimitris Achlioptas and
Carla P. Gomes and
Henry A. Kautz and
Bart Selman},
editor = {Henry A. Kautz and
Bruce W. Porter},
title = {Generating Satisfiable Problem Instances},
booktitle = {Proceedings of the Seventeenth National Conference on Artificial Intelligence
and Twelfth Conference on on Innovative Applications of Artificial
Intelligence, July 30 - August 3, 2000, Austin, Texas, {USA}},
pages = {256--261},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2000},
url = {http://www.aaai.org/Library/AAAI/2000/aaai00-039.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/AchlioptasGKS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Kautz00,
author = {Henry A. Kautz},
editor = {David A. McAllester},
title = {Scalable Knowledge Representation and Reasoning Systems},
booktitle = {Automated Deduction - CADE-17, 17th International Conference on Automated
Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1831},
pages = {183},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10721959\_14},
doi = {10.1007/10721959\_14},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/Kautz00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/HuangSK00,
author = {Yi{-}Cheng Huang and
Bart Selman and
Henry A. Kautz},
editor = {Pat Langley},
title = {Learning Declarative Control Rules for Constraint-BAsed Planning},
booktitle = {Proceedings of the Seventeenth International Conference on Machine
Learning {(ICML} 2000), Stanford University, Stanford, CA, USA, June
29 - July 2, 2000},
pages = {415--422},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Sun, 21 Feb 2010 20:54:50 +0100},
biburl = {https://dblp.org/rec/conf/icml/HuangSK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kdd/CohenKM00,
author = {William W. Cohen and
Henry A. Kautz and
David A. McAllester},
editor = {Raghu Ramakrishnan and
Salvatore J. Stolfo and
Roberto J. Bayardo and
Ismail Parsa},
title = {Hardening soft information sources},
booktitle = {Proceedings of the sixth {ACM} {SIGKDD} international conference on
Knowledge discovery and data mining, Boston, MA, USA, August 20-23,
2000},
pages = {255--259},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/347090.347141},
doi = {10.1145/347090.347141},
timestamp = {Wed, 08 May 2024 08:22:41 +0200},
biburl = {https://dblp.org/rec/conf/kdd/CohenKM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2000,
editor = {Henry A. Kautz and
Bruce W. Porter},
title = {Proceedings of the Seventeenth National Conference on Artificial Intelligence
and Twelfth Conference on on Innovative Applications of Artificial
Intelligence, July 30 - August 3, 2000, Austin, Texas, {USA}},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2000},
url = {http://www.aaai.org/Conferences/AAAI/aaai00.php},
isbn = {0-262-51112-6},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HuangSK99,
author = {Yi{-}Cheng Huang and
Bart Selman and
Henry A. Kautz},
editor = {Jim Hendler and
Devika Subramanian},
title = {Control Knowledge in Planning: Benefits and Tradeoffs},
booktitle = {Proceedings of the Sixteenth National Conference on Artificial Intelligence
and Eleventh Conference on Innovative Applications of Artificial Intelligence,
July 18-22, 1999, Orlando, Florida, {USA}},
pages = {511--517},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1999},
url = {http://www.aaai.org/Library/AAAI/1999/aaai99-073.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/HuangSK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KautzW99,
author = {Henry A. Kautz and
Joachim P. Walser},
editor = {Jim Hendler and
Devika Subramanian},
title = {State-space Planning by Integer Optimization},
booktitle = {Proceedings of the Sixteenth National Conference on Artificial Intelligence
and Eleventh Conference on Innovative Applications of Artificial Intelligence,
July 18-22, 1999, Orlando, Florida, {USA}},
pages = {526--533},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1999},
url = {http://www.aaai.org/Library/AAAI/1999/aaai99-075.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KautzW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KautzS99,
author = {Henry A. Kautz and
Bart Selman},
editor = {Thomas Dean},
title = {Unifying SAT-based and Graph-based Planning},
booktitle = {Proceedings of the Sixteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 99, Stockholm, Sweden, July 31 - August 6, 1999.
2 Volumes, 1450 pages},
pages = {318--325},
publisher = {Morgan Kaufmann},
year = {1999},
url = {http://ijcai.org/Proceedings/99-1/Papers/047.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:16 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KautzS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GomesSK98,
author = {Carla P. Gomes and
Bart Selman and
Henry A. Kautz},
editor = {Jack Mostow and
Chuck Rich},
title = {Boosting Combinatorial Search Through Randomization},
booktitle = {Proceedings of the Fifteenth National Conference on Artificial Intelligence
and Tenth Innovative Applications of Artificial Intelligence Conference,
{AAAI} 98, {IAAI} 98, July 26-30, 1998, Madison, Wisconsin, {USA}},
pages = {431--437},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1998},
url = {http://www.aaai.org/Library/AAAI/1998/aaai98-061.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GomesSK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/KautzS98,
author = {Henry A. Kautz and
Bart Selman},
editor = {Reid G. Simmons and
Manuela M. Veloso and
Stephen F. Smith},
title = {The Role of Domain-Specific Knowledge in the Planning as Satisfiability
Framework},
booktitle = {Proceedings of the Fourth International Conference on Artificial Intelligence
Planning Systems, Pittsburgh, Pennsylvania, USA, 1998},
pages = {181--189},
publisher = {{AAAI}},
year = {1998},
url = {http://www.aaai.org/Library/AIPS/1998/aips98-022.php},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/KautzS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/KautzSS97,
author = {Henry A. Kautz and
Bart Selman and
Mehul A. Shah},
title = {The Hidden Web},
journal = {{AI} Mag.},
volume = {18},
number = {2},
pages = {27--36},
year = {1997},
url = {https://doi.org/10.1609/aimag.v18i2.1291},
doi = {10.1609/AIMAG.V18I2.1291},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/KautzSS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/KautzSS97,
author = {Henry A. Kautz and
Bart Selman and
Mehul A. Shah},
title = {Referral Web: Combining Social Networks and Collaborative Filtering},
journal = {Commun. {ACM}},
volume = {40},
number = {3},
pages = {63--65},
year = {1997},
url = {https://doi.org/10.1145/245108.245123},
doi = {10.1145/245108.245123},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/KautzSS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/McAllesterSK97,
author = {David A. McAllester and
Bart Selman and
Henry A. Kautz},
editor = {Benjamin Kuipers and
Bonnie L. Webber},
title = {Evidence for Invariants in Local Search},
booktitle = {Proceedings of the Fourteenth National Conference on Artificial Intelligence
and Ninth Innovative Applications of Artificial Intelligence Conference,
{AAAI} 97, {IAAI} 97, July 27-31, 1997, Providence, Rhode Island,
{USA}},
pages = {321--326},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1997},
url = {http://www.aaai.org/Library/AAAI/1997/aaai97-050.php},
timestamp = {Tue, 05 Sep 2023 08:53:09 +0200},
biburl = {https://dblp.org/rec/conf/aaai/McAllesterSK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SelmanKM97,
author = {Bart Selman and
Henry A. Kautz and
David A. McAllester},
title = {Ten Challenges in Propositional Reasoning and Search},
booktitle = {Proceedings of the Fifteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 97, Nagoya, Japan, August 23-29, 1997, 2 Volumes},
pages = {50--54},
publisher = {Morgan Kaufmann},
year = {1997},
url = {http://ijcai.org/Proceedings/97-1/Papers/008.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:27 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/SelmanKM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/SelmanK96,
author = {Bart Selman and
Henry A. Kautz},
title = {Knowledge Compilation and Theory Approximation},
journal = {J. {ACM}},
volume = {43},
number = {2},
pages = {193--224},
year = {1996},
url = {https://doi.org/10.1145/226643.226644},
doi = {10.1145/226643.226644},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/SelmanK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KautzSM96,
author = {Henry A. Kautz and
Bart Selman and
Al Milewski},
editor = {William J. Clancey and
Daniel S. Weld},
title = {Agent Amplified Communication},
booktitle = {Proceedings of the Thirteenth National Conference on Artificial Intelligence
and Eighth Innovative Applications of Artificial Intelligence Conference,
{AAAI} 96, {IAAI} 96, Portland, Oregon, USA, August 4-8, 1996, Volume
1},
pages = {3--9},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1996},
url = {http://www.aaai.org/Library/AAAI/1996/aaai96-001.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KautzSM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KautzS96,
author = {Henry A. Kautz and
Bart Selman},
editor = {William J. Clancey and
Daniel S. Weld},
title = {Pushing the Envelope: Planning, Propositional Logic and Stochastic
Search},
booktitle = {Proceedings of the Thirteenth National Conference on Artificial Intelligence
and Eighth Innovative Applications of Artificial Intelligence Conference,
{AAAI} 96, {IAAI} 96, Portland, Oregon, USA, August 4-8, 1996, Volume
2},
pages = {1194--1201},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1996},
url = {http://www.aaai.org/Library/AAAI/1996/aaai96-177.php},
timestamp = {Tue, 05 Sep 2023 08:53:09 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KautzS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/KautzSJ96,
author = {Henry A. Kautz and
Bart Selman and
YueYen Jiang},
editor = {Ding{-}Zhu Du and
Jun Gu and
Panos M. Pardalos},
title = {A general stochastic approach to solving problems with hard and soft
constraints},
booktitle = {Satisfiability Problem: Theory and Applications, Proceedings of a
{DIMACS} Workshop, Piscataway, New Jersey, USA, March 11-13, 1996},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {35},
pages = {573--585},
publisher = {{DIMACS/AMS}},
year = {1996},
url = {https://doi.org/10.1090/dimacs/035/15},
doi = {10.1090/DIMACS/035/15},
timestamp = {Mon, 22 May 2023 16:07:35 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/KautzSJ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/KautzMS96,
author = {Henry A. Kautz and
David A. McAllester and
Bart Selman},
editor = {Luigia Carlucci Aiello and
Jon Doyle and
Stuart C. Shapiro},
title = {Encoding Plans in Propositional Logic},
booktitle = {Proceedings of the Fifth International Conference on Principles of
Knowledge Representation and Reasoning (KR'96), Cambridge, Massachusetts,
USA, November 5-8, 1996},
pages = {374--384},
publisher = {Morgan Kaufmann},
year = {1996},
timestamp = {Fri, 18 May 2012 15:03:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/KautzMS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/KautzKS95,
author = {Henry A. Kautz and
Michael J. Kearns and
Bart Selman},
title = {Horn Approximations of Empirical Data},
journal = {Artif. Intell.},
volume = {74},
number = {1},
pages = {129--145},
year = {1995},
url = {https://doi.org/10.1016/0004-3702(94)00072-9},
doi = {10.1016/0004-3702(94)00072-9},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/KautzKS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GogicKPS95,
author = {Goran Gogic and
Henry A. Kautz and
Christos H. Papadimitriou and
Bart Selman},
title = {The Comparative Linguistics of Knowledge Representation},
booktitle = {Proceedings of the Fourteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
August 20-25 1995, 2 Volumes},
pages = {862--869},
publisher = {Morgan Kaufmann},
year = {1995},
url = {http://ijcai.org/Proceedings/95-1/Papers/111.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:30 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GogicKPS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/EtheringtonK94,
author = {David W. Etherington and
Henry A. Kautz},
title = {The Fourth International Workshop on Nonmonotonic Reasoning},
journal = {{AI} Mag.},
volume = {15},
number = {3},
pages = {83--85},
year = {1994},
url = {https://doi.org/10.1609/aimag.v15i3.1104},
doi = {10.1609/AIMAG.V15I3.1104},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/EtheringtonK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/KautzSC94,
author = {Henry A. Kautz and
Bart Selman and
Michael H. Coen},
title = {Bottom-Up Design of Software Agents},
journal = {Commun. {ACM}},
volume = {37},
number = {7},
pages = {143--146},
year = {1994},
url = {https://doi.org/10.1145/176789.176805},
doi = {10.1145/176789.176805},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/KautzSC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/EtheringtonKK94,
author = {David W. Etherington and
Henry A. Kautz and
Kurt Konolige},
title = {Introduction to the Special Issue},
journal = {Fundam. Informaticae},
volume = {21},
number = {1/2},
pages = {1--5},
year = {1994},
url = {https://doi.org/10.3233/FI-1994-211210},
doi = {10.3233/FI-1994-211210},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/EtheringtonKK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KautzS94,
author = {Henry A. Kautz and
Bart Selman},
editor = {Barbara Hayes{-}Roth and
Richard E. Korf},
title = {An Empirical Evaluation of Knowledge Compilation by Theory Approximation},
booktitle = {Proceedings of the 12th National Conference on Artificial Intelligence,
Seattle, WA, USA, July 31 - August 4, 1994, Volume 1},
pages = {155--161},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1994},
url = {http://www.aaai.org/Library/AAAI/1994/aaai94-024.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KautzS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SelmanKC94,
author = {Bart Selman and
Henry A. Kautz and
Bram Cohen},
editor = {Barbara Hayes{-}Roth and
Richard E. Korf},
title = {Noise Strategies for Improving Local Search},
booktitle = {Proceedings of the 12th National Conference on Artificial Intelligence,
Seattle, WA, USA, July 31 - August 4, 1994, Volume 1},
pages = {337--343},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1994},
url = {http://www.aaai.org/Library/AAAI/1994/aaai94-051.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SelmanKC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KautzSCKR94,
author = {Henry A. Kautz and
Bart Selman and
Michael H. Coen and
Steven P. Ketchpel and
Chris Ramming},
editor = {Barbara Hayes{-}Roth and
Richard E. Korf},
title = {An Experiment in the Design of Software Agents},
booktitle = {Proceedings of the 12th National Conference on Artificial Intelligence,
Seattle, WA, USA, July 31 - August 4, 1994, Volume 1},
pages = {438--443},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1994},
url = {http://www.aaai.org/Library/AAAI/1994/aaai94-067.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KautzSCKR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KautzKS93,
author = {Henry A. Kautz and
Michael J. Kearns and
Bart Selman},
editor = {Richard Fikes and
Wendy G. Lehnert},
title = {Reasoning With Characteristic Models},
booktitle = {Proceedings of the 11th National Conference on Artificial Intelligence.
Washington, DC, USA, July 11-15, 1993},
pages = {34--39},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1993},
url = {http://www.aaai.org/Library/AAAI/1993/aaai93-006.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KautzKS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SelmanK93,
author = {Bart Selman and
Henry A. Kautz},
editor = {Richard Fikes and
Wendy G. Lehnert},
title = {An Empirical Study of Greedy Local Search for Satisfiability Testing},
booktitle = {Proceedings of the 11th National Conference on Artificial Intelligence.
Washington, DC, USA, July 11-15, 1993},
pages = {46--51},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1993},
url = {http://www.aaai.org/Library/AAAI/1993/aaai93-008.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SelmanK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/SelmanKC93,
author = {Bart Selman and
Henry A. Kautz and
Bram Cohen},
editor = {David S. Johnson and
Michael A. Trick},
title = {Local search strategies for satisfiability testing},
booktitle = {Cliques, Coloring, and Satisfiability, Proceedings of a {DIMACS} Workshop,
New Brunswick, New Jersey, USA, October 11-13, 1993},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {26},
pages = {521--531},
publisher = {{DIMACS/AMS}},
year = {1993},
url = {https://doi.org/10.1090/dimacs/026/25},
doi = {10.1090/DIMACS/026/25},
timestamp = {Mon, 22 May 2023 16:07:35 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/SelmanKC93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SelmanK93,
author = {Bart Selman and
Henry A. Kautz},
editor = {Ruzena Bajcsy},
title = {Domain-Independent Extensions to {GSAT:} Solving Large Structured
Satisfiability Problems},
booktitle = {Proceedings of the 13th International Joint Conference on Artificial
Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
1993},
pages = {290--295},
publisher = {Morgan Kaufmann},
year = {1993},
url = {http://ijcai.org/Proceedings/93-1/Papers/041.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:33 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/SelmanK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KautzS92,
author = {Henry A. Kautz and
Bart Selman},
editor = {William R. Swartout},
title = {Forming Concepts for Fast Inference},
booktitle = {Proceedings of the 10th National Conference on Artificial Intelligence,
San Jose, CA, USA, July 12-16, 1992},
pages = {786--793},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1992},
url = {http://www.aaai.org/Library/AAAI/1992/aaai92-122.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KautzS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/KautzS92a,
author = {Henry A. Kautz and
Bart Selman},
editor = {Gerhard Lakemeyer and
Bernhard Nebel},
title = {Forming Concepts for Fast Inference},
booktitle = {Foundation of Knowledge Representation and Reasoning [the book grew
out of an {ECAI-92} workshop]},
series = {Lecture Notes in Computer Science},
volume = {810},
pages = {200--215},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-58107-3\_12},
doi = {10.1007/3-540-58107-3\_12},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/ecai/KautzS92a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/KautzS92,
author = {Henry A. Kautz and
Bart Selman},
editor = {Bernd Neumann},
title = {Planning as Satisfiability},
booktitle = {10th European Conference on Artificial Intelligence, {ECAI} 92, Vienna,
Austria, August 3-7, 1992. Proceedings},
pages = {359--363},
publisher = {John Wiley and Sons},
year = {1992},
timestamp = {Wed, 31 Jul 2019 08:44:58 +0200},
biburl = {https://dblp.org/rec/conf/ecai/KautzS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0066817,
author = {James F. Allen and
Henry A. Kautz and
Richard N. Pelavin and
Josh D. Tenenberg},
title = {Reasoning about plans},
series = {Morgan Kaufmann series in representation and reasoning},
publisher = {Morgan Kaufmann},
year = {1991},
url = {https://doi.org/10.1016/C2009-0-27621-5},
doi = {10.1016/C2009-0-27621-5},
isbn = {978-1-55860-137-6},
timestamp = {Thu, 11 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0066817.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/KautzS91,
author = {Henry A. Kautz and
Bart Selman},
title = {Hard Problems for Simple Default Logics},
journal = {Artif. Intell.},
volume = {49},
number = {1-3},
pages = {243--279},
year = {1991},
url = {https://doi.org/10.1016/0004-3702(91)90011-8},
doi = {10.1016/0004-3702(91)90011-8},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/KautzS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KautzL91,
author = {Henry A. Kautz and
Peter B. Ladkin},
editor = {Thomas L. Dean and
Kathleen R. McKeown},
title = {Integrating Metric and Qualitative Temporal Reasoning},
booktitle = {Proceedings of the 9th National Conference on Artificial Intelligence,
Anaheim, CA, USA, July 14-19, 1991, Volume 1},
pages = {241--246},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1991},
url = {http://www.aaai.org/Library/AAAI/1991/aaai91-038.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KautzL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SelmanK91,
author = {Bart Selman and
Henry A. Kautz},
editor = {Thomas L. Dean and
Kathleen R. McKeown},
title = {Knowledge Compilation using Horn Approximations},
booktitle = {Proceedings of the 9th National Conference on Artificial Intelligence,
Anaheim, CA, USA, July 14-19, 1991, Volume 2},
pages = {904--909},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1991},
url = {http://www.aaai.org/Library/AAAI/1991/aaai91-140.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SelmanK91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdk/KautzS91,
author = {Henry A. Kautz and
Bart Selman},
editor = {Harold Boley and
Michael M. Richter},
title = {A General Framework for Knowledge Compilation},
booktitle = {Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern,
Germany, July 1-3, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {567},
pages = {287--300},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0013538},
doi = {10.1007/BFB0013538},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pdk/KautzS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/SelmanK90,
author = {Bart Selman and
Henry A. Kautz},
title = {Model-Preference Default Theories},
journal = {Artif. Intell.},
volume = {45},
number = {3},
pages = {287--322},
year = {1990},
url = {https://doi.org/10.1016/0004-3702(90)90010-W},
doi = {10.1016/0004-3702(90)90010-W},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/SelmanK90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/EtheringtonBBK89,
author = {David W. Etherington and
Alexander Borgida and
Ronald J. Brachman and
Henry A. Kautz},
editor = {N. S. Sridharan},
title = {Vivid Knowledge and Tractable Reasoning},
booktitle = {Proceedings of the 11th International Joint Conference on Artificial
Intelligence. Detroit, MI, USA, August 1989},
pages = {1146--1152},
publisher = {Morgan Kaufmann},
year = {1989},
url = {http://ijcai.org/Proceedings/89-2/Papers/048.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:51 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/EtheringtonBBK89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/KautzS89,
author = {Henry A. Kautz and
Bart Selman},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {Hard Problems for Simple Default Logics},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {189--197},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 18 May 2012 15:03:01 +0200},
biburl = {https://dblp.org/rec/conf/kr/KautzS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/SelmanK88,
author = {Bart Selman and
Henry A. Kautz},
editor = {Michael Reinfrank and
Johan de Kleer and
Matthew L. Ginsberg and
Erik Sandewall},
title = {The Complexity of Model-Preference Default Theories},
booktitle = {Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG,
June 13-15, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {346},
pages = {115--130},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50701-9\_23},
doi = {10.1007/3-540-50701-9\_23},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nmr/SelmanK88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KautzA86,
author = {Henry A. Kautz and
James F. Allen},
editor = {Tom Kehler},
title = {Generalized Plan Recognition},
booktitle = {Proceedings of the 5th National Conference on Artificial Intelligence.
Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
pages = {32--37},
publisher = {Morgan Kaufmann},
year = {1986},
url = {http://www.aaai.org/Library/AAAI/1986/aaai86-006.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KautzA86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/VilainK86,
author = {Marc B. Vilain and
Henry A. Kautz},
editor = {Tom Kehler},
title = {Constraint Propagation Algorithms for Temporal Reasoning},
booktitle = {Proceedings of the 5th National Conference on Artificial Intelligence.
Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
pages = {377--382},
publisher = {Morgan Kaufmann},
year = {1986},
url = {http://www.aaai.org/Library/AAAI/1986/aaai86-063.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/VilainK86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Kautz86,
author = {Henry A. Kautz},
editor = {Tom Kehler},
title = {The Logic of Persistence},
booktitle = {Proceedings of the 5th National Conference on Artificial Intelligence.
Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
pages = {401--405},
publisher = {Morgan Kaufmann},
year = {1986},
url = {http://www.aaai.org/Library/AAAI/1986/aaai86-067.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Kautz86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-15 21:36 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
