Data Mining Meets Logic: Situation-Based Modal Logic and Metadata Veracity
Logic and theoretical computer science are deeply interconnected, with logic forming a foundational pillar in the emergence of computer science. This connection has grown stronger over time, driven by advancements in symbolic systems within artificial intelligence, formal verification methods, and a...
Đã lưu trong:
| Tác giả chính: | |
|---|---|
| Định dạng: | Artigo |
| Ngôn ngữ: | Inglês |
| Được phát hành: |
Accademia Piceno Aprutina dei Velati
2025-06-01
|
| Loạt: | Science & Philosophy |
| Những chủ đề: | |
| Truy cập trực tuyến: | http://eiris.it/ojs/index.php/scienceandphilosophy/article/view/1658 |
| Các nhãn: |
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|