An order-sorted logic for knowledge representation systems (Q1193487): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/0004-3702(92)90055-3
+Normal rank
@@ Property / OpenAlex ID @@
+W1964693872
@@ Property / OpenAlex ID: W1964693872 / rank @@
+Normal rank
@@ Property / cites work @@
+Login: a logic programming language with built-in inheritance
+Normal rank
@@ Property / cites work @@
+Q4013975
@@ Property / cites work: Q4013975 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3200598
@@ Property / cites work: Q3200598 / rank @@
+Normal rank
@@ Property / cites work @@
+An order-sorted logic for knowledge representation systems
+Normal rank
@@ Property / cites work @@
+Q4012176
@@ Property / cites work: Q4012176 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5679729
@@ Property / cites work: Q5679729 / rank @@
+Normal rank
@@ Property / cites work @@
+A more expressive formulation of many sorted logic
+Normal rank
@@ Property / cites work @@
+Q3221381
@@ Property / cites work: Q3221381 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3495342
@@ Property / cites work: Q3495342 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5528633
@@ Property / cites work: Q5528633 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3962973
@@ Property / cites work: Q3962973 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4430286
@@ Property / cites work: Q4430286 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of restricted quantification I
@@ Property / cites work: A theory of restricted quantification I / rank @@
+Normal rank
@@ Property / cites work @@
+Q4013974
@@ Property / cites work: Q4013974 / rank @@
+Normal rank
@@ Property / cites work @@
+Calculi of constructive logic with subordinate variables
+Normal rank
@@ Property / cites work @@
+Q4139711
@@ Property / cites work: Q4139711 / rank @@
+Normal rank
@@ Property / cites work @@
+An Efficient Unification Algorithm
@@ Property / cites work: An Efficient Unification Algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning and revision in hybrid representation systems
+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 @@
+Q5624683
@@ Property / cites work: Q5624683 / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Die Zulässigkeit der Behandlung mehrsortiger Theorien mittels der üblichen einsortigen Prädikatenlogik
+Normal rank
@@ Property / cites work @@
+Computational aspects of an order-sorted logic with term declarations
+Normal rank
@@ Property / cites work @@
+Unification theory
@@ Property / cites work: Unification theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3490936
@@ Property / cites work: Q3490936 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated deduction by theory resolution
@@ Property / cites work: Automated deduction by theory resolution / 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