Giter Site home page Giter Site logo

bibliography's Introduction

Bibliography

BibTeX bibliography files of all papers referenced by the group

Installation

These instructions will make all BibTeX files in this repository available to BibTeX on your machine.

The following commands will first locate or create the directory where your TeX installation expects BibTeX files. This repository will then be cloned to that location.

$ mkdir -p $(kpsewhich -var-value=TEXMFHOME)/bibtex/bib
$ cd "$_"
$ git clone https://github.com/krr-up/bibliography.git

If you prefer, you can clone the repository to another location and then create a symbolic link to the path TeX expects.

$ cd <preferred location>
$ git clone https://github.com/krr-up/bibliography.git
$ mkdir -p $(kpsewhich -var-value=TEXMFHOME)/bibtex/bib
$ ln -s <preferred location>/bibliography "$_"

Now, you can use the bibliography in your LaTeX file:

\bibliography{krr,procs}

Contributing New BibTeX Entries

Before creating new BibTeX entries, check whether they are already contained in krr.bib or procs.bib. If not, add the new entries to krr.bib and open a pull request. Please make sure that new BibTeX entries are in line with the guidelines below. We will then review and merge your pull request in a timely fashion.

Guidelines for New BibTeX Entries

BibTeX Keys

BibTeX keys must only contain ASCII characters. Depending on the number of authors, BibTeX keys should be chosen as follows:

  • 1 author: [author][year][a-z] (author’s full last name)

    example: lierler08a for a 2008 paper by Y. Lierler

  • 2 authors: [author 1][author 2][year][a-z] (authors’ last names shortened to the first 3 letters)

    example: rantin06a for a 2006 paper by S. Ranise and C. Tinelli

  • 3+ authors: [author 1]...[author n][year][a-z] (authors’ last names shortened to the first 2 letters)

    example: lirasm98a for a 1998 paper by X. Liu and C. Ramakrishnan and S. Smolka

As the [year] field, use the last 2 digits of the publication year.

For the [a-z] suffix, a should be selected by default. Should the resulting BibTeX key already exist, change the suffix to b, c, and so on until you obtain a unique BibTeX key.

For proceedings (mainly in procs.bib), use the following format instead:

  • [acronym][year]

    example: lpnmr09 for Proceedings of the Tenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’09)

BibTeX Entries

