Exact knowledge compilation in predicate calculus: The partial achievement case (Q5234699): Difference between revisions

@@ Property / author @@
+Philippe Mathieu
@@ Property / author: Philippe Mathieu / 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/3-540-63104-6_17
+Normal rank
@@ Property / OpenAlex ID @@
+W1506139968
@@ Property / OpenAlex ID: W1506139968 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5679729
@@ Property / cites work: Q5679729 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4321736
@@ Property / cites work: Q4321736 / rank @@
+Normal rank
@@ Property / cites work @@
+Poincaré series for discrete Moebius groups acting on the upper half space
+Normal rank
@@ Property / cites work @@
+Q4139711
@@ Property / cites work: Q4139711 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4287508
@@ Property / cites work: Q4287508 / rank @@
+Normal rank
@@ Property / cites work @@
+A kind of logical compilation for knowledge bases
@@ Property / cites work: A kind of logical compilation for knowledge bases / rank @@
+Normal rank
@@ Property / cites work @@
+A new method for knowledge compilation: The achievement by cycle search
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Q4353623
@@ Property / cites work: Q4353623 / rank @@
+Normal rank
@@ Property / cites work @@
+Exact knowledge compilation in predicate calculus: The partial achievement case
+Normal rank
@@ Property / cites work @@
+Knowledge compilation and theory approximation
@@ Property / cites work: Knowledge compilation and theory approximation / rank @@
+Normal rank