Converter from BibTeX to html

Presentation

We provide here a tool to convert a .bib file to HTML. It can be useful for

make a webpage that presents your bibliography;
put your bibliography into a document.

Try to use it!

Do not hesitate to modify the BibTeX input and the template. It will modify the output on the fly.

1. BibTeX Input

Copy here your .bib file.

%2014

@inproceedings{DBLP:conf/atal/GasquetGS14,
  author    = {Olivier Gasquet and
               Valentin Goranko and
               Fran{\c{c}}ois Schwarzentruber},
  title     = {Big brother logic: logical modeling and reasoning about agents equipped
               with surveillance cameras in the plane},
  booktitle = {International conference on Autonomous Agents and Multi-Agent Systems,
               {AAMAS} '14, Paris, France, May 5-9, 2014},
  year      = {2014},
  pages     = {325--332},
  crossref  = {DBLP:conf/atal/2014},
  url       = {http://dl.acm.org/citation.cfm?id=2615786},
  timestamp = {Thu, 02 Oct 2014 15:27:33 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/atal/GasquetGS14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@book{DBLP:books/daglib/0032750,
  author    = {Olivier Gasquet and
               Andreas Herzig and
               Bilal Said and
               Fran{\c{c}}ois Schwarzentruber},
  title     = {Kripke's Worlds - An Introduction to Modal Logics via Tableaux},
  series    = {Studies in Universal Logic},
  year      = {2014},
  publisher = {Birkh{\"{a}}user},
  url       = {http://dx.doi.org/10.1007/978-3-7643-8504-0},
  doi       = {10.1007/978-3-7643-8504-0},
  isbn      = {978-3-7643-8503-3},
  timestamp = {Mon, 22 Sep 2014 18:13:59 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/books/daglib/0032750},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{DBLP:conf/ecai/SchwarzentruberS14,
  author    = {Fran{\c{c}}ois Schwarzentruber and
               Caroline Semmling},
  title     = {{STIT} is dangerously undecidable},
  booktitle = {{ECAI} 2014 - 21st European Conference on Artificial Intelligence,
               18-22 August 2014, Prague, Czech Republic - Including Prestigious
               Applications of Intelligent Systems {(PAIS} 2014)},
  year      = {2014},
  pages     = {1093--1094},
  crossref  = {DBLP:conf/ecai/2014},
  url       = {http://dx.doi.org/10.3233/978-1-61499-419-0-1093},
  doi       = {10.3233/978-1-61499-419-0-1093},
  timestamp = {Mon, 22 Sep 2014 18:14:15 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ecai/SchwarzentruberS14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{DBLP:conf/foiks/HerzigPS14,
  author    = {Andreas Herzig and
               Pilar {Pozos Parra} and
               Fran{\c{c}}ois Schwarzentruber},
  title     = {Belief Merging in Dynamic Logic of Propositional Assignments},
  booktitle = {Foundations of Information and Knowledge Systems - 8th International
               Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings},
  year      = {2014},
  pages     = {381--398},
  crossref  = {DBLP:conf/foiks/2014},
  url       = {http://dx.doi.org/10.1007/978-3-319-04939-7_19},
  doi       = {10.1007/978-3-319-04939-7_19},
  timestamp = {Mon, 22 Sep 2014 18:14:37 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/foiks/HerzigPS14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{DBLP:conf/jelia/SchwarzentruberH14,
  author    = {Fran{\c{c}}ois Schwarzentruber and
               Jin{-}Kao Hao},
  title     = {Drawing Euler Diagrams from Region Connection Calculus Specifications
               with Local Search},
  booktitle = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
               2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  year      = {2014},
  pages     = {582--590},
  crossref  = {DBLP:conf/jelia/2014},
  url       = {http://dx.doi.org/10.1007/978-3-319-11558-0_41},
  doi       = {10.1007/978-3-319-11558-0_41},
  timestamp = {Mon, 22 Sep 2014 18:14:56 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/jelia/SchwarzentruberH14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{DBLP:conf/wollic/ArecesDFS14,
  author    = {Carlos Areces and
               Hans P. van Ditmarsch and
               Raul Fervari and
               Fran{\c{c}}ois Schwarzentruber},
  title     = {Logics with Copy and Remove},
  booktitle = {Logic, Language, Information, and Computation - 21st International
               Workshop, WoLLIC 2014, Valpara{\'{\i}}so, Chile, September 1-4,
               2014. Proceedings},
  year      = {2014},
  pages     = {51--65},
  crossref  = {DBLP:conf/wollic/2014},
  url       = {http://dx.doi.org/10.1007/978-3-662-44145-9_4},
  doi       = {10.1007/978-3-662-44145-9_4},
  timestamp = {Mon, 22 Sep 2014 18:15:25 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/wollic/ArecesDFS14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

%2013

@article{DBLP:journals/igpl/BalbianiGS13,
  author    = {Philippe Balbiani and
               Olivier Gasquet and
               Fran{\c{c}}ois Schwarzentruber},
  title     = {Agents that look at one another},
  journal   = {Logic Journal of the {IGPL}},
  year      = {2013},
  volume    = {21},
  number    = {3},
  pages     = {438--467},
  url       = {http://dx.doi.org/10.1093/jigpal/jzs052},
  doi       = {10.1093/jigpal/jzs052},
  timestamp = {Tue, 23 Sep 2014 13:14:48 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/igpl/BalbianiGS13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{DBLP:conf/lori/DitmarschHLS13,
  author    = {Hans P. van Ditmarsch and
               Andreas Herzig and
               Emiliano Lorini and
               Fran{\c{c}}ois Schwarzentruber},
  title     = {Listen to Me! Public Announcements to Agents That Pay Attention -
               or Not},
  booktitle = {Logic, Rationality, and Interaction - 4th International Workshop,
               {LORI} 2013, Hangzhou, China, October 9-12, 2013, Proceedings},
  year      = {2013},
  pages     = {96--109},
  crossref  = {DBLP:conf/lori/2013},
  url       = {http://dx.doi.org/10.1007/978-3-642-40948-6_8},
  doi       = {10.1007/978-3-642-40948-6_8},
  timestamp = {Tue, 23 Sep 2014 13:15:05 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lori/DitmarschHLS13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@incollection{DBLP:conf/dagstuhl/BroersenCEGGLPTTTS13,
  author    = {Jan Broersen and
               Stephen Cranefield and
               Yehia Elrakaiby and
               Dov M. Gabbay and
               Davide Grossi and
               Emiliano Lorini and
               Xavier Parent and
               Leendert W. N. van der Torre and
               Luca Tummolini and
               Paolo Turrini and
               Fran{\c{c}}ois Schwarzentruber},
  title     = {Normative Reasoning and Consequence},
  booktitle = {Normative Multi-Agent Systems},
  year      = {2013},
  pages     = {33--70},
  crossref  = {DBLP:conf/dagstuhl/2013dfu4},
  url       = {http://dx.doi.org/10.4230/DFU.Vol4.12111.33},
  doi       = {10.4230/DFU.Vol4.12111.33},
  timestamp = {Tue, 23 Sep 2014 13:15:22 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/dagstuhl/BroersenCEGGLPTTTS13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@book{DBLP:conf/dagstuhl/2013dfu4,
  editor    = {Giulia Andrighetto and
               Guido Governatori and
               Pablo Noriega and
               Leendert W. N. van der Torre},
  title     = {Normative Multi-Agent Systems},
  booktitle = {Normative Multi-Agent Systems},
  series    = {Dagstuhl Follow-Ups},
  year      = {2013},
  volume    = {4},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  url       = {http://drops.dagstuhl.de/opus/portals/dfu/index.php?semnr=13003},
  isbn      = {978-3-939897-51-4},
  timestamp = {Tue, 23 Sep 2014 13:15:22 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/dagstuhl/2013dfu4},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/corr/AucherS13,
  author    = {Guillaume Aucher and
               Fran{\c{c}}ois Schwarzentruber},
  title     = {On the Complexity of Dynamic Epistemic Logic},
  journal   = {CoRR},
  year      = {2013},
  volume    = {abs/1310.6406},
  url       = {http://arxiv.org/abs/1310.6406},
  timestamp = {Tue, 23 Sep 2014 13:15:43 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/AucherS13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/corr/GrossiLS13,
  author    = {Davide Grossi and
               Emiliano Lorini and
               Fran{\c{c}}ois Schwarzentruber},
  title     = {Ceteris Paribus Structure in Logics of Game Forms},
  journal   = {CoRR},
  year      = {2013},
  volume    = {abs/1310.6416},
  url       = {http://arxiv.org/abs/1310.6416},
  timestamp = {Tue, 23 Sep 2014 13:16:01 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/GrossiLS13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

%2012

@article{DBLP:journals/sLogica/Schwarzentruber12,
  author    = {Fran{\c{c}}ois Schwarzentruber},
  title     = {Complexity Results of {STIT} Fragments},
  journal   = {Studia Logica},
  year      = {2012},
  volume    = {100},
  number    = {5},
  pages     = {1001--1045},
  url       = {http://dx.doi.org/10.1007/s11225-012-9445-4},
  doi       = {10.1007/s11225-012-9445-4},
  timestamp = {Tue, 23 Sep 2014 13:16:13 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/sLogica/Schwarzentruber12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{DBLP:conf/jelia/AucherMS12,
  author    = {Guillaume Aucher and
               Bastien Maubert and
               Fran{\c{c}}ois Schwarzentruber},
  title     = {Generalized DEL-Sequents},
  booktitle = {Logics in Artificial Intelligence - 13th European Conference, {JELIA}
               2012, Toulouse, France, September 26-28, 2012. Proceedings},
  year      = {2012},
  pages     = {54--66},
  crossref  = {DBLP:conf/jelia/2012},
  url       = {http://dx.doi.org/10.1007/978-3-642-33353-8_5},
  doi       = {10.1007/978-3-642-33353-8_5},
  timestamp = {Tue, 23 Sep 2014 13:16:26 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/jelia/AucherMS12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{DBLP:conf/jelia/SchwarzentruberVR12,
  author    = {Fran{\c{c}}ois Schwarzentruber and
               Srdjan Vesic and
               Tjitze Rienstra},
  title     = {Building an Epistemic Logic for Argumentation},
  booktitle = {Logics in Artificial Intelligence - 13th European Conference, {JELIA}
               2012, Toulouse, France, September 26-28, 2012. Proceedings},
  year      = {2012},
  pages     = {359--371},
  crossref  = {DBLP:conf/jelia/2012},
  url       = {http://dx.doi.org/10.1007/978-3-642-33353-8_28},
  doi       = {10.1007/978-3-642-33353-8_28},
  timestamp = {Tue, 23 Sep 2014 13:16:42 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/jelia/SchwarzentruberVR12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

%2011

@article{DBLP:journals/ai/LoriniS11,
  author    = {Emiliano Lorini and
               Fran{\c{c}}ois Schwarzentruber},
  title     = {A logic for reasoning about counterfactual emotions},
  journal   = {Artif. Intell.},
  year      = {2011},
  volume    = {175},
  number    = {3-4},
  pages     = {814--847},
  url       = {http://dx.doi.org/10.1016/j.artint.2010.11.022},
  doi       = {10.1016/j.artint.2010.11.022},
  timestamp = {Tue, 23 Sep 2014 13:17:19 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ai/LoriniS11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/entcs/AucherMS11,
  author    = {Guillaume Aucher and
               Bastien Maubert and
               Fran{\c{c}}ois Schwarzentruber},
  title     = {Tableau Method and NEXPTIME-Completeness of DEL-Sequents},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  year      = {2011},
  volume    = {278},
  pages     = {17--30},
  url       = {http://dx.doi.org/10.1016/j.entcs.2011.10.003},
  doi       = {10.1016/j.entcs.2011.10.003},
  timestamp = {Tue, 23 Sep 2014 13:17:31 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/entcs/AucherMS11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/entcs/Schwarzentruber11,
  author    = {Fran{\c{c}}ois Schwarzentruber},
  title     = {LotrecScheme},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  year      = {2011},
  volume    = {278},
  pages     = {187--199},
  url       = {http://dx.doi.org/10.1016/j.entcs.2011.10.015},
  doi       = {10.1016/j.entcs.2011.10.015},
  timestamp = {Tue, 23 Sep 2014 13:17:40 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/entcs/Schwarzentruber11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{DBLP:conf/lori/Schwarzentruber11,
  author    = {Fran{\c{c}}ois Schwarzentruber},
  title     = {Seeing, Knowledge and Common Knowledge},
  booktitle = {Logic, Rationality, and Interaction - Third International Workshop,
               {LORI} 2011, Guangzhou, China, October 10-13, 2011. Proceedings},
  year      = {2011},
  pages     = {258--271},
  crossref  = {DBLP:conf/lori/2011},
  url       = {http://dx.doi.org/10.1007/978-3-642-24130-7_19},
  doi       = {10.1007/978-3-642-24130-7_19},
  timestamp = {Tue, 23 Sep 2014 13:17:51 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lori/Schwarzentruber11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{DBLP:conf/ticttl/GasquetS11,
  author    = {Olivier Gasquet and
               Fran{\c{c}}ois Schwarzentruber},
  title     = {Concrete Epistemic Modal Logic: Flatland},
  booktitle = {Tools for Teaching Logic - Third International Congress, {TICTTL}
               2011, Salamanca, Spain, June 1-4, 2011. Proceedings},
  year      = {2011},
  pages     = {70--76},
  crossref  = {DBLP:conf/ticttl/2011},
  url       = {http://dx.doi.org/10.1007/978-3-642-21350-2_9},
  doi       = {10.1007/978-3-642-21350-2_9},
  timestamp = {Tue, 23 Sep 2014 13:18:09 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ticttl/GasquetS11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{DBLP:conf/ticttl/GasquetSS11,
  author    = {Olivier Gasquet and
               Fran{\c{c}}ois Schwarzentruber and
               Martin Strecker},
  title     = {Satoulouse: The Computational Power of Propositional Logic Shown to
               Beginners},
  booktitle = {Tools for Teaching Logic - Third International Congress, {TICTTL}
               2011, Salamanca, Spain, June 1-4, 2011. Proceedings},
  year      = {2011},
  pages     = {77--84},
  crossref  = {DBLP:conf/ticttl/2011},
  url       = {http://dx.doi.org/10.1007/978-3-642-21350-2_10},
  doi       = {10.1007/978-3-642-21350-2_10},
  timestamp = {Tue, 23 Sep 2014 13:18:17 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ticttl/GasquetSS11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{DBLP:conf/ticttl/GasquetSS11a,
  author    = {Olivier Gasquet and
               Fran{\c{c}}ois Schwarzentruber and
               Martin Strecker},
  title     = {Panda: {A} Proof Assistant in Natural Deduction for All. {A} Gentzen
               Style Proof Assistant for Undergraduate Students},
  booktitle = {Tools for Teaching Logic - Third International Congress, {TICTTL}
               2011, Salamanca, Spain, June 1-4, 2011. Proceedings},
  year      = {2011},
  pages     = {85--92},
  crossref  = {DBLP:conf/ticttl/2011},
  url       = {http://dx.doi.org/10.1007/978-3-642-21350-2_11},
  doi       = {10.1007/978-3-642-21350-2_11},
  timestamp = {Tue, 23 Sep 2014 13:18:40 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ticttl/GasquetSS11a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

%2010

@article{DBLP:journals/games/LoriniS10,
  author    = {Emiliano Lorini and
               Fran{\c{c}}ois Schwarzentruber},
  title     = {A Modal Logic of Epistemic Games},
  journal   = {Games},
  year      = {2010},
  volume    = {1},
  number    = {4},
  pages     = {478--526},
  url       = {http://dx.doi.org/10.3390/g1040478},
  doi       = {10.3390/g1040478},
  timestamp = {Tue, 23 Sep 2014 13:19:08 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/games/LoriniS10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{DBLP:conf/atal/GasquetS10,
  author    = {Olivier Gasquet and
               Fran{\c{c}}ois Schwarzentruber},
  title     = {Knowledge in lineland},
  booktitle = {9th International Conference on Autonomous Agents and Multiagent Systems
               {(AAMAS} 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3},
  year      = {2010},
  pages     = {1537--1538},
  crossref  = {DBLP:conf/atal/2010},
  url       = {http://doi.acm.org/10.1145/1838206.1838469},
  doi       = {10.1145/1838206.1838469},
  timestamp = {Tue, 23 Sep 2014 13:19:25 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/atal/GasquetS10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

%2009

@inproceedings{DBLP:conf/ijcai/LoriniS09,
  author    = {Emiliano Lorini and
               Fran{\c{c}}ois Schwarzentruber},
  title     = {A Logic for Reasoning about Counterfactual Emotions},
  booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
               on Artificial Intelligence, Pasadena, California, USA, July 11-17,
               2009},
  year      = {2009},
  pages     = {867--872},
  crossref  = {DBLP:conf/ijcai/2009},
  url       = {http://ijcai.org/papers09/Papers/IJCAI09-148.pdf},
  timestamp = {Tue, 23 Sep 2014 13:19:43 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ijcai/LoriniS09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{DBLP:conf/lori/LoriniSH09,
  author    = {Emiliano Lorini and
               Fran{\c{c}}ois Schwarzentruber and
               Andreas Herzig},
  title     = {Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences
               All Together},
  booktitle = {Logic, Rationality, and Interaction, Second International Workshop,
               {LORI} 2009, Chongqing, China, October 8-11, 2009. Proceedings},
  year      = {2009},
  pages     = {212--226},
  crossref  = {DBLP:conf/lori/2009},
  url       = {http://dx.doi.org/10.1007/978-3-642-04893-7_17},
  doi       = {10.1007/978-3-642-04893-7_17},
  timestamp = {Tue, 23 Sep 2014 13:19:57 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lori/LoriniSH09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{DBLP:conf/mallow/Schwarzentruber09,
  author    = {Fran{\c{c}}ois Schwarzentruber},
  title     = {Knowledge about Lights along a Line},
  booktitle = {Proceedings of the Second Multi-Agent Logics, Languages, and Organisations
               Federated Workshops, Turin, Italy, September 7-10, 2009},
  year      = {2009},
  crossref  = {DBLP:conf/mallow/2009},
  url       = {http://ceur-ws.org/Vol-494/famaspaper4.pdf},
  timestamp = {Tue, 23 Sep 2014 13:20:22 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/mallow/Schwarzentruber09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

%2008

@inproceedings{DBLP:conf/aiml/HerzigS08,
  author    = {Andreas Herzig and
               Fran{\c{c}}ois Schwarzentruber},
  title     = {Properties of logics of individual and group agency},
  booktitle = {Advances in Modal Logic 7, papers from the seventh conference on "Advances
               in Modal Logic," held in Nancy, France, 9-12 September 2008},
  year      = {2008},
  pages     = {133--149},
  crossref  = {DBLP:conf/aiml/2008},
  url       = {http://www.aiml.net/volumes/volume7/Herzig-Schwarzentruber.pdf},
  timestamp = {Tue, 23 Sep 2014 13:20:34 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aiml/HerzigS08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

2. Template in HTML

Design how a bibtex entry is translated in HTML. You may use class "tag" to refer to the key or tag of an bibtex entry. Then each record key has a corresponding class.

3. Output: the bibliography in plain HTML text

Download and use it in real!

Download the javascript script
Download the style page
Add this in the header of your HTML file:

Add this where you want your bibliography to appear in the body of your HTML file:

Information

This tool is based on http://code.google.com/p/bibtex-js/.