Simple Random Logic Programs

DOI10.1007/978-3-642-04238-6_20MaRDI QIDQ3643121zbMATH OpenOpenAlexFDO

Authors Gayathri Namasivayam, Mirosław Truszczyński

Publication date 10 November 2009

Published in Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-04238-6_20

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Logic Programming
• Random logic programs: linear model
• A model for phase transition of random answer-set programs
• Logic Programming
• Complexity results for probabilistic answer set programming

Cited in

(5)

• Random logic programs: linear model
• A model for phase transition of random answer-set programs
• New models for generating hard random Boolean formulas and disjunctive logic programs
• Testing and debugging techniques for answer set solver development
• Logic Programming

Describes a project that uses

Uses Software

• ASSAT

This page was built for publication: Simple Random Logic Programs

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