Agent strands in the action language $n\mathcal C +$ (Q931775): Difference between revisions

@@ Property / describes a project that uses @@
+CCalc
@@ Property / describes a project that uses: CCalc / 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.2007.06.007
+Normal rank
@@ Property / OpenAlex ID @@
+W1992519887
@@ Property / OpenAlex ID: W1992519887 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic causal theories
@@ Property / cites work: Nonmonotonic causal theories / rank @@
+Normal rank
@@ Property / cites work @@
+Representing the Zoo World and the Traffic World in the language of the Causal Calculator
+Normal rank
@@ Property / cites work @@
+Q4413371
@@ Property / cites work: Q4413371 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5701517
@@ Property / cites work: Q5701517 / rank @@
+Normal rank
@@ Property / cites work @@
+The Deontic Component of Action Language $n{\mathcal{C}}+$
+Normal rank
@@ Property / cites work @@
+Deontic interpreted systems
@@ Property / cites work: Deontic interpreted systems / rank @@
+Normal rank
@@ Property / cites work @@
+A formalisation of violation, error recovery, and enforcement in the bit transmission problem
+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 @@
+Temporal Reasoning over Deontic Specifications
@@ Property / cites work: Temporal Reasoning over Deontic Specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Deontic database constraints, violation and recovery
+Normal rank
@@ Property / cites work @@
+The dynamic logic of permission
@@ Property / cites work: The dynamic logic of permission / rank @@
+Normal rank

Agent strands in the action language \(n\mathcal C +\) (Q931775): Difference between revisions

Latest revision as of 12:46, 28 June 2024

Statements

Sitelinks

Mathematics(1 entry)