Order-sorted logic programming with predicate hierarchy (Q814621): Difference between revisions

@@ Property / DOI @@
-.1016/j.artint.2004.05.001
@@ Property / DOI: 10.1016/j.artint.2004.05.001 / 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.artint.2004.05.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2027826324
@@ Property / OpenAlex ID: W2027826324 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4864249
@@ Property / cites work: Q4864249 / rank @@
+Normal rank
@@ Property / cites work @@
+Login: a logic programming language with built-in inheritance
+Normal rank
@@ Property / cites work @@
+Towards a meaning of life
@@ Property / cites work: Towards a meaning of life / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive predicate logic with strong negation and model theory
+Normal rank
@@ Property / cites work @@
+Towards a general theory of action and time
@@ Property / cites work: Towards a general theory of action and time / rank @@
+Normal rank
@@ Property / cites work @@
+An order-sorted logic for knowledge representation systems
+Normal rank
@@ Property / cites work @@
+The Logic of Typed Feature Structures
@@ Property / cites work: The Logic of Typed Feature Structures / rank @@
+Normal rank
@@ Property / cites work @@
+A more expressive formulation of many sorted logic
+Normal rank
@@ Property / cites work @@
+Q4318616
@@ Property / cites work: Q4318616 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4052071
@@ Property / cites work: Q4052071 / rank @@
+Normal rank
@@ Property / cites work @@
+The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning
+Normal rank
@@ Property / cites work @@
+Q3743300
@@ Property / cites work: Q3743300 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736520
@@ Property / cites work: Q4736520 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical foundations of object-oriented and frame-based languages
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+An Efficient Unification Algorithm
@@ Property / cites work: An Efficient Unification Algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Investigations in many-sorted quantor logic
@@ Property / cites work: Investigations in many-sorted quantor logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4013970
@@ Property / cites work: Q4013970 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational aspects of an order-sorted logic with term declarations
+Normal rank
@@ Property / cites work @@
+Feature-constraint logics for unification grammars
+Normal rank
@@ Property / cites work @@
+Q4331757
@@ Property / cites work: Q4331757 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992826
@@ Property / cites work: Q3992826 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4400807
@@ Property / cites work: Q4400807 / rank @@
+Normal rank
@@ Property / cites work @@
+A mechanical solution of Schubert's steamroller by many-sorted resolution
+Normal rank
@@ Property / cites work @@
+Q3992821
@@ Property / cites work: Q3992821 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic of many-sorted theories
@@ Property / cites work: Logic of many-sorted theories / rank @@
+Normal rank
@@ Property / cites work @@
+An order-sorted resolution in theory and practice
@@ Property / cites work: An order-sorted resolution in theory and practice / rank @@
+Normal rank
@@ Property / cites work @@
+Q5688939
@@ Property / cites work: Q5688939 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ARTINT.2004.05.001
@@ Property / DOI: 10.1016/J.ARTINT.2004.05.001 / rank @@
+Normal rank