Search results for "Deontic Logics"

Found 14 publication records. Showing 14 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Pilar Dellunde, Lluis Godo	Introducing Grades in Deontic Logics.	DEON	2008	DBLP DOI BibTeX RDF	Fuzzy Logic, Norms, Institutions, Deontic Logic
1	Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi	Deontic Logics for Modeling Behavioural Variability.	VaMoS	2009	DBLP BibTeX RDF
1	Pablo F. Castro, T. S. E. Maibaum	Reasoning about System-Degradation and Fault-Recovery with Deontic Logic.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF	Fault-Tolerance, Formal Specification, Software Design, Deontic Logics
1	Stephen Fenech, Gordon J. Pace, Gerardo Schneider	CLAN: A Tool for Contract Analysis and Conflict Discovery.	ATVA	2009	DBLP DOI BibTeX RDF
1	Satoru Suzuki	Measurement-Theoretic Foundation of Preference-Based Dyadic Deontic Logic.	LORI	2009	DBLP DOI BibTeX RDF	conditional expected utility maximisation, preference, projective geometry, deontic logic, measurement theory, representation theorem
1	Jan Broersen, Julien Brunel	Preservation of obligations in a temporal and deontic framework.	AAMAS	2007	DBLP DOI BibTeX RDF	temporal logic, product, deontic logic
1	Pablo F. Castro, T. S. E. Maibaum	An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers.	SEFM	2007	DBLP DOI BibTeX RDF
1	Jan Broersen, Julien Brunel	'What I Fail to Do Today, I Have to Do Tomorrow': A Logical Study of the Propagation of Obligations.	CLIMA	2007	DBLP DOI BibTeX RDF
1	Lutz Schröder, Dirk Pattinson	Rank-1 Modal Logics Are Coalgebraic.	STACS	2007	DBLP DOI BibTeX RDF
1	Jörg Hansen	Deontic logics for prioritized imperatives.	Artif. Intell. Law	2006	DBLP DOI BibTeX RDF	logic of imperatives, priorities, deontic logic
1	Sven Ove Hansson	Semantics for more plausible deontic logics.	J. Applied Logic	2004	DBLP DOI BibTeX RDF
1	Jan Broersen	Action negation and alternative reductions for dynamic deontic logics.	J. Applied Logic	2004	DBLP DOI BibTeX RDF
1	Leendert W. N. van der Torre, Yao-Hua Tan	Prohairetic Deontic Logic (PDL).	JELIA	1998	DBLP DOI BibTeX RDF
1	Frédéric Cuppens, Robert Demolombe	A Modal Logical Framework for Security Policies.	ISMIS	1997	DBLP DOI BibTeX RDF

Displaying result #1 - #14 of 14 (100 per page; Change: )