Mapping deontic operators to abductive expectations (Q2509082): Difference between revisions

@@ Property / author @@
+Marco Gavanelli
@@ Property / author: Marco Gavanelli / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SCIFF
@@ Property / describes a project that uses: SCIFF / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ISLANDER
@@ Property / describes a project that uses: ISLANDER / 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.1007/s10588-006-9544-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2049681507
@@ Property / OpenAlex ID: W2049681507 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57977968
@@ Property / Wikidata QID: Q57977968 / rank @@
+Normal rank
@@ Property / cites work @@
+AI*IA 2003: Advances in Artificial Intelligence
@@ Property / cites work: AI*IA 2003: Advances in Artificial Intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+Q4813443
@@ Property / cites work: Q4813443 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2844044
@@ Property / cites work: Q2844044 / rank @@
+Normal rank
@@ Property / cites work @@
+Global Computing
@@ Property / cites work: Global Computing / rank @@
+Normal rank
@@ Property / cites work @@
+AI*IA 2005: Advances in Artificial Intelligence
@@ Property / cites work: AI*IA 2005: Advances in Artificial Intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programming and negation: A survey
@@ Property / cites work: Logic programming and negation: A survey / rank @@
+Normal rank
@@ Property / cites work @@
+Global Computing
@@ Property / cites work: Global Computing / rank @@
+Normal rank
@@ Property / cites work @@
+Deontic Logic in Computer Science
@@ Property / cites work: Deontic Logic in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Q2728953
@@ Property / cites work: Q2728953 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4473424
@@ Property / cites work: Q4473424 / rank @@
+Normal rank
@@ Property / cites work @@
+Heterogeneous active agents, I: Semantics
@@ Property / cites work: Heterogeneous active agents, I: Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+The IFF proof procedure for abductive logic programming
+Normal rank
@@ Property / cites work @@
+Abductive Logic Programming
@@ Property / cites work: Abductive Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Negation in logic programming
@@ Property / cites work: Negation in logic programming / 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 @@
+Q4708110
@@ Property / cites work: Q4708110 / rank @@
+Normal rank
@@ Property / cites work @@
+Contrary-to-duty obligations
@@ Property / cites work: Contrary-to-duty obligations / rank @@
+Normal rank
@@ Property / cites work @@
+Contextual deontic logic: Normative agents, violations and independence
+Normal rank