Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.
confreflabs
Menu

Record Beta

Non-Monotonic Reasoning (NMR)

https://id.confref.org/data/confref-portal/event/nmr1988

This record is part of the confref event Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG, June 13-15, 1988, Proceedings.

rdf:typeportal:Conference
schema:locationGrassau (wd:Q179698)
rdfs:labelNon-Monotonic Reasoning (NMR)
portal:acronymNMR
portal:areahttps://id.confref.org/data/confref-portal/area/2
portal:cityGrassau
portal:countryGermany
portal:endDate1988-06-15
portal:keywordActive Processor
portal:keywordAtomic Formula
portal:keywordBelief revision
portal:keywordComputer Science Department
portal:keywordConsistent Extension
portal:keywordDeductive Database
portal:keywordDefault Rule
portal:keywordDefault Theory
portal:keywordDefault logic
portal:keywordDefault reasoning
portal:keywordDefense Advance Research Project Agency
portal:keywordDouble Negation
portal:keywordEntailment Relation
portal:keywordExclusive Choice
portal:keywordFrame Problem
portal:keywordLogic programming
portal:keywordNonmonotonic Reasoning
portal:keywordPartial Order
portal:keywordProblem Solver
portal:keywordconjunctive query
portal:nameNon-Monotonic Reasoning (NMR)
portal:portalPagehttp://portal.confref.org/list/nmr1988
portal:serieshttps://id.confref.org/data/confref-portal/series/nmr
portal:startDate1988-06-13
portal:submissionExtendedfalse
portal:year1988
cr:disciplinecomputer science (wd:Q21198)
cr:fieldComputer and information sciences (https://id.confref.org/data/oecd-fos/1.2)
cr:sameAshttps://dblp.org/db/conf/nmr/nmr88

Data: Turtle · JSON-LD · N-Triples · RDF/XML

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.