Computation of the semantics of autoepistemic belief theories
type: Item
instance of: scholarly article
title: Computation of the semantics of autoepistemic belief theories
zbMATH Open document ID: 0996.68194
DOI: 10.1016/S0004-3702(99)00043-0
author: Stefan Brass
author: J. Dix
author: Teodor C. Przymusinski
published in: Artificial Intelligence
publication date: 2002-07-24T00:00:00Z
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 03B42
zbMATH DE Number: 1770910
zbMATH Keywords: stochastic local search algorithms
zbMATH Keywords: propositional satisfiability problem
describes a project that uses: Walksat
MaRDI profile type: Publication
full work available at URL: s0004-3702(99)00043-0
OpenAlex ID: W2055299038
description: scientific article; zbMATH DE number 1770910