Record Beta

Deontic Logic in Computer Science

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

rdf:type	portal:Conference
schema:location	Ghent (wd:Q1296)
rdfs:label	Deontic Logic in Computer Science
portal:acronym	DEON
portal:area	https://id.confref.org/data/confref-portal/area/2
portal:city	Ghent
portal:country	Belgium
portal:endDate	2014-07-15
portal:keyword	Conflicts
portal:keyword	Context-sensitivity
portal:keyword	Deontic logics
portal:keyword	Excuses
portal:keyword	Iatridou
portal:keyword	Justifications
portal:keyword	Kratzer
portal:keyword	action guidance
portal:keyword	algebra of actions
portal:keyword	constitutive norms
portal:keyword	contrastivism
portal:keyword	degrees of ought
portal:keyword	deontic action logic
portal:keyword	deontic logic
portal:keyword	deontic modals
portal:keyword	deontic paradoxes
portal:keyword	derived obligations
portal:keyword	general and specific norms
portal:keyword	input/output logic
portal:keyword	moral rules
portal:name	Deontic Logic in Computer Science
portal:portalPage	http://portal.confref.org/list/deon2014
portal:series	https://id.confref.org/data/confref-portal/series/deon
portal:startDate	2014-07-12
portal:submissionExtended	false
portal:year	2014
cr:discipline	computer science (wd:Q21198)
cr:field	Computer and information sciences (https://id.confref.org/data/oecd-fos/1.2)
cr:sameAs	https://dblp.org/db/conf/deon/deon2014

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