DAL -- a logic for data analysis (Q1058847): Difference between revisions

In this paper we present some ideas how to analyse data using logic tools. We define a logic language for expressing data analysis problems and we develop a deductive system for the language to use proof procedures to obtain solutions to these problems.

0 references

Mathematics Subject Classification ID

68Q65

0 references

zbMATH DE Number

3902025

0 references

zbMATH Keywords

reasoning about data

0 references

author

Luis Fariñas del Cerro

0 references

Ewa S. Orłowska

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1016/0304-3975(85)90046-5

0 references

0 references

0 references

0 references

Syntactic methods in pattern recognition

0 references

First-order dynamic logic

0 references

Q3947646

0 references

Q4749250

0 references

Information systems theoretical foundations

0 references

Rough sets

0 references

Q3741404

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:1058847

@@ Property / author @@
+Luis Fariñas del Cerro
@@ Property / author: Luis Fariñas del Cerro / rank @@
+Normal rank
@@ Property / author @@
+Ewa S. Orłowska
@@ Property / author: Ewa S. Orłowska / 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/0304-3975(85)90046-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2060671215
@@ Property / OpenAlex ID: W2060671215 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4051417
@@ Property / cites work: Q4051417 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4748126
@@ Property / cites work: Q4748126 / rank @@
+Normal rank
@@ Property / cites work @@
+Syntactic methods in pattern recognition
@@ Property / cites work: Syntactic methods in pattern recognition / rank @@
+Normal rank
@@ Property / cites work @@
+First-order dynamic logic
@@ Property / cites work: First-order dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3947646
@@ Property / cites work: Q3947646 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4749250
@@ Property / cites work: Q4749250 / rank @@
+Normal rank
@@ Property / cites work @@
+Information systems theoretical foundations
@@ Property / cites work: Information systems theoretical foundations / rank @@
+Normal rank
@@ Property / cites work @@
+Rough sets
@@ Property / cites work: Rough sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3741404
@@ Property / cites work: Q3741404 / rank @@
+Normal rank