BibTeX records: Tanel Tammet

download as .bib file

@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},
  year      = {2018},
  crossref  = {DBLP:conf/mdm/2018},
  url       = {https://doi.org/10.1109/MDM.2018.00025},
  doi       = {10.1109/MDM.2018.00025},
  timestamp = {Tue, 31 Jul 2018 12:20:29 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mdm/JarvTT18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic3k/TomingasJT16,
  author    = {Kalle Tomingas and
               Priit J{\"{a}}rv and
               Tanel Tammet},
  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},
  year      = {2016},
  crossref  = {DBLP:conf/ic3k/2016kdir},
  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/bib/conf/ic3k/TomingasJT16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic3k/TomingasJT16a,
  author    = {Kalle Tomingas and
               Priit J{\"{a}}rv and
               Tanel Tammet},
  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},
  pages     = {101--124},
  year      = {2016},
  crossref  = {DBLP:conf/ic3k/2016},
  url       = {https://doi.org/10.1007/978-3-319-99701-8\_5},
  doi       = {10.1007/978-3-319-99701-8\_5},
  timestamp = {Fri, 08 Feb 2019 08:46:47 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ic3k/TomingasJT16a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbis/TomingasKT14,
  author    = {Kalle Tomingas and
               Margus Kliimask and
               Tanel Tammet},
  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}},
  pages     = {41--55},
  year      = {2014},
  crossref  = {DBLP:conf/adbis/2014-2},
  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/bib/conf/adbis/TomingasKT14},
  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},
  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},
  year      = {2014},
  crossref  = {DBLP:conf/icis/2014},
  url       = {http://aisel.aisnet.org/icis2014/proceedings/DecisionAnalytics/6},
  timestamp = {Tue, 24 Mar 2015 08:43:46 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icis/TomingasTKJ14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip12/TomingasTK14,
  author    = {Kalle Tomingas and
               Tanel Tammet and
               Margus Kliimask},
  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},
  pages     = {301--309},
  year      = {2014},
  crossref  = {DBLP:conf/ifip12/2014aiaiw},
  url       = {https://doi.org/10.1007/978-3-662-44722-2\_32},
  doi       = {10.1007/978-3-662-44722-2\_32},
  timestamp = {Sun, 23 Dec 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ifip12/TomingasTK14},
  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   = {Computer Science Review},
  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, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/csr/SchoefeggerTG13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enter/TammetLJ13,
  author    = {Tanel Tammet and
               Ago Luberg and
               Priit J{\"{a}}rv},
  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},
  year      = {2013},
  crossref  = {DBLP:conf/enter/2013},
  url       = {https://doi.org/10.1007/978-3-642-36309-2\_27},
  doi       = {10.1007/978-3-642-36309-2\_27},
  timestamp = {Thu, 07 Feb 2019 08:39:34 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/enter/TammetLJ13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enter/LubergJT12,
  author    = {Ago Luberg and
               Priit J{\"{a}}rv and
               Tanel Tammet},
  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},
  year      = {2012},
  crossref  = {DBLP:conf/enter/2012},
  url       = {https://doi.org/10.1007/978-3-7091-1142-0\_29},
  doi       = {10.1007/978-3-7091-1142-0\_29},
  timestamp = {Sat, 09 Feb 2019 11:23:14 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/enter/LubergJT12},
  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},
  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},
  year      = {2012},
  crossref  = {DBLP:conf/wims/2012},
  url       = {https://doi.org/10.1145/2254129.2254191},
  doi       = {10.1145/2254129.2254191},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wims/LubergGWJT12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wims/WuLT12,
  author    = {Honghan Wu and
               Ago Luberg and
               Tanel Tammet},
  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},
  year      = {2012},
  crossref  = {DBLP:conf/wims/2012},
  url       = {https://doi.org/10.1145/2254129.2254210},
  doi       = {10.1145/2254129.2254210},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wims/WuLT12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexaw/LubergTJ11,
  author    = {Ago Luberg and
               Tanel Tammet and
               Priit J{\"{a}}rv},
  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},
  year      = {2011},
  crossref  = {DBLP:conf/dexaw/2011},
  url       = {https://doi.org/10.1109/DEXA.2011.32},
  doi       = {10.1109/DEXA.2011.32},
  timestamp = {Wed, 24 Jan 2018 12:46:36 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dexaw/LubergTJ11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enter/LubergTJ11,
  author    = {Ago Luberg and
               Tanel Tammet and
               Priit J{\"{a}}rv},
  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},
  year      = {2011},
  crossref  = {DBLP:conf/enter/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/bib/conf/enter/LubergTJ11},
  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},
  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},
  year      = {2011},
  crossref  = {DBLP:conf/iknow/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/bib/conf/iknow/LubergJST11},
  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},
  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},
  year      = {2008},
  crossref  = {DBLP:conf/saso/2008},
  url       = {https://doi.org/10.1109/SASO.2008.62},
  doi       = {10.1109/SASO.2008.62},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/saso/TammetVPRK08},
  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   = {International Journal on Artificial Intelligence Tools},
  volume    = {15},
  number    = {1},
  pages     = {1--2},
  year      = {2006},
  url       = {https://doi.org/10.1142/S0218213006002539},
  doi       = {10.1142/S0218213006002539},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ijait/SchulzST06},
  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},
  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},
  pages     = {249--259},
  year      = {2006},
  crossref  = {DBLP:conf/balt/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/bib/conf/balt/TammetHKK06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Tammet04,
  author    = {Tanel Tammet},
  title     = {Chain Resolution for the Semantic Web},
  booktitle = {Automated Reasoning - Second International Joint Conference, {IJCAR}
               2004, Cork, Ireland, July 4-8, 2004, Proceedings},
  pages     = {307--320},
  year      = {2004},
  crossref  = {DBLP:conf/cade/2004},
  url       = {https://doi.org/10.1007/978-3-540-25984-8\_21},
  doi       = {10.1007/978-3-540-25984-8\_21},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/Tammet04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/psss/Tammet03,
  author    = {Tanel Tammet},
  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},
  year      = {2003},
  crossref  = {DBLP:conf/psss/2003},
  url       = {http://ceur-ws.org/Vol-89/tammet.pdf},
  timestamp = {Mon, 30 May 2016 15:43:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/psss/Tammet03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/TammetK03,
  author    = {Tanel Tammet and
               Vello Kadarpik},
  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},
  pages     = {136--149},
  year      = {2003},
  crossref  = {DBLP:conf/semweb/2003ruleml},
  url       = {https://doi.org/10.1007/978-3-540-39715-1\_10},
  doi       = {10.1007/978-3-540-39715-1\_10},
  timestamp = {Wed, 11 Oct 2017 17:52:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/semweb/TammetK03},
  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},
  title     = {Resolution Decision Procedures},
  booktitle = {Handbook of Automated Reasoning (in 2 volumes)},
  pages     = {1791--1849},
  year      = {2001},
  crossref  = {DBLP:books/el/RobinsonV01},
  timestamp = {Wed, 29 Mar 2017 16:45:21 +0200},
  biburl    = {https://dblp.org/rec/bib/books/el/RV01/FermullerLHT01},
  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/bib/journals/logcom/TammetS98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Tammet98,
  author    = {Tanel Tammet},
  title     = {Towards Efficient Subsumption},
  booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated
               Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
  pages     = {427--441},
  year      = {1998},
  crossref  = {DBLP:conf/cade/1998},
  url       = {https://doi.org/10.1007/BFb0054276},
  doi       = {10.1007/BFb0054276},
  timestamp = {Tue, 23 May 2017 11:53:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/Tammet98},
  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/bib/journals/jar/Tammet97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Tammet97,
  author    = {Tanel Tammet},
  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},
  pages     = {65--83},
  year      = {1997},
  crossref  = {DBLP:conf/kgc/1997},
  url       = {https://doi.org/10.1007/3-540-63385-5\_33},
  doi       = {10.1007/3-540-63385-5\_33},
  timestamp = {Mon, 22 May 2017 17:11:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kgc/Tammet97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Tammet96,
  author    = {Tanel Tammet},
  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},
  pages     = {2--16},
  year      = {1996},
  crossref  = {DBLP:conf/cade/1996},
  url       = {https://doi.org/10.1007/3-540-61511-3\_65},
  doi       = {10.1007/3-540-61511-3\_65},
  timestamp = {Mon, 22 May 2017 16:14:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/Tammet96},
  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/bib/journals/logcom/Tammet95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/Tammet95,
  author    = {Tanel Tammet},
  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},
  year      = {1995},
  crossref  = {DBLP:conf/cikm/95},
  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/bib/conf/cikm/Tammet95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/TammetS95,
  author    = {Tanel Tammet and
               Jan M. Smith},
  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},
  pages     = {265--287},
  year      = {1995},
  crossref  = {DBLP:conf/types/1995},
  url       = {https://doi.org/10.1007/3-540-61780-9\_75},
  doi       = {10.1007/3-540-61780-9\_75},
  timestamp = {Mon, 22 May 2017 16:14:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/types/TammetS95},
  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/bib/journals/jar/Tammet94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Tammet94,
  author    = {Tanel Tammet},
  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},
  pages     = {309--323},
  year      = {1994},
  crossref  = {DBLP:conf/csl/1994},
  url       = {https://doi.org/10.1007/BFb0022265},
  doi       = {10.1007/BFb0022265},
  timestamp = {Sat, 20 May 2017 15:32:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csl/Tammet94},
  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, 16 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/books/sp/FermullerLTZ93},
  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/bib/journals/jar/MintsT91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/balt/Tammet91,
  author    = {Tanel Tammet},
  title     = {Using Resolution for Deciding Solvable Classes and Building Finite
               Models},
  booktitle = {Baltic Computer Science, Selected Papers},
  pages     = {33--64},
  year      = {1991},
  crossref  = {DBLP:conf/balt/1991},
  url       = {https://doi.org/10.1007/BFb0019355},
  doi       = {10.1007/BFb0019355},
  timestamp = {Wed, 31 May 2017 18:27:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/balt/Tammet91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colog/Tammet88,
  author    = {Tanel Tammet},
  title     = {The resolution program, able to decide some solvable classes},
  booktitle = {COLOG-88, International Conference on Computer Logic, Tallinn, USSR,
               December 1988, Proceedings},
  pages     = {300--312},
  year      = {1988},
  crossref  = {DBLP:conf/colog/1988},
  url       = {https://doi.org/10.1007/3-540-52335-9\_61},
  doi       = {10.1007/3-540-52335-9\_61},
  timestamp = {Fri, 19 May 2017 13:10:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/colog/Tammet88},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mdm/2018,
  title     = {19th {IEEE} International Conference on Mobile Data Management, {MDM}
               2018, Aalborg, Denmark, June 25-28, 2018},
  publisher = {{IEEE} Computer Society},
  year      = {2018},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8410749},
  isbn      = {978-1-5386-4133-0},
  timestamp = {Tue, 31 Jul 2018 12:20:29 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mdm/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ic3k/2016kdir,
  editor    = {Ana L. N. Fred and
               Jan L. G. Dietz and
               David Aveiro and
               Kecheng Liu and
               Jorge Bernardino and
               Joaquim Filipe},
  title     = {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},
  publisher = {SciTePress},
  year      = {2016},
  isbn      = {978-989-758-203-5},
  timestamp = {Sun, 27 Nov 2016 11:53:17 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ic3k/2016kdir},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ic3k/2016,
  editor    = {Ana L. N. Fred and
               Jan L. G. Dietz and
               David Aveiro and
               Kecheng Liu and
               Jorge Bernardino and
               Joaquim Filipe},
  title     = {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},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-319-99701-8},
  doi       = {10.1007/978-3-319-99701-8},
  isbn      = {978-3-319-99700-1},
  timestamp = {Fri, 08 Feb 2019 08:46:47 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ic3k/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/adbis/2014-2,
  editor    = {Nick Bassiliades and
               Mirjana Ivanovic and
               Margita Kon{-}Popovska and
               Yannis Manolopoulos and
               Themis Palpanas and
               Goce Trajcevski and
               Athena Vakali},
  title     = {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},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-10518-5},
  doi       = {10.1007/978-3-319-10518-5},
  isbn      = {978-3-319-10517-8},
  timestamp = {Wed, 14 Nov 2018 10:52:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/adbis/2014-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icis/2014,
  editor    = {Michael D. Myers and
               Detmar W. Straub},
  title     = {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/},
  isbn      = {978-0-615-15788-7},
  timestamp = {Tue, 24 Mar 2015 08:43:46 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icis/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifip12/2014aiaiw,
  editor    = {Lazaros S. Iliadis and
               Ilias Maglogiannis and
               Harris Papadopoulos and
               Spyros Sioutas and
               Christos Makris},
  title     = {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},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-662-44722-2},
  doi       = {10.1007/978-3-662-44722-2},
  isbn      = {978-3-662-44721-5},
  timestamp = {Thu, 15 Jun 2017 21:38:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifip12/2014aiaiw},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/enter/2013,
  editor    = {Lorenzo Cantoni and
               Zheng Phil Xiang},
  title     = {Information and Communication Technologies in Tourism 2013, {ENTER}
               3013, Proceedings of the International Conference in Innsbruck, Austria,
               January 22-25, 2013},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-36309-2},
  doi       = {10.1007/978-3-642-36309-2},
  isbn      = {978-3-642-36308-5},
  timestamp = {Thu, 07 Feb 2019 08:39:34 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/enter/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/enter/2012,
  editor    = {Matthias Fuchs and
               Francesco Ricci and
               Lorenzo Cantoni},
  title     = {Information and Communication Technologies in Tourism 2012, {ENTER}
               2012, Proceedings of the International Conference in Helsingborg,
               Sweden, January 25-27, 2012},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-7091-1142-0},
  doi       = {10.1007/978-3-7091-1142-0},
  isbn      = {978-3-7091-1141-3},
  timestamp = {Sat, 09 Feb 2019 11:23:14 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/enter/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wims/2012,
  editor    = {Dumitru Dan Burdescu and
               Rajendra Akerkar and
               Costin Badica},
  title     = {2nd International Conference on Web Intelligence, Mining and Semantics,
               {WIMS} '12, Craiova, Romania, June 6-8, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2254129},
  isbn      = {978-1-4503-0915-8},
  timestamp = {Fri, 15 Jun 2012 15:48:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wims/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dexaw/2011,
  editor    = {Franck Morvan and
               A Min Tjoa and
               Roland R. Wagner},
  title     = {2011 Database and Expert Systems Applications, DEXA, International
               Workshops, Toulouse, France, August 29 - Sept. 2, 2011},
  publisher = {{IEEE} Computer Society},
  year      = {2011},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6059238},
  isbn      = {978-1-4577-0982-1},
  timestamp = {Wed, 24 Jan 2018 12:46:36 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dexaw/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/enter/2011,
  editor    = {Rob Law and
               Matthias Fuchs and
               Francesco Ricci},
  title     = {Information and Communication Technologies in Tourism 2011 - Proceedings
               of the International Conference in Innsbruck, Austria, January 26-28,
               2011},
  publisher = {Springer Vienna},
  year      = {2011},
  isbn      = {978-3-7091-0502-3},
  timestamp = {Mon, 21 Aug 2017 07:26:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/enter/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iknow/2011,
  editor    = {Stefanie N. Lindstaedt and
               Michael Granitzer},
  title     = {{I-KNOW} 2011, 11th International Conference on Knowledge Management
               and Knowledge Technologies, Graz, Austria, September 7-9, 2011},
  publisher = {{ACM}},
  year      = {2011},
  isbn      = {978-1-4503-0732-1},
  timestamp = {Fri, 07 Sep 2012 13:40:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iknow/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/saso/2008,
  editor    = {Sven A. Brueckner and
               Paul Robertson and
               Umesh Bellur},
  title     = {Second {IEEE} International Conference on Self-Adaptive and Self-Organizing
               Systems, {SASO} 2008, 20-24 October 2008, Venice, Italy},
  publisher = {{IEEE} Computer Society},
  year      = {2008},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4663390},
  isbn      = {978-0-7695-3404-6},
  timestamp = {Wed, 24 Sep 2014 16:55:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/saso/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/balt/2006,
  editor    = {Olegas Vasilecas and
               Johann Eder and
               Albertas Caplinskas},
  title     = {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},
  publisher = {{IOS} Press},
  year      = {2006},
  isbn      = {978-1-58603-715-4},
  timestamp = {Thu, 23 Jun 2016 15:53:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/balt/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2004,
  editor    = {David A. Basin and
               Micha{\"{e}}l Rusinowitch},
  title     = {Automated Reasoning - Second International Joint Conference, {IJCAR}
               2004, Cork, Ireland, July 4-8, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3097},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b98691},
  doi       = {10.1007/b98691},
  isbn      = {3-540-22345-2},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/psss/2003,
  editor    = {Raphael Volz and
               Stefan Decker and
               Isabel F. Cruz},
  title     = {{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},
  urn       = {urn:nbn:de:0074-89-7},
  timestamp = {Mon, 30 May 2016 15:43:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/psss/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/semweb/2003ruleml,
  editor    = {Michael Schroeder and
               Gerd Wagner},
  title     = {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},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b94129},
  doi       = {10.1007/b94129},
  isbn      = {3-540-20361-3},
  timestamp = {Wed, 11 Oct 2017 17:52:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/semweb/2003ruleml},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/el/RobinsonV01,
  editor    = {John Alan Robinson and
               Andrei Voronkov},
  title     = {Handbook of Automated Reasoning (in 2 volumes)},
  publisher = {Elsevier and {MIT} Press},
  year      = {2001},
  isbn      = {0-444-50813-9},
  timestamp = {Wed, 29 Mar 2017 16:45:21 +0200},
  biburl    = {https://dblp.org/rec/bib/books/el/RobinsonV01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/1998,
  editor    = {Claude Kirchner and
               H{\'{e}}l{\`{e}}ne Kirchner},
  title     = {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},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/BFb0054239},
  doi       = {10.1007/BFb0054239},
  isbn      = {3-540-64675-2},
  timestamp = {Tue, 23 May 2017 11:53:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kgc/1997,
  editor    = {Georg Gottlob and
               Alexander Leitsch and
               Daniele Mundici},
  title     = {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},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/3-540-63385-5},
  doi       = {10.1007/3-540-63385-5},
  isbn      = {3-540-63385-5},
  timestamp = {Mon, 22 May 2017 17:11:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kgc/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/1996,
  editor    = {Michael A. McRobbie and
               John K. Slaney},
  title     = {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},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/3-540-61511-3},
  doi       = {10.1007/3-540-61511-3},
  isbn      = {3-540-61511-3},
  timestamp = {Mon, 22 May 2017 16:14:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/1996},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cikm/95,
  editor    = {Niki Pissinou and
               Avi Silberschatz and
               E. K. Park and
               Kia Makki},
  title     = {{CIKM} '95, Proceedings of the 1995 International Conference on Information
               and Knowledge Management, November 28 - December 2, 1995, Baltimore,
               Maryland, {USA}},
  publisher = {{ACM}},
  year      = {1995},
  isbn      = {0-89791-812-6},
  timestamp = {Mon, 17 Sep 2012 07:30:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cikm/95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/types/1995,
  editor    = {Stefano Berardi and
               Mario Coppo},
  title     = {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},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/3-540-61780-9},
  doi       = {10.1007/3-540-61780-9},
  isbn      = {3-540-61780-9},
  timestamp = {Mon, 22 May 2017 16:14:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/types/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csl/1994,
  editor    = {Leszek Pacholski and
               Jerzy Tiuryn},
  title     = {Computer Science Logic, 8th International Workshop, {CSL} '94, Kazimierz,
               Poland, September 25-30, 1994, Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {933},
  publisher = {Springer},
  year      = {1995},
  url       = {https://doi.org/10.1007/BFb0022242},
  doi       = {10.1007/BFb0022242},
  isbn      = {3-540-60017-5},
  timestamp = {Sat, 20 May 2017 15:32:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csl/1994},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:conf/balt/1991,
  editor    = {Janis Barzdins and
               Dines Bj{\o}rner},
  title     = {Baltic Computer Science, Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {502},
  publisher = {Springer},
  year      = {1991},
  url       = {https://doi.org/10.1007/BFb0019352},
  doi       = {10.1007/BFb0019352},
  isbn      = {3-540-54131-4},
  timestamp = {Wed, 31 May 2017 18:27:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/balt/1991},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/colog/1988,
  editor    = {Per Martin{-}L{\"{o}}f and
               Grigori Mints},
  title     = {COLOG-88, International Conference on Computer Logic, Tallinn, USSR,
               December 1988, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {417},
  publisher = {Springer},
  year      = {1990},
  url       = {https://doi.org/10.1007/3-540-52335-9},
  doi       = {10.1007/3-540-52335-9},
  isbn      = {3-540-52335-9},
  timestamp = {Fri, 19 May 2017 13:10:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/colog/1988},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Schloss Dagstuhl LZI