A formalisation of violation, error recovery, and enforcement in the bit transmission problem (Q598545): Difference between revisions

@@ Property / describes a project that uses @@
+NuSMV
@@ Property / describes a project that uses: NuSMV / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jal.2004.01.005
+Normal rank
@@ Property / OpenAlex ID @@
+W1984691540
@@ Property / OpenAlex ID: W1984691540 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4818818
@@ Property / cites work: Q4818818 / rank @@
+Normal rank
@@ Property / cites work @@
+Deontic database constraints, violation and recovery
+Normal rank
@@ Property / cites work @@
+Top-down development of layered fault tolerant systems and its problems -- a deontic perspective
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge-based programs
@@ Property / cites work: Knowledge-based programs / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal Reasoning over Deontic Specifications
@@ Property / cites work: Temporal Reasoning over Deontic Specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281254
@@ Property / cites work: Q4281254 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3376919
@@ Property / cites work: Q3376919 / rank @@
+Normal rank
@@ Property / cites work @@
+A little knowledge goes a long way
@@ Property / cites work: A little knowledge goes a long way / rank @@
+Normal rank
@@ Property / cites work @@
+Q4295371
@@ Property / cites work: Q4295371 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal logic in specification. Altrincham, UK, April 8-10, 1987. Proceedings
+Normal rank
@@ Property / cites work @@
+Deontic interpreted systems
@@ Property / cites work: Deontic interpreted systems / rank @@
+Normal rank
@@ Property / cites work @@
+A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
+Normal rank
@@ Property / cites work @@
+The dynamic logic of permission
@@ Property / cites work: The dynamic logic of permission / rank @@
+Normal rank
@@ Property / cites work @@
+Q4858037
@@ Property / cites work: Q4858037 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2756785
@@ Property / cites work: Q2756785 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:598545