New models for generating hard random boolean formulas and disjunctive logic programs

Artificial Intelligence 279 (C):103185 (2020)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,148

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

The Boolean Algebra of Formulas of First-Order Logic.Don H. Faust - 1982 - Annals of Mathematical Logic 23 (1):27.
Algebraic Methods and Bounded Formulas.Domenico Zambella - 1997 - Notre Dame Journal of Formal Logic 38 (1):37-48.
Random Generations of the Countable Random Graph.Su Gao & A. Vershik - 2006 - Annals of Pure and Applied Logic 143 (1-3):79-86.
A Game Semantics for Disjunctive Logic Programming.Thanos Tsouanas - 2013 - Annals of Pure and Applied Logic 164 (11):1144-1175.
On Minimal Models.Francicleber Ferreira & Ana Teresa Martins - 2007 - Logic Journal of the IGPL 15 (5-6):503-526.

Analytics

Added to PP
2020-12-22

Downloads
2 (#1,392,221)

6 months
1 (#413,740)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations