ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2008.02015
  4. Cited By
Modular Answer Set Programming as a Formal Specification Language

Modular Answer Set Programming as a Formal Specification Language

5 August 2020
Pedro Cabalar
Jorge Fandinno
Yuliya Lierler
ArXivPDFHTML

Papers citing "Modular Answer Set Programming as a Formal Specification Language"

1 / 1 papers shown
Title
Splitting Answer Set Programs with respect to Intensionality Statements (Extended Version)
Splitting Answer Set Programs with respect to Intensionality Statements (Extended Version)
Jorge Fandinno
Yuliya Lierler
61
0
0
25 Mar 2025
1