A model for phase transition of random answer-set programs

DOI10.1145/2926791MaRDI QIDQ5277923zbMATH OpenOpenAlexWikidataFDO

Authors Lian Wen, Kewen Wang, Yi-Dong Shen, Fangzhen Lin

Publication date 12 July 2017

Published in ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2926791

zbMATH Keywords

answer setsphase transitionrandom logic programs

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Logic Programming
• Simple Random Logic Programs
• Complexity-theoretic models of phase transitions in search problems
• Many hard examples in exact phase transitions
• scientific article; zbMATH DE number 1448978

Cites work

• Autoepistemic logic
• Conflict-driven answer set solving: from theory to practice
• Extending and implementing the stable model semantics
• scientific article; zbMATH DE number 67483 (Why is no real title available?)
• scientific article; zbMATH DE number 718142 (Why is no real title available?)
• scientific article; zbMATH DE number 1368926 (Why is no real title available?)
• scientific article; zbMATH DE number 1369843 (Why is no real title available?)
• scientific article; zbMATH DE number 2088041 (Why is no real title available?)
• scientific article; zbMATH DE number 1890628 (Why is no real title available?)
• Kernels in random graphs
• Logic Programming
• Random constraint satisfaction: A more accurate picture
• Random logic programs: linear model
• Results related to threshold phenomena research in satisfiability: Lower bounds
• Simple Random Logic Programs
• Solution clustering in random satisfiability
• Some (in)translatability results for normal logic programs and propositional theories
• The DLV system for knowledge representation and reasoning

Cited in

(4)

• New models for generating hard random Boolean formulas and disjunctive logic programs
• Simple Random Logic Programs
• Random logic programs: linear model
• Logic Programming

Describes a project that uses

Uses Software

• clasp

This page was built for publication: A model for phase transition of random answer-set programs

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