Use { instead of " as the field delimiter.

example:

@inproceedings{marlyn07a,
  author = {J. Marques-Silva and I. Lynce},
  title = {Towards Robust {CNF} Encodings of Cardinality Constraints},
  pages = {483-497},
  crossref = {cp07}
}

In the author and editor fields, abbreviate first names to the first letter and omit additional first names. Spell out last names.

example: author = {M. Gebser and B. Kaufmann and T. Schaub}

In the title field, enclose capital letters (other than the first letter) that must not be converted to lowercase letters by { and }.

examples: {SAT}, {P}etri Nets

For proceedings with more than one reference, please use crossrefs.

example: crossref = {aaai17}

Conference or workshop titles should almost always start with “Proceedings of the 
”

example:

@proceedings{aaai17,
  editor = {P. Satinder and S. Markovitch},
  title = {Proceedings of the Thirty-first National Conference on Artificial Intelligence (AAAI'17)},
  booktitle = {Proceedings of the Thirty-first National Conference on Artificial Intelligence (AAAI'17)},
  publisher = {AAAI Press},
  year = {2017}
}

Don’t abbreviate journal names.

example: ACM Transactions on Computational Logic but not ACM Trans. on Comp. Log.

Use the strings defined in krr.bib for journal names.

example: @string{lncs = {Lecture Notes in Computer Science}} for use in BibTex entries as series = lncs

Use LaTeX commands for special characters in all fields avoiding unnecessary braces but putting them around the command.

example: J. P{\"a}tynen but neither J. PĂ€tynen, J. P\"atynen, J. P\"{a}tynen, nor J. P{\"{a}}tynen.

Use - rather than -- for hyphens in the pages, volume, and number fields. Don’t terminate field contents with .. The bibliography style and BibTeX will sort it out uniformly.

example: pages = {203-208}

Autoformatting

Always run the bibfmt script to format entries:

./bibfmt.py format

The script takes care of sorting, indenting, replacing unicode characters, and spacing. Nevertheless, always check the result of the script. Especially, when pasting contents from external sources (like titles of PDFs) make sure that special characters like ligatures were replaced correctly.

The script requires at least Python 3.7 and the bibtexparser 1.3 module. It is quite easy to setup with anaconda:

# install anaconda
wget https://repo.anaconda.com/miniconda/Miniconda3-latest-Linux-x86_64.sh
bash Miniconda3-latest-Linux-x86_64.sh
# I recommend not to let the installer modify the bashrc but rather add a line
# like this manually:
#   source <install-prefix>/conda/etc/profile.d/conda.sh

# setup environment
conda create -n bib python=3.8 pip
conda activate bib
pip install bibtexparser

# run bibfmt
conda activate bib
python bibfmt.py format

bibliography's People

Contributors

etiennetignon avatar javier-romero avatar jorgefandinno avatar kstrauch94 avatar mgebser avatar namcsi avatar nrueh avatar pluehne avatar pobermei avatar rkaminsk avatar schellhorn avatar seem-ish avatar susuhahnml avatar teiesti avatar tortinator avatar wanko avatar

Stargazers

 avatar  avatar

Watchers

 avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar

bibliography's Issues

Styles not found

Maybe document that with the current Readme.md description you also need to add the style as a git submodule. Otherwise things like lncs wont be found.

add automata refs

ADD

@article{demri06,
	author = {Demri, Stephane},
	year = {2006},
	month = {01},
	pages = {311-348},
	title = {Linear-Time temporal logics with presburger constraints: An overview},
	volume = {16},
	journal = {Journal of Applied Non-Classical Logics},
	doi = {10.3166/jancl.16.311-347}
}

@article{DD07,
	title = "An automata-theoretic approach to constraint LTL",
	journal = "Information and Computation",
	volume = "205",
	number = "3",
	pages = "380 - 415",
	year = "2007",
	issn = "0890-5401",
	author = "StĂ©phane Demri and Deepak D’Souza",
}

README.md

I think we should encourage people to use the bibliography as a submodule in their projects. In view of this, I think we should rewrite the installation section. What do you think?

ASP-Core-2 publications appears twice

The ASP-Core-2 TPLP publication appears twice. Once the year seems to be wrong?

bibliography/krr.bib

Lines 5721 to 5740 in e67a140

@article{cafageiakakrlemarisc19a,
title = {{ASP-Core-2} Input Language Format},
author = {F. Calimeri and W. Faber and M. Gebser and G. Ianni and R. Kaminski and T. Krennwallner and N. Leone and M. Maratea and F. Ricca and T. Schaub},
journal = tplp,
number = {2},
pages = {294-309},
volume = {20},
year = {2020}
}
@article{cafageiakakrlemarisc20a,
title = {{ASP-Core-2} Input Language Format},
author = {F. Calimeri and W. Faber and M. Gebser and G. Ianni and R. Kaminski and T. Krennwallner and N. Leone
and M. Maratea and F. Ricca and T. Schaub},
journal = tplp,
number = {2},
pages = {294-309},
volume = {20},
year = {2020}
}

Two words surnames do not work well with TPLP format

Currently there are three different ways in which surnames with more than one word are written in the kr.bib file. See ```Luis Fariñas del cerro in the following entries: 

author = {W. Bibel and L. Fari{\~{n}}as del Cerro and B. Fronh{\"o}fer and A. Herzig},

author = {A. Becker and P. Cabalar and M. Di{\'{e}}guez and L. {Fari{\~{n}}as del Cerro} and T. Schaub and A. Schuhmann},

author = {L. {{Fari{\~{n}}as del Cerro}}},

With the TPLP format, the first produces (... del Cerro ...) instead of (... Fariñas del Cerro ...). This is not a problem with format that use numbers instead of names.

I did not try the third option, but it should work as well.

Now that we have an automatic tool to format names, we could add the functionality to correctly format surnames with more than one word. The options I am aware of are L. {Fari{\~{n}}as del Cerro} or Fari{\~{n}as del Cerro, L.

Comments?

add some ASP in gaming references

ADD

@inproceedings{SMSOW18,
  author    = {Adam Summerville and
               Chris Martens and
               Ben Samuel and
               Joseph C. Osborn and
               Noah Wardrip{-}Fruin and
               Michael Mateas},
  title     = {Gemini: Bidirectional Generation and Analysis of Games via {ASP}},
  booktitle = {Proceedings of the Fourteenth {AAAI} Conference on Artificial Intelligence
               and Interactive Digital Entertainment, {AIIDE} 2018, November 13-17,
               2018, Edmonton, Alberta, Canada},
  pages     = {123--129},
  year      = {2018},
}

@article{Smith12,
  author    = {Adam M. Smith},
  title     = {Constrained Videogame Content Generation with Answer Set Programming},
  journal   = {TinyToCS},
  volume    = {1},
  year      = {2012},
}

Explicit Negation in Linear-Dynamic Equilibrium Logic, ECAI'20

Just retrieved the bib entry (and issued a PR to @rkaminsk)

+@inproceedings{DBLP:conf/ecai/AguadoCFPV20,

  • author = "Aguado, Felicidad and Cabalar, Pedro and Fandinno, Jorge and P{'{e}}rez, Gilberto and Vidal, Concepci{'{o}}n",
  • title = "Explicit Negation in Linear-Dynamic Equilibrium Logic",
  • booktitle = "{ECAI}",
  • series = "Frontiers in Artificial Intelligence and Applications",
  • volume = "325",
  • pages = "569--576",
  • publisher = "{IOS} Press",
  • year = "2020"
    +}

Would you mind adding the PDF, @jorgefandinno ..?

PS Checkout the the repo on the local disk on your machine at Potsdam ;)

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❀ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.