BACK to consistency and incompleteness

von Luck, Kai; Nebel, Bernhard; Peltason, C.; Schmiedel, A.

doi:10.1007/978-3-642-71145-9_21

DC Element	Wert	Sprache
dc.contributor.author	von Luck, Kai	-
dc.contributor.author	Nebel, Bernhard	-
dc.contributor.author	Peltason, C.	-
dc.contributor.author	Schmiedel, A.	-
dc.date.accessioned	2026-02-17T16:27:33Z	-
dc.date.available	2026-02-17T16:27:33Z	-
dc.date.issued	1986	-
dc.identifier.isbn	978-3-642-71145-9	en_US
dc.identifier.isbn	978-3-540-16451-7	en_US
dc.identifier.issn	0343-3005	en_US
dc.identifier.uri	https://hdl.handle.net/20.500.12738/18970	-
dc.language.iso	de	en_US
dc.publisher	Springer	en_US
dc.subject	Epistemology	en_US
dc.subject	Formal Logic	en_US
dc.subject	Ontology	en_US
dc.subject	Knowledge Management	en_US
dc.subject	Knowledge Based Systems	en_US
dc.subject	Philosophy of Artificial Intelligence	en_US
dc.subject.ddc	004: Informatik	en_US
dc.title	BACK to consistency and incompleteness	en
dc.type	inProceedings	en_US
dc.relation.conference	German Workshop on Artificial Intelligence 1985	en_US
dc.description.version	PeerReviewed	en_US
local.contributorPerson.editor	Stoyan, Herbert	-
tuhh.container.endpage	256	en_US
tuhh.container.startpage	245	en_US
tuhh.oai.show	true	en_US
tuhh.publication.institute	Technische Universität Berlin	en_US
tuhh.publisher.doi	10.1007/978-3-642-71145-9_21	-
tuhh.relation.ispartofseries	Informatik-Fachberichte	en_US
tuhh.relation.ispartofseriesnumber	118	en_US
tuhh.type.opus	InProceedings (Aufsatz / Paper einer Konferenz etc.)	-
dc.type.casrai	Conference Paper	-
dc.type.dini	contributionToPeriodical	-
dc.type.driver	contributionToPeriodical	-
dc.type.status	info:eu-repo/semantics/publishedVersion	en_US
dcterms.DCMIType	Text	-
tuhh.book.title	Gwai-85 : 9th German Workshop on Artificial Intelligence Dassel/Solling, September 23-27 1985	-
item.creatorGND	von Luck, Kai	-
item.creatorGND	Nebel, Bernhard	-
item.creatorGND	Peltason, C.	-
item.creatorGND	Schmiedel, A.	-
item.creatorOrcid	von Luck, Kai	-
item.creatorOrcid	Nebel, Bernhard	-
item.creatorOrcid	Peltason, C.	-
item.creatorOrcid	Schmiedel, A.	-
item.tuhhseriesid	Informatik-Fachberichte	-
item.grantfulltext	none	-
item.languageiso639-1	de	-
item.openairecristype	http://purl.org/coar/resource_type/c_5794	-
item.seriesref	Informatik-Fachberichte;118	-
item.openairetype	inProceedings	-
item.fulltext	No Fulltext	-
item.cerifentitytype	Publications	-
crisitem.author.dept	Department Informatik (ehemalig, aufgelöst 10.2025)	-
crisitem.author.parentorg	Fakultät Technik und Informatik (ehemalig, aufgelöst 10.2025)	-
Enthalten in den Sammlungen:	Publications without full text