Bijective faithful translations among default logics
type: Item
instance of: scholarly article
title: Bijective faithful translations among default logics
zbMATH Open document ID: 1303.68130
author: Paolo Liberatore
publication date: 2015-01-12T00:00:00Z
full work available at URL: https://arxiv.org/abs/0707.3781
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 68T30
zbMATH DE Number: 6385563
zbMATH Keywords: default logic
zbMATH Keywords: non-monotonic reasoning
zbMATH Keywords: computational complexity
zbMATH Keywords: knowledge representation
zbMATH Keywords: propositional logic
Wikidata QID: Q114091812
MaRDI profile type: Publication
OpenAlex ID: W2594448532
arXiv ID: 0707.3781
DOI: 10.1093/LOGCOM/EXT073
published in: Journal Of Logic And Computation
description: scientific article