BibTeX records: Tanel Tammet

download as .bib file

@article{DBLP:journals/corr/abs-2003-13159,
  author    = {Tanel Tammet},
  title     = {Extending Automated Deduction for Commonsense Reasoning},
  journal   = {CoRR},
  volume    = {abs/2003.13159},
  year      = {2020},
  url       = {https://arxiv.org/abs/2003.13159},
  archivePrefix = {arXiv},
  eprint    = {2003.13159},
  timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-2003-13159.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Tammet19,
  author    = {Tanel Tammet},
  editor    = {Pascal Fontaine},
  title     = {{GKC:} {A} Reasoning System for Large Knowledge Bases},
  booktitle = {Automated Deduction - {CADE} 27 - 27th International Conference on
               Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11716},
  pages     = {538--549},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-29436-6\_32},
  doi       = {10.1007/978-3-030-29436-6\_32},
  timestamp = {Wed, 21 Aug 2019 13:34:20 +0200},
  biburl    = {https://dblp.org/rec/conf/cade/Tammet19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mdm/JarvTT18,
  author    = {Priit J{\"{a}}rv and
               Tanel Tammet and
               Marten Tall},
  title     = {Hierarchical Regions of Interest},
  booktitle = {19th {IEEE} International Conference on Mobile Data Management, {MDM}
               2018, Aalborg, Denmark, June 25-28, 2018},
  pages     = {86--95},
  publisher = {{IEEE} Computer Society},
  year      = {2018},
  url       = {https://doi.org/10.1109/MDM.2018.00025},
  doi       = {10.1109/MDM.2018.00025},
  timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl    = {https://dblp.org/rec/conf/mdm/JarvTT18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic3k/TomingasJT16,
  author    = {Kalle Tomingas and
               Priit J{\"{a}}rv and
               Tanel Tammet},
  editor    = {Ana L. N. Fred and
               Jan L. G. Dietz and
               David Aveiro and
               Kecheng Liu and
               Jorge Bernardino and
               Joaquim Filipe},
  title     = {Discovering Data Lineage from Data Warehouse Procedures},
  booktitle = {Proceedings of the 8th International Joint Conference on Knowledge
               Discovery, Knowledge Engineering and Knowledge Management {(IC3K}
               2016) - Volume 1: KDIR, Porto - Portugal, November 9 - 11, 2016},
  pages     = {101--110},
  publisher = {SciTePress},
  year      = {2016},
  url       = {https://doi.org/10.5220/0006054301010110},
  doi       = {10.5220/0006054301010110},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ic3k/TomingasJT16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic3k/TomingasJT16a,
  author    = {Kalle Tomingas and
               Priit J{\"{a}}rv and
               Tanel Tammet},
  editor    = {Ana L. N. Fred and
               Jan L. G. Dietz and
               David Aveiro and
               Kecheng Liu and
               Jorge Bernardino and
               Joaquim Filipe},
  title     = {Computing Data Lineage and Business Semantics for Data Warehouse},
  booktitle = {Knowledge Discovery, Knowledge Engineering and Knowledge Management
               - 8th International Joint Conference, {IC3K} 2016, Porto, Portugal,
               November 9-11, 2016, Revised Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {914},
  pages     = {101--124},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-99701-8\_5},
  doi       = {10.1007/978-3-319-99701-8\_5},
  timestamp = {Sat, 19 Oct 2019 20:33:38 +0200},
  biburl    = {https://dblp.org/rec/conf/ic3k/TomingasJT16a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbis/TomingasKT14,
  author    = {Kalle Tomingas and
               Margus Kliimask and
               Tanel Tammet},
  editor    = {Nick Bassiliades and
               Mirjana Ivanovic and
               Margita Kon{-}Popovska and
               Yannis Manolopoulos and
               Themis Palpanas and
               Goce Trajcevski and
               Athena Vakali},
  title     = {Data Integration Patterns for Data Warehouse Automation},
  booktitle = {New Trends in Database and Information Systems {II} - Selected papers
               of the 18th East European Conference on Advances in Databases and
               Information Systems and Associated Satellite Events, {ADBIS} 2014
               Ohrid, Macedonia, September 7-10, 2014 Proceedings {II}},
  series    = {Advances in Intelligent Systems and Computing},
  volume    = {312},
  pages     = {41--55},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-10518-5\_4},
  doi       = {10.1007/978-3-319-10518-5\_4},
  timestamp = {Wed, 14 Nov 2018 10:52:00 +0100},
  biburl    = {https://dblp.org/rec/conf/adbis/TomingasKT14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icis/TomingasTKJ14,
  author    = {Kalle Tomingas and
               Tanel Tammet and
               Margus Kliimask and
               Priit J{\"{a}}rv},
  editor    = {Michael D. Myers and
               Detmar W. Straub},
  title     = {Automating Component Dependency Analysis for Enterprise Business Intelligence},
  booktitle = {Proceedings of the International Conference on Information Systems
               - Building a Better World through Information Systems, {ICIS} 2014,
               Auckland, New Zealand, December 14-17, 2014},
  publisher = {Association for Information Systems},
  year      = {2014},
  url       = {http://aisel.aisnet.org/icis2014/proceedings/DecisionAnalytics/6},
  timestamp = {Tue, 24 Mar 2015 08:43:46 +0100},
  biburl    = {https://dblp.org/rec/conf/icis/TomingasTKJ14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip12/TomingasTK14,
  author    = {Kalle Tomingas and
               Tanel Tammet and
               Margus Kliimask},
  editor    = {Lazaros S. Iliadis and
               Ilias Maglogiannis and
               Harris Papadopoulos and
               Spyros Sioutas and
               Christos Makris},
  title     = {Rule-Based Impact Analysis for Enterprise Business Intelligence},
  booktitle = {Artificial Intelligence Applications and Innovations - {AIAI} 2014
               Workshops: CoPA, MHDW, IIVC, and MT4BD, Rhodes, Greece, September
               19-21, 2014. Proceedings},
  series    = {{IFIP} Advances in Information and Communication Technology},
  volume    = {437},
  pages     = {301--309},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-662-44722-2\_32},
  doi       = {10.1007/978-3-662-44722-2\_32},
  timestamp = {Sun, 02 Jun 2019 21:25:43 +0200},
  biburl    = {https://dblp.org/rec/conf/ifip12/TomingasTK14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csr/SchoefeggerTG13,
  author    = {Karin Schoefegger and
               Tanel Tammet and
               Michael Granitzer},
  title     = {A survey on socio-semantic information retrieval},
  journal   = {Comput. Sci. Rev.},
  volume    = {8},
  pages     = {25--46},
  year      = {2013},
  url       = {https://doi.org/10.1016/j.cosrev.2013.03.001},
  doi       = {10.1016/j.cosrev.2013.03.001},
  timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/csr/SchoefeggerTG13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enter/TammetLJ13,
  author    = {Tanel Tammet and
               Ago Luberg and
               Priit J{\"{a}}rv},
  editor    = {Lorenzo Cantoni and
               Zheng Phil Xiang},
  title     = {Sightsmap: Crowd-Sourced Popularity of the World Places},
  booktitle = {Information and Communication Technologies in Tourism 2013, {ENTER}
               3013, Proceedings of the International Conference in Innsbruck, Austria,
               January 22-25, 2013},
  pages     = {314--325},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-36309-2\_27},
  doi       = {10.1007/978-3-642-36309-2\_27},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/enter/TammetLJ13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enter/LubergJT12,
  author    = {Ago Luberg and
               Priit J{\"{a}}rv and
               Tanel Tammet},
  editor    = {Matthias Fuchs and
               Francesco Ricci and
               Lorenzo Cantoni},
  title     = {Information Extraction for a Tourist Recommender System},
  booktitle = {Information and Communication Technologies in Tourism 2012, {ENTER}
               2012, Proceedings of the International Conference in Helsingborg,
               Sweden, January 25-27, 2012},
  pages     = {332--343},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-7091-1142-0\_29},
  doi       = {10.1007/978-3-7091-1142-0\_29},
  timestamp = {Wed, 29 May 2019 09:36:14 +0200},
  biburl    = {https://dblp.org/rec/conf/enter/LubergJT12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wims/LubergGWJT12,
  author    = {Ago Luberg and
               Michael Granitzer and
               Honghan Wu and
               Priit J{\"{a}}rv and
               Tanel Tammet},
  editor    = {Dumitru Dan Burdescu and
               Rajendra Akerkar and
               Costin Badica},
  title     = {Information retrieval and deduplication for tourism recommender sightsplanner},
  booktitle = {2nd International Conference on Web Intelligence, Mining and Semantics,
               {WIMS} '12, Craiova, Romania, June 6-8, 2012},
  pages     = {50:1--50:11},
  publisher = {{ACM}},
  year      = {2012},
  url       = {https://doi.org/10.1145/2254129.2254191},
  doi       = {10.1145/2254129.2254191},
  timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/wims/LubergGWJT12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wims/WuLT12,
  author    = {Honghan Wu and
               Ago Luberg and
               Tanel Tammet},
  editor    = {Dumitru Dan Burdescu and
               Rajendra Akerkar and
               Costin Badica},
  title     = {Ranking domain objects by \emph{wisdom of web pages}},
  booktitle = {2nd International Conference on Web Intelligence, Mining and Semantics,
               {WIMS} '12, Craiova, Romania, June 6-8, 2012},
  pages     = {67:1--67:4},
  publisher = {{ACM}},
  year      = {2012},
  url       = {https://doi.org/10.1145/2254129.2254210},
  doi       = {10.1145/2254129.2254210},
  timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/wims/WuLT12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexaw/LubergTJ11,
  author    = {Ago Luberg and
               Tanel Tammet and
               Priit J{\"{a}}rv},
  editor    = {Franck Morvan and
               A Min Tjoa and
               Roland R. Wagner},
  title     = {Extended Triple Store Structure Used in Recommender System},
  booktitle = {2011 Database and Expert Systems Applications, DEXA, International
               Workshops, Toulouse, France, August 29 - Sept. 2, 2011},
  pages     = {539--543},
  publisher = {{IEEE} Computer Society},
  year      = {2011},
  url       = {https://doi.org/10.1109/DEXA.2011.32},
  doi       = {10.1109/DEXA.2011.32},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/conf/dexaw/LubergTJ11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enter/LubergTJ11,
  author    = {Ago Luberg and
               Tanel Tammet and
               Priit J{\"{a}}rv},
  editor    = {Rob Law and
               Matthias Fuchs and
               Francesco Ricci},
  title     = {Smart City: {A} Rule-based Tourist Recommendation System},
  booktitle = {Information and Communication Technologies in Tourism 2011 - Proceedings
               of the International Conference in Innsbruck, Austria, January 26-28,
               2011},
  pages     = {51--62},
  publisher = {Springer Vienna},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-7091-0503-0\_5},
  doi       = {10.1007/978-3-7091-0503-0\_5},
  timestamp = {Mon, 21 Aug 2017 07:26:06 +0200},
  biburl    = {https://dblp.org/rec/conf/enter/LubergTJ11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iknow/LubergJST11,
  author    = {Ago Luberg and
               Priit J{\"{a}}rv and
               Karin Schoefegger and
               Tanel Tammet},
  editor    = {Stefanie N. Lindstaedt and
               Michael Granitzer},
  title     = {Context-aware and multilingual information extraction for a tourist
               recommender system},
  booktitle = {{I-KNOW} 2011, 11th International Conference on Knowledge Management
               and Knowledge Technologies, Graz, Austria, September 7-9, 2011},
  pages     = {13},
  publisher = {{ACM}},
  year      = {2011},
  url       = {https://doi.org/10.1145/2024288.2024304},
  doi       = {10.1145/2024288.2024304},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/iknow/LubergJST11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/TammetVPRK08,
  author    = {Tanel Tammet and
               J{\"{u}}ri Vain and
               Andres Puusepp and
               Enar Reilent and
               Alar Kuusik},
  editor    = {Sven A. Brueckner and
               Paul Robertson and
               Umesh Bellur},
  title     = {RFID-based Communications for a Self-Organising Robot Swarm},
  booktitle = {Second {IEEE} International Conference on Self-Adaptive and Self-Organizing
               Systems, {SASO} 2008, 20-24 October 2008, Venice, Italy},
  pages     = {45--54},
  publisher = {{IEEE} Computer Society},
  year      = {2008},
  url       = {https://doi.org/10.1109/SASO.2008.62},
  doi       = {10.1109/SASO.2008.62},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/conf/saso/TammetVPRK08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/SchulzST06,
  author    = {Stephan Schulz and
               Geoff Sutcliffe and
               Tanel Tammet},
  title     = {Preface},
  journal   = {Int. J. Artif. Intell. Tools},
  volume    = {15},
  number    = {1},
  pages     = {1--2},
  year      = {2006},
  url       = {https://doi.org/10.1142/S0218213006002539},
  doi       = {10.1142/S0218213006002539},
  timestamp = {Tue, 12 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/ijait/SchulzST06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/balt/TammetHKK06,
  author    = {Tanel Tammet and
               Hele{-}Mai Haav and
               Vello Kadarpik and
               Marko K{\"{a}}{\"{a}}ramees},
  editor    = {Olegas Vasilecas and
               Johann Eder and
               Albertas Caplinskas},
  title     = {Using a Rule Language for Capturing Semantics in Web-Based Systems},
  booktitle = {Databases and Information Systems {IV} - Selected Papers from the
               Seventh International Baltic Conference, DB{\&}IS 2006, July 3-6,
               2006, Vilnius, Lithuania},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {155},
  pages     = {249--259},
  publisher = {{IOS} Press},
  year      = {2006},
  url       = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=5442},
  timestamp = {Thu, 23 Jun 2016 15:53:28 +0200},
  biburl    = {https://dblp.org/rec/conf/balt/TammetHKK06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Tammet04,
  author    = {Tanel Tammet},
  editor    = {David A. Basin and
               Micha{\"{e}}l Rusinowitch},
  title     = {Chain Resolution for the Semantic Web},
  booktitle = {Automated Reasoning - Second International Joint Conference, {IJCAR}
               2004, Cork, Ireland, July 4-8, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3097},
  pages     = {307--320},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/978-3-540-25984-8\_21},
  doi       = {10.1007/978-3-540-25984-8\_21},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/conf/cade/Tammet04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/psss/Tammet03,
  author    = {Tanel Tammet},
  editor    = {Raphael Volz and
               Stefan Decker and
               Isabel F. Cruz},
  title     = {Extending Classical Theorem Proving for the Semantic Web},
  booktitle = {{PSSS1} - Practical and Scalable Semantic Systems, Proceedings of
               the First International Workshop on Practical and Scalable Semantic
               Systems, Sanibel Island, Florida, USA, October 20, 2003},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {89},
  publisher = {CEUR-WS.org},
  year      = {2003},
  url       = {http://ceur-ws.org/Vol-89/tammet.pdf},
  timestamp = {Wed, 12 Feb 2020 16:45:16 +0100},
  biburl    = {https://dblp.org/rec/conf/psss/Tammet03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/TammetK03,
  author    = {Tanel Tammet and
               Vello Kadarpik},
  editor    = {Michael Schroeder and
               Gerd Wagner},
  title     = {Combining an Inference Engine with Database: {A} Rule Server},
  booktitle = {Rules and Rule Markup Languages for the Semantic Web, Second International
               Workshop, RuleML 2003, Sanibel Island, FL, USA, October 20, 2003,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2876},
  pages     = {136--149},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/978-3-540-39715-1\_10},
  doi       = {10.1007/978-3-540-39715-1\_10},
  timestamp = {Wed, 06 Nov 2019 16:45:49 +0100},
  biburl    = {https://dblp.org/rec/conf/semweb/TammetK03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/RV01/FermullerLHT01,
  author    = {Christian G. Ferm{\"{u}}ller and
               Alexander Leitsch and
               Ullrich Hustadt and
               Tanel Tammet},
  editor    = {John Alan Robinson and
               Andrei Voronkov},
  title     = {Resolution Decision Procedures},
  booktitle = {Handbook of Automated Reasoning (in 2 volumes)},
  pages     = {1791--1849},
  publisher = {Elsevier and {MIT} Press},
  year      = {2001},
  url       = {https://doi.org/10.1016/b978-044450813-3/50027-8},
  doi       = {10.1016/b978-044450813-3/50027-8},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/books/el/RV01/FermullerLHT01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/TammetS98,
  author    = {Tanel Tammet and
               Jan M. Smith},
  title     = {Optimized Encodings of Fragments of Type Theory in First-Order Logic},
  journal   = {J. Log. Comput.},
  volume    = {8},
  number    = {6},
  pages     = {713--744},
  year      = {1998},
  url       = {https://doi.org/10.1093/logcom/8.6.713},
  doi       = {10.1093/logcom/8.6.713},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/logcom/TammetS98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Tammet98,
  author    = {Tanel Tammet},
  editor    = {Claude Kirchner and
               H{\'{e}}l{\`{e}}ne Kirchner},
  title     = {Towards Efficient Subsumption},
  booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated
               Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1421},
  pages     = {427--441},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/BFb0054276},
  doi       = {10.1007/BFb0054276},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/conf/cade/Tammet98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Tammet97,
  author    = {Tanel Tammet},
  title     = {Gandalf},
  journal   = {J. Autom. Reasoning},
  volume    = {18},
  number    = {2},
  pages     = {199--204},
  year      = {1997},
  url       = {https://doi.org/10.1023/A:1005887414560},
  doi       = {10.1023/A:1005887414560},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jar/Tammet97.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Tammet97,
  author    = {Tanel Tammet},
  editor    = {Georg Gottlob and
               Alexander Leitsch and
               Daniele Mundici},
  title     = {Resolution, Inverse Method and the Sequent Calculus},
  booktitle = {Computational Logic and Proof Theory, 5th Kurt G{\"{o}}del Colloquium,
               KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1289},
  pages     = {65--83},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/3-540-63385-5\_33},
  doi       = {10.1007/3-540-63385-5\_33},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/conf/kgc/Tammet97.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Tammet96,
  author    = {Tanel Tammet},
  editor    = {Michael A. McRobbie and
               John K. Slaney},
  title     = {A Resolution Theorem Prover for Intuitonistic Logic},
  booktitle = {Automated Deduction - CADE-13, 13th International Conference on Automated
               Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1104},
  pages     = {2--16},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/3-540-61511-3\_65},
  doi       = {10.1007/3-540-61511-3\_65},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/conf/cade/Tammet96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Tammet95,
  author    = {Tanel Tammet},
  title     = {Completeness of Resolution for Definite Answers},
  journal   = {J. Log. Comput.},
  volume    = {5},
  number    = {4},
  pages     = {449--471},
  year      = {1995},
  url       = {https://doi.org/10.1093/logcom/5.4.449},
  doi       = {10.1093/logcom/5.4.449},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/logcom/Tammet95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/Tammet95,
  author    = {Tanel Tammet},
  editor    = {Niki Pissinou and
               Avi Silberschatz and
               E. K. Park and
               Kia Makki},
  title     = {Using Resolution for Extending KL-ONE-type Languages},
  booktitle = {{CIKM} '95, Proceedings of the 1995 International Conference on Information
               and Knowledge Management, November 28 - December 2, 1995, Baltimore,
               Maryland, {USA}},
  pages     = {326--332},
  publisher = {{ACM}},
  year      = {1995},
  url       = {https://doi.org/10.1145/221270.221605},
  doi       = {10.1145/221270.221605},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/cikm/Tammet95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/TammetS95,
  author    = {Tanel Tammet and
               Jan M. Smith},
  editor    = {Stefano Berardi and
               Mario Coppo},
  title     = {Optimized Encodings of Fragments of Type Theory in First Order Logic},
  booktitle = {Types for Proofs and Programs, International Workshop TYPES'95, Torino,
               Italy, June 5-8, 1995, Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {1158},
  pages     = {265--287},
  publisher = {Springer},
  year      = {1995},
  url       = {https://doi.org/10.1007/3-540-61780-9\_75},
  doi       = {10.1007/3-540-61780-9\_75},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/conf/types/TammetS95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Tammet94,
  author    = {Tanel Tammet},
  title     = {Proof Sytrategies in Linear Logic},
  journal   = {J. Autom. Reasoning},
  volume    = {12},
  number    = {3},
  pages     = {273--304},
  year      = {1994},
  url       = {https://doi.org/10.1007/BF00885763},
  doi       = {10.1007/BF00885763},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jar/Tammet94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Tammet94,
  author    = {Tanel Tammet},
  editor    = {Leszek Pacholski and
               Jerzy Tiuryn},
  title     = {Completeness of Resolution for Definite Answers with Case Analysis},
  booktitle = {Computer Science Logic, 8th International Workshop, {CSL} '94, Kazimierz,
               Poland, September 25-30, 1994, Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {933},
  pages     = {309--323},
  publisher = {Springer},
  year      = {1994},
  url       = {https://doi.org/10.1007/BFb0022265},
  doi       = {10.1007/BFb0022265},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/conf/csl/Tammet94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/FermullerLTZ93,
  author    = {Christian G. Ferm{\"{u}}ller and
               Alexander Leitsch and
               Tanel Tammet and
               N. K. Zamov},
  title     = {Resolution Methods for the Decision Problem},
  series    = {Lecture Notes in Computer Science},
  volume    = {679},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/3-540-56732-1},
  doi       = {10.1007/3-540-56732-1},
  isbn      = {3-540-56732-1},
  timestamp = {Tue, 14 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/books/sp/FermullerLTZ93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/MintsT91,
  author    = {Grigori Mints and
               Tanel Tammet},
  title     = {Condensed Detachment is Complete for Relevance Logic: {A} Computer-Aided
               Proof},
  journal   = {J. Autom. Reasoning},
  volume    = {7},
  number    = {4},
  pages     = {587--596},
  year      = {1991},
  url       = {https://doi.org/10.1007/BF01880330},
  doi       = {10.1007/BF01880330},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jar/MintsT91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/balt/Tammet91,
  author    = {Tanel Tammet},
  editor    = {Janis Barzdins and
               Dines Bj{\o}rner},
  title     = {Using Resolution for Deciding Solvable Classes and Building Finite
               Models},
  booktitle = {Baltic Computer Science, Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {502},
  pages     = {33--64},
  publisher = {Springer},
  year      = {1991},
  url       = {https://doi.org/10.1007/BFb0019355},
  doi       = {10.1007/BFb0019355},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/balt/Tammet91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colog/Tammet88,
  author    = {Tanel Tammet},
  editor    = {Per Martin{-}L{\"{o}}f and
               Grigori Mints},
  title     = {The resolution program, able to decide some solvable classes},
  booktitle = {COLOG-88, International Conference on Computer Logic, Tallinn, USSR,
               December 1988, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {417},
  pages     = {300--312},
  publisher = {Springer},
  year      = {1988},
  url       = {https://doi.org/10.1007/3-540-52335-9\_61},
  doi       = {10.1007/3-540-52335-9\_61},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/conf/colog/Tammet88.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics