Search dblp for Publications

export results for "toc:db/conf/aaaifs/aaaifs2006-4.bht:"

 download as .bib file

@inproceedings{DBLP:conf/aaaifs/Cervesato06,
  author       = {Iliano Cervesato},
  editor       = {Michael Kassoff},
  title        = {A Spreadsheet for Everyday Symbolic Reasoning},
  booktitle    = {Integrating Reasoning into Everyday Applications, Papers from the
                  2006 {AAAI} Fall Symposium, Washington, DC, USA, October 13-15, 2006},
  series       = {{AAAI} Technical Report},
  volume       = {{FS-06-04}},
  pages        = {1--8},
  publisher    = {{AAAI} Press},
  year         = {2006},
  url          = {https://www.aaai.org/Library/Symposia/Fall/2006/fs06-04-001.php},
  timestamp    = {Thu, 29 Nov 2018 17:34:44 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaifs/Cervesato06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaifs/ChoiA06,
  author       = {Jaesik Choi and
                  Eyal Amir},
  editor       = {Michael Kassoff},
  title        = {Factored Planning for Controlling a Robotic Arm},
  booktitle    = {Integrating Reasoning into Everyday Applications, Papers from the
                  2006 {AAAI} Fall Symposium, Washington, DC, USA, October 13-15, 2006},
  series       = {{AAAI} Technical Report},
  volume       = {{FS-06-04}},
  pages        = {9--14},
  publisher    = {{AAAI} Press},
  year         = {2006},
  url          = {https://www.aaai.org/Library/Symposia/Fall/2006/fs06-04-002.php},
  timestamp    = {Thu, 29 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaifs/ChoiA06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaifs/GordonS06,
  author       = {Andrew S. Gordon and
                  Reid Swanson},
  editor       = {Michael Kassoff},
  title        = {Integrating Logical Inference into Statistical Text Classification
                  Applications},
  booktitle    = {Integrating Reasoning into Everyday Applications, Papers from the
                  2006 {AAAI} Fall Symposium, Washington, DC, USA, October 13-15, 2006},
  series       = {{AAAI} Technical Report},
  volume       = {{FS-06-04}},
  pages        = {15--16},
  publisher    = {{AAAI} Press},
  year         = {2006},
  url          = {https://www.aaai.org/Library/Symposia/Fall/2006/fs06-04-003.php},
  timestamp    = {Thu, 29 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaifs/GordonS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaifs/KassoffPZG06,
  author       = {Michael Kassoff and
                  Charles Petrie and
                  Lee{-}Ming Zen and
                  Michael R. Genesereth},
  editor       = {Michael Kassoff},
  title        = {Semantic Email Addressing: Sending to People, Not Strings},
  booktitle    = {Integrating Reasoning into Everyday Applications, Papers from the
                  2006 {AAAI} Fall Symposium, Washington, DC, USA, October 13-15, 2006},
  series       = {{AAAI} Technical Report},
  volume       = {{FS-06-04}},
  pages        = {17--21},
  publisher    = {{AAAI} Press},
  year         = {2006},
  url          = {https://www.aaai.org/Library/Symposia/Fall/2006/fs06-04-004.php},
  timestamp    = {Thu, 29 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaifs/KassoffPZG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaifs/TallisWB06,
  author       = {Marcelo Tallis and
                  Rand Waltzman and
                  Bob Balzer},
  editor       = {Michael Kassoff},
  title        = {Adding Deductive Logic to a {COTS} Spreadsheet},
  booktitle    = {Integrating Reasoning into Everyday Applications, Papers from the
                  2006 {AAAI} Fall Symposium, Washington, DC, USA, October 13-15, 2006},
  series       = {{AAAI} Technical Report},
  volume       = {{FS-06-04}},
  pages        = {22--29},
  publisher    = {{AAAI} Press},
  year         = {2006},
  url          = {https://www.aaai.org/Library/Symposia/Fall/2006/fs06-04-005.php},
  timestamp    = {Thu, 29 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaifs/TallisWB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaifs/ValenteBCE06,
  author       = {Andr{\'{e}} Valente and
                  David Van Brackle and
                  Hans Chalupsky and
                  Gary Edwards},
  editor       = {Michael Kassoff},
  title        = {Implementing Logic Spreadsheets in {LESS}},
  booktitle    = {Integrating Reasoning into Everyday Applications, Papers from the
                  2006 {AAAI} Fall Symposium, Washington, DC, USA, October 13-15, 2006},
  series       = {{AAAI} Technical Report},
  volume       = {{FS-06-04}},
  pages        = {30},
  publisher    = {{AAAI} Press},
  year         = {2006},
  url          = {https://www.aaai.org/Library/Symposia/Fall/2006/fs06-04-006.php},
  timestamp    = {Thu, 29 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaifs/ValenteBCE06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaaifs/2006-4,
  editor       = {Michael Kassoff},
  title        = {Integrating Reasoning into Everyday Applications, Papers from the
                  2006 {AAAI} Fall Symposium, Washington, DC, USA, October 13-15, 2006},
  series       = {{AAAI} Technical Report},
  volume       = {{FS-06-04}},
  publisher    = {{AAAI} Press},
  year         = {2006},
  url          = {https://www.aaai.org/Library/Symposia/Fall/fs06-04.php},
  timestamp    = {Thu, 29 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaifs/2006-4.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics