Deriving non-zeno behaviour models from goal models using ILP (Q973050): Difference between revisions

@@ Property / DOI @@
-.1007/s00165-009-0128-5
@@ Property / DOI: 10.1007/s00165-009-0128-5 / rank @@
-Normal rank
@@ Property / author @@
-Dalal Alrajeh
@@ Property / author: Dalal Alrajeh / rank @@
-Normal rank
@@ Property / author @@
-Alessandra Russo
@@ Property / author: Alessandra Russo / rank @@
-Normal rank
@@ Property / author @@
-Sebastian Uchitel
@@ Property / author: Sebastian Uchitel / rank @@
-Normal rank
@@ Property / author @@
+Dalal Alrajeh
@@ Property / author: Dalal Alrajeh / rank @@
+Normal rank
@@ Property / author @@
+Alessandra Russo
@@ Property / author: Alessandra Russo / rank @@
+Normal rank
@@ Property / author @@
+Sebastian Uchitel
@@ Property / author: Sebastian Uchitel / 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/s00165-009-0128-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2083654756
@@ Property / OpenAlex ID: W2083654756 / rank @@
+Normal rank
@@ Property / cites work @@
+Deriving non-zeno behaviour models from goal models using ILP
+Normal rank
@@ Property / cites work @@
+Goal-directed requirements acquisition
@@ Property / cites work: Goal-directed requirements acquisition / rank @@
+Normal rank
@@ Property / cites work @@
+A software architecture for distributed computer control systems
+Normal rank
@@ Property / cites work @@
+Q4240122
@@ Property / cites work: Q4240122 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002642
@@ Property / cites work: Q4002642 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4707774
@@ Property / cites work: Q4707774 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic abductive inductive learning
@@ Property / cites work: Nonmonotonic abductive inductive learning / rank @@
+Normal rank
@@ Property / cites work @@
+A Hybrid Abductive Inductive Proof Procedure
@@ Property / cites work: A Hybrid Abductive Inductive Proof Procedure / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S00165-009-0128-5
@@ Property / DOI: 10.1007/S00165-009-0128-5 / rank @@
+Normal rank