krr-up/bibliography

📚 BibTeX bibliography files of all papers referenced by the group

bibliography's Issues

complete KR20 references: kr20 and cafascwa20b

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.

entry agcadipevi17a should be updated

Hello!
In the entry agcadipevi17a, tag pages should be pages = {161-177} instead of pages = {161-277}

Martin.

check occurences of ACM Press

complete ECAI'20 references once available

krr.bib: cafascwa20a cadilasc20a
procs.bib: ecai20

Update behasc24a once published

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 ;)

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},
}

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}
	}

moore85 title

entry moore85 title appears as

Semantical Considerations on Nonmonotonic Logics

but it should be

Semantical Considerations on Nonmonotonic Logic

without "s" see https://www.sciencedirect.com/science/article/abs/pii/0004370285900426

Repeated entry

bibliography/krr.bib

Line 8761 in c1bbfb9

@article{falilush20a,

also
volume = {20},
number = {5},

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?

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",
}

Update cafali20a and falilush20a once they appeared

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: 

bibliography/krr.bib

Line 3446 in c9ff60e

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

bibliography/krr.bib

Line 2633 in c9ff60e

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

bibliography/krr.bib

Line 9736 in c9ff60e

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?

fix cafageiakakrlemarisc19a once published

Update fahali22a once is publish

Update pages of agcafapepevi20a when phisicaly publish