Skip to content

Jorge/fanlie24a#305

Merged
tortinator merged 4 commits into
masterfrom
jorge/fanlie24a
Jun 2, 2026
Merged

Jorge/fanlie24a#305
tortinator merged 4 commits into
masterfrom
jorge/fanlie24a

Conversation

@jorgefandinno

Copy link
Copy Markdown
Contributor

No description provided.

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Pull request overview

Adds two new bibliography entries to krr.bib: a forthcoming TPLP article (cafascwa26a) on the flingo system, and an arXiv/CoRR preprint (fanlie25a) on splitting answer set programs.

Changes:

  • Add cafascwa26a TPLP "to appear" entry for the flingo paper.
  • Add fanlie25a CoRR/arXiv entry for the Fandinno & Lierler extended version.

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

Comment thread krr.bib Outdated
Comment thread krr.bib Outdated
jorgefandinno and others added 2 commits June 1, 2026 19:12
Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com>

@tortinator tortinator left a comment

Copy link
Copy Markdown
Contributor

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 734ee26 into master Jun 2, 2026
1 check passed
@tortinator tortinator deleted the jorge/fanlie24a branch June 2, 2026 07:44
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