Random logic programs: Linear model

DOI10.1017/S1471068414000611zbMath1379.68085arXiv1406.6102MaRDI QIDQ4593016

Lian Wen, Kewen Wang, Kedian Mu

Publication date: 9 November 2017

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1406.6102

zbMATH Keywords

answer set programmingrandom logic programs

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (2)

A Model for Phase Transition of Random Answer-Set Programs ⋮ New models for generating hard random Boolean formulas and disjunctive logic programs

Cites Work

• Handbook on Ontologies
• Probabilistic reasoning with answer sets
• Simple Random Logic Programs
• Some (in)translatability results for normal logic programs and propositional theories
• Autoepistemic logic
• Semantics of (disjunctive) logic programs based on partial evaluation
• Computing stable models: worst-case performance estimates
• Logic Programming
• Comparisons and computation of well-founded semantics for disjunctive logic programs
• The DLV system for knowledge representation and reasoning
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Random logic programs: Linear model