Relative expressiveness of defeasible logics (Q4911149): Difference between revisions

@@ Property / cites work @@
+A logic for default reasoning
@@ Property / cites work: A logic for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4296748
@@ Property / cites work: Q4296748 / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressive power of programming languages
@@ Property / cites work: On the expressive power of programming languages / rank @@
+Normal rank
@@ Property / cites work @@
+The next 700 programming languages
@@ Property / cites work: The next 700 programming languages / rank @@
+Normal rank
@@ Property / cites work @@
+Embedding as a tool for language comparison
@@ Property / cites work: Embedding as a tool for language comparison / rank @@
+Normal rank
@@ Property / cites work @@
+What Are the Necessity Rules in Defeasible Reasoning?
+Normal rank
@@ Property / cites work @@
+Some (in)translatability results for normal logic programs and propositional theories
+Normal rank
@@ Property / cites work @@
+Computational complexity and constraint logic programming languages
+Normal rank
@@ Property / cites work @@
+An inclusion theorem for defeasible logics
@@ Property / cites work: An inclusion theorem for defeasible logics / rank @@
+Normal rank
@@ Property / cites work @@
+Representation results for defeasible logic
@@ Property / cites work: Representation results for defeasible logic / rank @@
+Normal rank