tag :: topic_knowledge xack yaff

bookmarks (hide)
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

No matching posts.

⟨⟨
⟨
⟩
⟩⟩

publications (hide)4
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...

1The Precise Complexity of Reasoning in ALC with ω-Admissible Concrete Domains
F. De Bortoli, S. Borgwardt, and P. Koopmann. Proceedings of the 37th International Workshop on Description Logics (DL 2024), 3739, CEUR-WS.org, (June 2024)
4 months ago by @scadsfct
show all tags
FIS_scads
imported
topic_knowledge
xack
yaff
FIS_scadsimportedtopic_knowledgexackyaff
(0)
copydeleteadd this publication to your clipboard
1The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains
F. Baader, and F. De Bortoli. Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, page 754--761. United States of America, Association for Computing Machinery (ACM), New York, (2024)Publisher Copyright: © 2024 Copyright held by the owner/author(s)..
4 months ago by @scadsfct
show all tags
FIS_scads
imported
topic_knowledge
xack
yaff
FIS_scadsimportedtopic_knowledgexackyaff
(0)
copydeleteadd this publication to your clipboard
1Logics with Concrete Domains: First-Order Properties, Abstract Expressive Power, and (Un)Decidability
F. Baader, and F. De Bortoli. ACM SIGAPP Applied Computing Review, 24 (3): 5–17 (Oct 1, 2024)
4 months ago by @scadsfct
show all tags
FIS_scads
topic_knowledge
xack
yaff
FIS_scadstopic_knowledgexackyaff
(0)
copydeleteadd this publication to your clipboard
1Error-Tolerant Reasoning in ℰℒ w.r.t. Optimal ABox Repairs (Extended Abstract)
F. Baader, F. Kriegel, and A. Nuradiansyah. Proceedings of the 36th International Workshop on Description Logics (DL 2023), Rhodes, Greece, September 2-4, 2023, CEUR-WS.org, (Sep 2, 2023)
4 months ago by @scadsfct
show all tags
FIS_scads
imported
topic_knowledge
xack
yaff
FIS_scadsimportedtopic_knowledgexackyaff
(0)
copydeleteadd this publication to your clipboard

⟨⟨
⟨
1
⟩
⟩⟩

PUMA

bookmarks (hide)
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

publications (hide)4
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...

1The Precise Complexity of Reasoning in ALC with ω-Admissible Concrete Domains

1The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains

1Logics with Concrete Domains: First-Order Properties, Abstract Expressive Power, and (Un)Decidability

1Error-Tolerant Reasoning in ℰℒ w.r.t. Optimal ABox Repairs (Extended Abstract)

browse

related tags

PUMA

bookmarks (hide) displayallbookmarks onlybookmarks per page5102050100 sort byadded attitle RSSBibTeXXML

publications (hide)4 displayallpublications onlypublications per page5102050100 sort byadded attitleauthorpublication dateentry typehelp for advanced sorting... RSSBibTeXRDFmore...

1The Precise Complexity of Reasoning in ALC with ω-Admissible Concrete Domains

1The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains

1Logics with Concrete Domains: First-Order Properties, Abstract Expressive Power, and (Un)Decidability

1Error-Tolerant Reasoning in ℰℒ w.r.t. Optimal ABox Repairs (Extended Abstract)

browse

related tags

bookmarks (hide)
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

publications (hide)4
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...