Entrenchment-based Horn contraction
type: Item
instance of: scholarly article
zbMATH Open document ID: 1364.03027
author: Zhiqiang Zhuang
author: Maurice Pagnucco
publication date: 2014-10-10T00:00:00Z
Mathematics Subject Classification ID: 03B42
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 6353593
MaRDI profile type: Publication
full work available at URL: jair.4430
OpenAlex ID: W2144697623
Wikidata QID: Q129493226
DOI: 10.1613/JAIR.4430
title: Entrenchment-based Horn contraction
published in: The Journal of Artificial Intelligence Research (JAIR)
description: scientific article; zbMATH DE number 6353593