scadsfct > FIS_scads topic_knowledge

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)14
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...

1Wikidata: The Making Of
D. Vrandecić, L. Pintscher, and M. Krötzsch. Companion Proceedings of the ACM Web Conference 2023 (WWW'23), page 615–624. United States of America, Association for Computing Machinery (ACM), New York, (Apr 30, 2023)Publisher Copyright: © 2023 Owner/Author..
a month ago by @scadsfct
show all tags
FIS_scads
Wikidata,
topic_knowledge
MediaWiki,
knowledge
Wikibase,
graph
FIS_scadsWikidata,topic_knowledgeMediaWiki,knowledgeWikibase,graph
copydeleteadd this publication to your clipboard
1Tuple-Generating Dependencies Capture Complex Values
M. Marx, and M. Krötzsch. Proceedings of the 25th International Conference on Database Theory (ICDT 2022), volume 220 of 25th International Conference on Database Theory (ICDT 2022) ; Vol. 220, page 13:1–13:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (Mar 1, 2022)Publisher Copyright: © Maximilian Marx and Markus Krötzsch;.
a month ago by @scadsfct
show all tags
FIS_scads
standard
topic_knowledge
topic_graph
Datalog,
terminating
complexity,
chase
existential
rules,
FIS_scadsstandardtopic_knowledgetopic_graphDatalog,terminatingcomplexity,chaseexistentialrules,
copydeleteadd this publication to your clipboard
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)
a month ago by @scadsfct
show all tags
FIS_scads
imported
topic_knowledge
FIS_scadsimportedtopic_knowledge
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)..
a month ago by @scadsfct
show all tags
FIS_scads
imported
topic_knowledge
FIS_scadsimportedtopic_knowledge
copydeleteadd this publication to your clipboard
1Optimal Repairs in Ontology Engineering as Pseudo-Contractions in Belief Change
F. Baader. Proceedings of the ACM Symposium on Applied Computing, page 983--990. Association for Computing Machinery, (Mar 27, 2023)Publisher Copyright: © 2023 ACM..
a month ago by @scadsfct
show all tags
FIS_scads
repair
change,
topic_knowledge
logic,
belief
description
ontology
FIS_scadsrepairchange,topic_knowledgelogic,beliefdescriptionontology
copydeleteadd this publication to your clipboard
1On the Abstract Expressive Power of Description Logics with Concrete Domains (Extended Version)
F. De Bortoli, and F. Baader. WorkingPaper, Technische Universität Dresden, (2023)
a month ago by @scadsfct
show all tags
FIS_scads
imported
topic_knowledge
FIS_scadsimportedtopic_knowledge
copydeleteadd this publication to your clipboard
1On the Abstract Expressive Power of Description Logics with Concrete Domains
F. De Bortoli, and F. Baader. Proceedings of the 36th International Workshop on Description Logics, volume 3515 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)
a month ago by @scadsfct
show all tags
FIS_scads
imported
topic_knowledge
FIS_scadsimportedtopic_knowledge
copydeleteadd this publication to your clipboard
1NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces
R. Dachselt, {. Gaggl, M. Krötzsch, J. Méndez, D. Rusovac, and M. Yang. Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022), volume 220146 of FAIA, page 116–127. Netherlands, IOS Press, Amsterdam u. a., (Sep 1, 2022)Publisher Copyright: © 2022 The authors and IOS Press. All rights reserved..
a month ago by @scadsfct
show all tags
FIS_scads
topic_knowledge
visualization
exploration,
solution
argumentation,
abstract
space
FIS_scadstopic_knowledgevisualizationexploration,solutionargumentation,abstractspace
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)
a month ago by @scadsfct
show all tags
FIS_scads
concrete
logics,
power,
topic_knowledge
model
expressive
domains,
description
theory
FIS_scadsconcretelogics,power,topic_knowledgemodelexpressivedomains,descriptiontheory
copydeleteadd this publication to your clipboard
1Evonne: Interactive Proof Visualization for Description Logics (System Description)
C. Alrabbaa, F. Baader, S. Borgwardt, R. Dachselt, P. Koopmann, and J. Méndez. Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Proceedings, page 271--280. Germany, Springer, Berlin u. a., (2022)Publisher Copyright: © 2022, The Author(s)..
a month ago by @scadsfct
show all tags
FIS_scads
imported
topic_knowledge
FIS_scadsimportedtopic_knowledge
copydeleteadd this publication to your clipboard

⟨⟨
⟨
1
2
⟩
⟩⟩

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)14
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...

1Wikidata: The Making Of

1Tuple-Generating Dependencies Capture Complex Values

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

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

1Optimal Repairs in Ontology Engineering as Pseudo-Contractions in Belief Change

1On the Abstract Expressive Power of Description Logics with Concrete Domains (Extended Version)

1On the Abstract Expressive Power of Description Logics with Concrete Domains

1NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces

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

1Evonne: Interactive Proof Visualization for Description Logics (System Description)

browse

related tags

concepts

tags

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

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

browse

related tags

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)14
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...