Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

On demand indexing for the DLV instantiator

From MaRDI portal
Publication:3100241
Jump to:navigation, search

zbMATH Open1226.68016MaRDI QIDQ3100241FDOQ3100241


Authors: Gelsomina Catalano, N. Leone, Simona Perri Edit this on Wikidata


Publication date: 23 November 2011


Full work available at URL: https://www.mat.unical.it/ASPOCP08/




Recommendations

  • scientific article; zbMATH DE number 1884396
  • Optimizing answer set computation via heuristic-based decomposition
  • Parallel instantiation of ASP programs: techniques and experiments
  • Efficient parallel ASP instantiation via dynamic rewriting
  • Enhancing DLV instantiator by backjumping techniques


zbMATH Keywords

answer set programming (ASP)DLV instantiatorinstantiation process


Mathematics Subject Classification ID

Logic programming (68N17)



Cited In (4)

  • Title not available (Why is that?)
  • Parallel instantiation of ASP programs: techniques and experiments
  • The intelligent grounder of DLV
  • Efficient parallel ASP instantiation via dynamic rewriting

Uses Software

  • ASSAT
  • Cmodels





This page was built for publication: On demand indexing for the DLV instantiator

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3100241)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3100241&oldid=16166688"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 3 February 2024, at 21:49. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki