Inconsistency Management for Traffic Regulations: Formalization and Complexity Results (Q2915061): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-33353-8_7
+Normal rank
@@ Property / OpenAlex ID @@
+W1525535476
@@ Property / OpenAlex ID: W1525535476 / rank @@
+Normal rank
@@ Property / cites work @@
+Representation results for defeasible logic
@@ Property / cites work: Representation results for defeasible logic / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity results for answer set programming with bounded predicate arities and implications
+Normal rank
@@ Property / cites work @@
+Abduction from logic programs: Semantics and complexity
+Normal rank
@@ Property / cites work @@
+Q3011296
@@ Property / cites work: Q3011296 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+The DLV system for knowledge representation and reasoning
+Normal rank
@@ Property / cites work @@
+Propositional defeasible logic has linear complexity
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5750451
@@ Property / cites work: Q5750451 / rank @@
+Normal rank
@@ Property / cites work @@
+Representing diagnosis knowledge
@@ Property / cites work: Representing diagnosis knowledge / rank @@
+Normal rank