format authors

krr.bib

@@ -1820,7 +1820,7 @@ @inproceedings{baerli00a
 
 @inproceedings{bafrbimc08a,
   title = {Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners},
-  author = {J. Baier and C. Fritz and Me. Bienvenu and S. McIlraith},
+  author = {J. Baier and C. Fritz and M. Bienvenu and S. McIlraith},
   crossref = {aaai08},
   pages = {1509-1512}
 }
@@ -2323,7 +2323,7 @@ @book{baral02a
 
 @inproceedings{baraltt02,
   title = {Reasoning about Actions in a Probabilistic Setting},
-  author = {Chitta Baral and Nam Tran and Le-Chi Tuan},
+  author = {C. Baral and N. Tran and L. Tuan},
   bibsource = {DBLP, http://dblp.uni-trier.de},
   booktitle = {AAAI/IAAI},
   pages = {507-512},
@@ -3275,7 +3275,7 @@ @article{bessch99a
 
 @inproceedings{besshw81,
   title = {The Markgraf Karl Refutation Procedure},
-  author = {K. Bl{\"a}sius and N. Eisinger and J. Siekmann and G. Smolka and H. Herold and Chr. Walther},
+  author = {K. Bl{\"a}sius and N. Eisinger and J. Siekmann and G. Smolka and H. Herold and C. Walther},
   booktitle = ijcai,
   pages = {511-518},
   year = {1981}
@@ -3376,7 +3376,7 @@ @inproceedings{bibel:c10
 @inproceedings{bibel:c11,
   title = {Inferenzmethoden},
   author = {W. Bibel},
-  editor = {Christopher Habel},
+  editor = {C. Habel},
   address = {Berlin},
   booktitle = {Fr{\"u}hjahrsschule K{\"u}nstliche Intelligenz},
   organization = springer,
@@ -3422,7 +3422,7 @@ @inproceedings{bibregra94a
 @incollection{bibrotrasc98,
   title = {Compressions and extensions},
   author = {W. Bibel and S. Br{\"u}ning and J. Otten and T. Rath and T. Schaub},
-  editor = {W. Bibel and P.H. Schmitt},
+  editor = {W. Bibel and P. Schmitt},
   booktitle = {Automated Deduction --- A Basis for Applications},
   chapter = {5},
   pages = {133-179},
@@ -3678,7 +3678,7 @@ @phdthesis{blake37a
 
 @article{blasub88a,
   title = {Paraconsistent Foundations of Logic Programming},
-  author = {H. Blair and V.S. Subrahmanian},
+  author = {H. Blair and V. Subrahmanian},
   journal = {Journal of Non-Classical Logics},
   number = {2},
   pages = {45-73},
@@ -3688,7 +3688,7 @@ @article{blasub88a
 
 @article{blasub89a,
   title = {Paraconsistent Logic Programming},
-  author = {H. Blair and V.S. Subrahmanian},
+  author = {H. Blair and V. Subrahmanian},
   journal = tcs,
   number = {2},
   pages = {135-154},
@@ -4539,7 +4539,7 @@ @inproceedings{breeit97a
 @incollection{breeit98a,
   title = {Prioritizing Default Logic},
   author = {G. Brewka and T. Eiter},
-  editor = {St. H{\"o}lldobler},
+  editor = {S. H{\"o}lldobler},
   booktitle = {Intellectics and Computational Logic --- Papers in Honour of {W}olfgang {B}ibel},
   pages = {27-45},
   publisher = kluwer,
@@ -5222,7 +5222,7 @@ @inproceedings{brusch99a
 @incollection{brusch99b,
   title = {A Connection Calculus for handling Incomplete Information},
   author = {S. Br{\"u}ning and T. Schaub},
-  editor = {St. H{\"o}lldobler},
+  editor = {S. H{\"o}lldobler},
   booktitle = {Intellectics and Computational Logic --- Papers in Honor of {W}olfgang {B}ibel},
   pages = {47-66},
   publisher = kluwer,
@@ -7510,7 +7510,7 @@ @article{delsch02c
 @inproceedings{delsch03a,
   title = {On the Relation between Reiter's Default Logic and its (major) Variants},
   author = {J. Delgrande and T. Schaub},
-  editor = {Th. Nielsen and N. Zhang},
+  editor = {T. Nielsen and N. Zhang},
   booktitle = {Proceedings of the Seventh European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty},
   pages = {452-463},
   publisher = springer,
@@ -8039,7 +8039,7 @@ @inproceedings{dix92a
 
 @inproceedings{dix92b,
   title = {A Framework for Representing and Characterizing Semantics of Logic Programs},
-  author = {J{\"u}rgen Dix},
+  author = {J. Dix},
   crossref = {kr92},
   pages = {591-602}
 }
@@ -12835,7 +12835,7 @@ @article{hachebka08a
 
 @inproceedings{hacjue04a,
   title = {Drawing Large Graphs with a Potential-Field-Based Multilevel Algorithm},
-  author = {S. Hachul and Michael J{\"u}nger},
+  author = {S. Hachul and M. J{\"u}nger},
   crossref = {gd04},
   pages = {285-295}
 }
@@ -13060,7 +13060,7 @@ @inproceedings{hansom09a
 
 @book{hansson99a,
   title = {A Textbook of Belief Dynamics},
-  author = {Sven Ove Hansson},
+  author = {S. Ove Hansson},
   publisher = {Kluwer Academic Publishers},
   series = {Applied Logic Series},
   year = {1999}
@@ -13268,8 +13268,7 @@ @article{helmert09a
 
 @inproceedings{helmertrs+11,
   title = {Fast Downward Stone Soup},
-  author = {M. Helmert and G. R{\"{o}}ger and J. Seipp and E. Karpas and J. Hoffmann and E. Keyder and R. Nissim
-and S. Richter and M. Westphal},
+  author = {M. Helmert and G. R{\"{o}}ger and J. Seipp and E. Karpas and J. Hoffmann and E. Keyder and R. Nissim and S. Richter and M. Westphal},
   booktitle = {{IPC'11}},
   pages = {38-45},
   url = {http://www.plg.inf.uc3m.es/ipc2011-deterministic/Results?action=AttachFile&do=get&target=ipc2011-booklet.pdf},
@@ -15831,7 +15830,7 @@ @inproceedings{lealmi09a
 
 @book{leasombe90,
   title = {Reasoning about incomplete information in Artificial Intelligence},
-  author = {L\'ea Somb\'e},
+  author = {L. Somb\'e},
   address = {New York},
   publisher = wiley,
   year = {1990}
@@ -15991,7 +15990,7 @@ @inproceedings{leliya13a
 
 @article{lemago94a,
   title = {Controlled Integrations of the Cut Rule into Connection Tableau Calculi},
-  author = {R. Letz and K. Mayr and Ch. Goller},
+  author = {R. Letz and K. Mayr and C. Goller},
   journal = jar,
   number = {3},
   pages = {297-338},
@@ -17182,8 +17181,7 @@ @techreport{lohihascge08a
 
 @article{lokasebogekobrhorianwesmfo00a,
   title = {The {AIPS'98} Planning Competition},
-  author = {D. Long and H. Kautz and B. Selman and B. Bonet and H. Geffner and J. K{\"{o}}hler and M. Brenner and
-J. Hoffmann and F. Rittinger and C. Anderson and D. Weld and D. Smith and M. Fox},
+  author = {D. Long and H. Kautz and B. Selman and B. Bonet and H. Geffner and J. K{\"{o}}hler and M. Brenner and J. Hoffmann and F. Rittinger and C. Anderson and D. Weld and D. Smith and M. Fox},
   journal = aim,
   number = {2},
   pages = {13-33},
@@ -20156,7 +20154,7 @@ @inproceedings{ponson06a
 @inproceedings{poogoe86,
   title = {Gracefully adding negation and disjunction to {P}ROLOG},
   author = {D. Poole and R. Goebel},
-  editor = {Ehud Shapiro},
+  editor = {E. Shapiro},
   booktitle = {International Conference on Logic Programming},
   pages = {635-641},
   publisher = springer,
@@ -20431,7 +20429,7 @@ @book{primio95
 
 @techreport{prismo93,
   title = {Optimality Theory: Constraint interaction in generative grammar},
-  author = {Alan Prince and Paul Smolensky},
+  author = {A. Prince and P. Smolensky},
   institution = {University of Colorado, Boulder},
   year = {1993}
 }
@@ -22020,7 +22018,7 @@ @article{schlipf95a
 @inproceedings{schneeberger89a,
   title = {Logical Foundations of Planning {I}},
   author = {J. Schneeberger},
-  editor = {Guillermo Morales Luna},
+  editor = {G. Morales Luna},
   booktitle = {Second International Course on Expert Systems},
   organization = {Centro de Investigac\`{\i}on y de estudos Avancados del IPN},
   pages = {31-84},
@@ -22172,7 +22170,7 @@ @inproceedings{schthi94a
 @inproceedings{schthi96a,
   title = {Skeptical Query-Answering in Constrained Default Logic},
   author = {T. Schaub and M. Thielscher},
-  editor = {D. Gabbay and H.-J. Ohlbach},
+  editor = {D. Gabbay and H. Ohlbach},
   booktitle = {Proceedings of the International Conference on Formal and Applied Practical Reasoning},
   pages = {567-581},
   publisher = springer,
@@ -23403,8 +23401,7 @@ @article{ststfekomawaliatcokubabo19a
 
 @inproceedings{ststfekomawaliatcokubabo19b,
   title = {Multi-Agent Pathfinding: Definitions, Variants, and Benchmarks},
-  author = {R. Stern and N. Sturtevant and A. Felner and S. Koenig and H. Ma and T. Walker and J. Li and D. Atzmon
-and L. Cohen and T. Kumar and R. Bart{\'a}k and E. Boyarski},
+  author = {R. Stern and N. Sturtevant and A. Felner and S. Koenig and H. Ma and T. Walker and J. Li and D. Atzmon and L. Cohen and T. Kumar and R. Bart{\'a}k and E. Boyarski},
   editor = {P. Surynek and W. Yeoh},
   booktitle = {Proceedings of the Twelfth International Symposium on Combinatorial Search (SOCS'19)},
   pages = {151-159},
@@ -24138,7 +24135,7 @@ @inproceedings{torjac07a
 @inproceedings{tornquist06a,
   title = {Computer-based decision support for railway traffic scheduling and dispatching: A review of models and algorithms},
   author = {J. T{\"o}rnquist},
-  editor = {Leo G. Kroon and Rolf H. M{\"o}hring},
+  editor = {L. Kroon and R. M{\"o}hring},
   booktitle = {Proceedings of Fifth Workshop on Algorithmic Methods and Models for Optimization of Railways (ATMOS'05)},
   publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
   series = {OpenAccess Series in Informatics (OASIcs)},
@@ -24714,7 +24711,7 @@ @article{vlvedebr12a
 
 @inproceedings{vogrdabicrorlalagiackljo14a,
   title = {Telemedicine System for Game-Based Rehabilitation of Stroke Patients in the {FP}7-``{S}troke{B}ack'' Project},
-  author = {E. Vogiatzaki and Y. Gravezas and N. Dalezios and D. Biswas and Andy Cranny and S. Ortmann and P. Langend{\"o}rfer and I. Lamprinos and G. Giannakopoulou and J. Achner and J. Klemke and H. Jost},
+  author = {E. Vogiatzaki and Y. Gravezas and N. Dalezios and D. Biswas and A. Cranny and S. Ortmann and P. Langend{\"o}rfer and I. Lamprinos and G. Giannakopoulou and J. Achner and J. Klemke and H. Jost},
   booktitle = {European Conference on Networks and Communications (EuCNC 2014)},
   pages = {1-5},
   publisher = ieee,

procs.bib

@@ -712,7 +712,7 @@ @proceedings{cav10
 
 @proceedings{cav12,
   title = {Proceedings of the Twenty-fourth International Conference on Computer Aided Verification (CAV'12)},
-  editor = {P. Madhusudan and S. A. Seshia},
+  editor = {P. Madhusudan and S. Seshia},
   booktitle = {Proceedings of the Twenty-fourth International Conference on Computer Aided Verification (CAV'12)},
   publisher = springer,
   series = lncs,
@@ -1200,7 +1200,7 @@ @proceedings{damp10
 
 @proceedings{datalog10,
   title = {Proceedings of the First International Workshop on Datalog},
-  editor = {O. {de Moor} and G. Gottlob and T. Furche and A, Sellers},
+  editor = {O. {de Moor} and G. Gottlob and T. Furche and S. A},
   booktitle = {Proceedings of the First International Workshop on Datalog},
   publisher = springer,
   series = lncs,
@@ -1944,8 +1944,7 @@ @proceedings{iclp-tc19
 
 @proceedings{iclp-tc20,
   title = {Technical Communications of the Thirty sixth International Conference on Logic Programming (ICLP'20)},
-  editor = {F. Ricca and A. Russo and S. Greco and N. Leone and A. Artikis and G. Friedrich and P. Fodor and
-A. Kimmig and F. Lisi and M. Maratea and A. Mileo and F. Riguzzi},
+  editor = {F. Ricca and A. Russo and S. Greco and N. Leone and A. Artikis and G. Friedrich and P. Fodor and A. Kimmig and F. Lisi and M. Maratea and A. Mileo and F. Riguzzi},
   booktitle = {Technical Communications of the Thirty sixth International Conference on Logic Programming (ICLP'20)},
   doi = {10.4204/EPTCS.325},
   series = {{EPTCS}},
@@ -3149,7 +3148,7 @@ @proceedings{lpnmr99
 
 @proceedings{lwda18,
   title = {Proceedings of the Conference "Lernen, Wissen, Daten, Analysen", {LWDA'18}},
-  editor = {R. Gemulla and S. P. Ponzetto and C. Bizer and M. Keuper and H. Stuckenschmidt},
+  editor = {R. Gemulla and S. Ponzetto and C. Bizer and M. Keuper and H. Stuckenschmidt},
   booktitle = {Proceedings of the Conference "Lernen, Wissen, Daten, Analysen", {LWDA'18}},
   publisher = {CEUR-WS.org},
   series = {{CEUR} Workshop Proceedings},
@@ -3159,7 +3158,7 @@ @proceedings{lwda18
 
 @proceedings{lwda22,
   title = {Proceedings of the Conference "Lernen, Wissen, Daten, Analysen", {LWDA'22}},
-  editor = {P. Reuss and V. Eisenstadt and J. M. Sch{\"{o}}nborn and J. Sch{\"{a}}fer},
+  editor = {P. Reuss and V. Eisenstadt and J. Sch{\"{o}}nborn and J. Sch{\"{a}}fer},
   booktitle = {Proceedings of the Conference "Lernen, Wissen, Daten, Analysen", {LWDA'22}},
   publisher = {CEUR-WS.org},
   series = {{CEUR} Workshop Proceedings},
@@ -3691,7 +3690,7 @@ @proceedings{ruleml19
 
 @proceedings{ruleml22,
   title = {Proceedings of the Sixth International Joint Conference on Rules and Reasoning (RuleML+RR'22)},
-  editor = {Guido Governatori and Anni{-}Yasmin Turhan},
+  editor = {G. Governatori and A. Turhan},
   booktitle = {Proceedings of the Sixth International Joint Conference on Rules and Reasoning (RuleML+RR'22)},
   publisher = springer,
   series = lncs,
@@ -4235,7 +4234,7 @@ @proceedings{vldb03
 
 @proceedings{vldb06,
   title = {Proceedings of the Thirty-second International Conference on Very Large Data Bases},
-  editor = {U. Dayal and K. Whang and D. B. Lomet and G. Alonso and G. M. Lohman and M. L. Kersten and S. K. Cha and Y. Kim},
+  editor = {U. Dayal and K. Whang and D. Lomet and G. Alonso and G. Lohman and M. Kersten and S. Cha and Y. Kim},
   booktitle = {Proceedings of the Thirty-second International Conference on Very Large Data Bases},
   publisher = acm,
   year = {2006}