Skip to content

Jorge/free#299

Merged
tortinator merged 3 commits into
masterfrom
jorge/free
May 12, 2026
Merged

Jorge/free#299
tortinator merged 3 commits into
masterfrom
jorge/free

Conversation

@jorgefandinno
Copy link
Copy Markdown
Contributor

No description provided.

Copy link
Copy Markdown
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Updates bibliography metadata in krr.bib to reflect published page ranges and to add a missing KR’23 reference entry, keeping the bibliography accurate for downstream LaTeX/BibTeX usage (typically via \bibliography{krr,procs}).

Changes:

  • Replaced “(to appear)” placeholders with final AAAI’25 page ranges for two inproceedings entries.
  • Added a new KR’23 inproceedings entry (fanlif23b) with crossref to kr23.
  • Normalized field ordering/punctuation in the yang14a PhD thesis entry (URL and year).

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Copy link
Copy Markdown
Contributor

@tortinator tortinator left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Muchas gracias!

@tortinator tortinator merged commit 1178afb into master May 12, 2026
5 checks passed
@tortinator tortinator deleted the jorge/free branch May 12, 2026 05:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants