Paper Citation Record · LEDGER

SAT-Based Bounded Fitting for the Description Logic ALC

As of 15 August 2026, this Paper Citation Record lists 50 of 50 outbound references and 0 inbound Pith citation observations for arXiv:2507.21752.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2507.21752 v1

Coverage vector

measured 50 of 50 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T12:41:31.965964Z

measured 50 of 50 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-15T06:32:42.880941+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

50 of 50 outbound references displayed

verified exact6
verified fuzzy11
unresolved24
parse uncertain0
malformed identifier3
metadata mismatch6

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 836a2d82-a1db-46f3-86dd-4754ba2a20b2 · outbound

This paper cites https://www.w3.org/TR/2012/REC-owl2- overview-20121211/, accessed: July 24, 2025.

SAT-Based Bounded Fitting for the Description Logic ALC https://www.w3.org/TR/2012/REC-owl2- overview-20121211/, accessed: July 24, 2025

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T12:41:33.421031Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation f1d92f69-2522-4277-b74a-a125d448ba2f · outbound

This paper cites Cam- bridge Tracts in Theoretical Computer Science, Cambridge University Press (1992).

SAT-Based Bounded Fitting for the Description Logic ALC Cam- bridge Tracts in Theoretical Computer Science, Cambridge University Press (1992)

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T12:41:33.407593Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 58fcbd7e-c1fc-4a1b-8493-b25fe3d95f3d · outbound

This paper cites Cambridge University Press (2017).

SAT-Based Bounded Fitting for the Description Logic ALC Cambridge University Press (2017)

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-06T12:41:31.764154Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ff32d27e-bfd5-42a0-baf3-7b04419c07f5 · outbound

This paper cites Journal of the ACM (JACM)36(4), 929–965 (1989).

SAT-Based Bounded Fitting for the Description Logic ALC Journal of the ACM (JACM)36(4), 929–965 (1989)

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-06T12:41:31.768944Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 517ce150-c59b-476e-b82a-6d2a42323598 · outbound

This paper cites In: Proceedings of 42nd International Symposium on Theoretical Aspects of Computer Science, STACS.

SAT-Based Bounded Fitting for the Description Logic ALC In: Proceedings of 42nd International Symposium on Theoretical Aspects of Computer Science, STACS

Reference 5

Resolution: malformed identifier; no resolver link, observed 2026-08-06T12:41:31.773483Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b4966a71-746b-4e58-b2a6-dac55438141e · outbound

This paper cites In: Companion Proceedings of the The Web Conference 2018.

SAT-Based Bounded Fitting for the Description Logic ALC In: Companion Proceedings of the The Web Conference 2018

Reference 6

Resolution: metadata mismatch; raw_fallback, observed 2026-08-06T12:41:33.068735Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 2b93adc5-8f0f-4f96-9a2a-bb3336f684b3 · outbound

This paper cites In: Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, ICAPS.

SAT-Based Bounded Fitting for the Description Logic ALC In: Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, ICAPS

Reference 7

Resolution: verified exact; doi, observed 2026-08-06T12:41:32.225569Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation e4a9c0e5-42e1-4752-b903-d53e609ca0a3 · outbound

This paper cites SIGMOD Rec.52(4), 6–18 (2023).

SAT-Based Bounded Fitting for the Description Logic ALC SIGMOD Rec.52(4), 6–18 (2023)

Reference 8

Resolution: metadata mismatch; raw_fallback, observed 2026-08-06T12:41:32.990153Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 0f7f5557-b417-44da-8b65-df724ce038ea · outbound

This paper cites In: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023.

SAT-Based Bounded Fitting for the Description Logic ALC In: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-06T12:41:31.791179Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6525006b-c0eb-4ee5-a424-a631df5b1e3c · outbound

This paper cites SAT-Based PAC Learning of Description Logic Concepts.

SAT-Based Bounded Fitting for the Description Logic ALC SAT-Based PAC Learning of Description Logic Concepts

Reference 10

Resolution: metadata mismatch; local_arxiv, observed 2026-08-06T12:41:32.200133Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 57cbf58e-9ee0-418d-a8f9-f5d310d03218 · outbound

This paper cites Information Processing Letters183, 106431 (2024).

SAT-Based Bounded Fitting for the Description Logic ALC Information Processing Letters183, 106431 (2024)

Reference 11

Resolution: metadata mismatch; raw_fallback, observed 2026-08-06T12:41:32.907682Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 386f9403-b60f-4e67-ba18-7dcdc922ea37 · outbound

This paper cites Machine Learning17(2-3), 169–199 (1994).

SAT-Based Bounded Fitting for the Description Logic ALC Machine Learning17(2-3), 169–199 (1994)

Reference 12

Resolution: malformed identifier; raw_fallback, observed 2026-08-06T12:41:33.393292Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 5cfbe4dc-9ff4-4713-ad7a-6d08f78e5106 · outbound

This paper cites an unresolved cited work.

SAT-Based Bounded Fitting for the Description Logic ALC Unresolved cited work

Reference 13

Resolution: verified exact; doi, observed 2026-08-06T12:41:32.179004Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation da347c02-d3b5-4c88-9189-ec3f04dccec2 · outbound

This paper cites In: Proceedings of the Thirtieth International Joint Confer- ence on Artificial Intelligence, IJCAI-21.

SAT-Based Bounded Fitting for the Description Logic ALC In: Proceedings of the Thirtieth International Joint Confer- ence on Artificial Intelligence, IJCAI-21

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T12:41:33.378875Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 32e4c827-04ff-4bc5-99b0-785ecbd999e3 · outbound

This paper cites an unresolved cited work.

SAT-Based Bounded Fitting for the Description Logic ALC Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-06T12:41:31.816530Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 873ffaf6-ef93-4c24-9032-2449bee93661 · outbound

This paper cites In: WWW ’22: The ACM Web Conference 2022.

SAT-Based Bounded Fitting for the Description Logic ALC In: WWW ’22: The ACM Web Conference 2022

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-06T12:41:31.821019Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 94778fd6-ebf0-4da4-a5fa-30e2a6b73e85 · outbound

This paper cites In: Doherty, P., Mylopoulos, J., Welty, C.A.

SAT-Based Bounded Fitting for the Description Logic ALC In: Doherty, P., Mylopoulos, J., Welty, C.A

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T12:41:33.364620Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 7ff2817e-0475-46ce-b292-c1e04e2aa375 · outbound

This paper cites Applied Intelligence26(2), 139–159 (2007).

SAT-Based Bounded Fitting for the Description Logic ALC Applied Intelligence26(2), 139–159 (2007)

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-06T12:41:31.829422Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c86214a6-46db-4aa8-98ab-8a730f8c97b4 · outbound

This paper cites In: Theory and Applications of Satisfiability Testing – SAT 2018.

SAT-Based Bounded Fitting for the Description Logic ALC In: Theory and Applications of Satisfiability Testing – SAT 2018

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-06T12:41:31.833543Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4dab8da5-ffe1-4e53-a864-b0c2b4b4bcb4 · outbound

This paper cites In: 27th International Conference on Theory and Applications of Satisfiability Testing.

SAT-Based Bounded Fitting for the Description Logic ALC In: 27th International Conference on Theory and Applications of Satisfiability Testing

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-06T12:41:31.837468Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 94b20745-0a10-4c51-bee2-2fa2fdf1645d · outbound

This paper cites Journal of the ACM (JACM)41(1), 67–95 (1994).

SAT-Based Bounded Fitting for the Description Logic ALC Journal of the ACM (JACM)41(1), 67–95 (1994)

Reference 21

Resolution: metadata mismatch; raw_fallback, observed 2026-08-06T12:41:32.748567Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 1e4414bd-6f6a-4166-866e-4137e82f2770 · outbound

This paper cites In: Machine Learning: ECML-93.

SAT-Based Bounded Fitting for the Description Logic ALC In: Machine Learning: ECML-93

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-06T12:41:31.845407Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d6534663-8006-4a26-ad50-02c2a3293924 · outbound

This paper cites In: The Semantic Web - 20th International Conference, ESWC 2023.

SAT-Based Bounded Fitting for the Description Logic ALC In: The Semantic Web - 20th International Conference, ESWC 2023

Reference 23

Resolution: verified exact; doi, observed 2026-08-06T12:41:32.116372Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 138b164a-fea1-4d94-92cc-7735e553f078 · outbound

This paper cites In: Machine Learning and Knowledge Discovery in Databases: Research Track - European Conference, ECML PKDD 2023.

SAT-Based Bounded Fitting for the Description Logic ALC In: Machine Learning and Knowledge Discovery in Databases: Research Track - European Conference, ECML PKDD 2023

Reference 24

Resolution: verified exact; doi, observed 2026-08-06T12:41:32.101787Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation ebe39d36-39f5-46e9-8863-9e363b166df0 · outbound

This paper cites an unresolved cited work.

SAT-Based Bounded Fitting for the Description Logic ALC Unresolved cited work

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-06T12:41:31.858198Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 23b9bba9-8080-41b7-a95e-09e541f122be · outbound

This paper cites In: Per- spectives on Ontology Learning, pp.

SAT-Based Bounded Fitting for the Description Logic ALC In: Per- spectives on Ontology Learning, pp

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T12:41:33.350798Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 95248e32-0edc-4842-9ea1-53736c86e58e · outbound

This paper cites Machine Learning78, 203–250 (2010).

SAT-Based Bounded Fitting for the Description Logic ALC Machine Learning78, 203–250 (2010)

Reference 27

Resolution: malformed identifier; raw_fallback, observed 2026-08-06T12:41:33.332099Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation d2b8c63f-f32f-4e0d-b17a-0f973cad00ac · outbound

This paper cites Information Systems83, 89–100 (2019).

SAT-Based Bounded Fitting for the Description Logic ALC Information Systems83, 89–100 (2019)

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-06T12:41:31.871026Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a7035703-4956-4557-8bd4-5d72580a708c · outbound

This paper cites Learning temporal formulas from examples is hard.

SAT-Based Bounded Fitting for the Description Logic ALC Learning temporal formulas from examples is hard

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-06T12:41:31.875128Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d86236b9-c214-468a-a11b-e605ea93c7b6 · outbound

This paper cites In: Proceedings of 18th Conference on Formal Methods in Computer Aided Design FMCAD.

SAT-Based Bounded Fitting for the Description Logic ALC In: Proceedings of 18th Conference on Formal Methods in Computer Aided Design FMCAD

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-06T12:41:31.879691Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7ad971ed-0344-4393-a0a5-788ec1d96a10 · outbound

This paper cites an unresolved cited work.

SAT-Based Bounded Fitting for the Description Logic ALC Unresolved cited work

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-06T12:41:31.883607Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7c309c63-8944-4a7d-b4d9-c1c18c5b7d29 · outbound

This paper cites In: Proceedings of 12th International Joint Conference on Automated Reasoning IJCAR.

SAT-Based Bounded Fitting for the Description Logic ALC In: Proceedings of 12th International Joint Conference on Automated Reasoning IJCAR

Reference 32

Resolution: verified exact; doi, observed 2026-08-06T12:41:32.050825Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 273eae38-da02-44c2-a2e2-7f766bb33716 · outbound

This paper cites In: Kazmierski, T.J., von Hanxleden, R., Mak, T.S.T.

SAT-Based Bounded Fitting for the Description Logic ALC In: Kazmierski, T.J., von Hanxleden, R., Mak, T.S.T

Reference 33

Resolution: metadata mismatch; raw_fallback, observed 2026-08-06T12:41:32.481190Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation a5f75914-9aad-4a7c-8ca2-f500f0543155 · outbound

This paper cites Future Gener.

SAT-Based Bounded Fitting for the Description Logic ALC Future Gener

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-06T12:41:31.895872Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7f6170b6-191f-45c7-a25a-da9110c6e268 · outbound

This paper cites In: Handbook of Satisfiability - Second Edition, Frontiers in Artificial Intelligence and Applications, vol.

SAT-Based Bounded Fitting for the Description Logic ALC In: Handbook of Satisfiability - Second Edition, Frontiers in Artificial Intelligence and Applications, vol

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-06T12:41:31.899875Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fc060347-2b42-4637-8284-5b2ce789b64d · outbound

This paper cites In: Proceedings of the 47th International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR 2024.

SAT-Based Bounded Fitting for the Description Logic ALC In: Proceedings of the 47th International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR 2024

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-06T12:41:31.904045Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ecdcf18a-fb76-4961-9bf0-1085a487e690 · outbound

This paper cites Journal of Machine Learning Research18, 64:1–64:34 (2017), https://jmlr.org/papers/v18/14-317.html.

SAT-Based Bounded Fitting for the Description Logic ALC Journal of Machine Learning Research18, 64:1–64:34 (2017), https://jmlr.org/papers/v18/14-317.html

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T12:41:33.308111Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation e5a63d9b-cd7b-4c89-9a4c-c9278b71a894 · outbound

This paper cites Communications of the ACM27(11), 1134–1142 (1984).

SAT-Based Bounded Fitting for the Description Logic ALC Communications of the ACM27(11), 1134–1142 (1984)

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-06T12:41:31.912485Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 45b86c11-5f52-489e-bbfb-d646c8db4dd4 · outbound

This paper cites Semantic Web10(2), 231–245 (2019).

SAT-Based Bounded Fitting for the Description Logic ALC Semantic Web10(2), 231–245 (2019)

Reference 39

Resolution: verified exact; doi, observed 2026-08-06T12:41:32.003824Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation d87c3c33-6388-43ba-affb-57da9e52b7c2 · outbound

This paper cites In: American Federation of Information Processing Societies: 1975 National Computer Conference, 19-22 May 1975, Anaheim, CA, USA.

SAT-Based Bounded Fitting for the Description Logic ALC In: American Federation of Information Processing Societies: 1975 National Computer Conference, 19-22 May 1975, Anaheim, CA, USA

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-06T12:41:31.921401Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 367f2ce4-d776-465b-9029-989d5b92129f · outbound

This paper cites an unresolved cited work.

SAT-Based Bounded Fitting for the Description Logic ALC Unresolved cited work

Reference 41

Resolution: unresolved; raw_fallback, observed 2026-08-06T12:41:33.289692Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 2b85eb42-e77e-4fd7-9eb6-116e719a9861 · outbound

This paper cites an unresolved cited work.

SAT-Based Bounded Fitting for the Description Logic ALC Unresolved cited work

Reference 42

Resolution: unresolved; raw_fallback, observed 2026-08-06T12:41:33.274830Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 9dd885e4-d7df-4d38-b86d-b253eeb36cfe · outbound

This paper cites an unresolved cited work.

SAT-Based Bounded Fitting for the Description Logic ALC Unresolved cited work

Reference 43

Resolution: unresolved; raw_fallback, observed 2026-08-06T12:41:33.259714Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 5371771d-86c4-4a9e-82d2-0fc5da78a561 · outbound

This paper cites an unresolved cited work.

SAT-Based Bounded Fitting for the Description Logic ALC Unresolved cited work

Reference 44

Resolution: unresolved; raw_fallback, observed 2026-08-06T12:41:33.245273Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 2f62779a-1b50-4977-9044-b60c6f2694a6 · outbound

This paper cites only if"-direction; the.

SAT-Based Bounded Fitting for the Description Logic ALC only if"-direction; the

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T12:41:33.229808Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 4bcb8f3a-fc20-4cf2-b236-ac072682e721 · outbound

This paper cites , an, a′ n} contains a single element and this element satisfies Di.

SAT-Based Bounded Fitting for the Description Logic ALC , an, a′ n} contains a single element and this element satisfies Di

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T12:41:33.213030Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 648d6c90-655d-4583-899a-4fb3a24d07b1 · outbound

This paper cites In the inductive base, we setw1 = r and D1 = D.

SAT-Based Bounded Fitting for the Description Logic ALC In the inductive base, we setw1 = r and D1 = D

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T12:41:33.197787Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation c48d83da-440e-453d-9376-90bb5915e9d8 · outbound

This paper cites Proof of the claim.To show, (i)⇒(ii), let α be a satisfying assignment ofφ.

SAT-Based Bounded Fitting for the Description Logic ALC Proof of the claim.To show, (i)⇒(ii), let α be a satisfying assignment ofφ

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T12:41:33.182589Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 9a3054d3-15b8-4a9c-b689-f03eb388edbf · outbound

This paper cites an unresolved cited work.

SAT-Based Bounded Fitting for the Description Logic ALC Unresolved cited work

Reference 49

Resolution: unresolved; raw_fallback, observed 2026-08-06T12:41:33.167232Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 69a0fb3b-b0e0-48dd-a007-9a0d7d48e61c · outbound

This paper cites switch off.

SAT-Based Bounded Fitting for the Description Logic ALC switch off

Reference 50

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T12:41:33.151122Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Pith citing papers

No inbound Pith citation observations are available.