tag :: topic_knowledge imported xack

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

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)..
5 months ago by @scadsfct
show all tags
FIS_scads
imported
topic_knowledge
xack
FIS_scadsimportedtopic_knowledgexack
(0)
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)
5 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)..
5 months ago by @scadsfct
show all tags
FIS_scads
imported
topic_knowledge
xack
yaff
FIS_scadsimportedtopic_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)
5 months ago by @scadsfct
show all tags
FIS_scads
imported
topic_knowledge
xack
yaff
FIS_scadsimportedtopic_knowledgexackyaff
(0)
copydeleteadd this publication to your clipboard
1Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster
C. Lutz, and Q. Manière. (July 2024)
5 months ago by @scadsfct
show all tags
imported
topic_knowledge
xack
yaff
importedtopic_knowledgexackyaff
(0)
copydeleteadd this publication to your clipboard
1The Precise Complexity of Reasoning in $ALC$ with $ømega$-Admissible Concrete Domains (Extended Version)
S. Borgwardt, F. Bortoli, and P. Koopmann. (2024)
6 months ago by @scadsfct
show all tags
imported
topic_knowledge
xack
yaff
importedtopic_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. SIGAPP Appl. Comput. Rev., 24 (3): 5–17 (Oct 8, 2024)
6 months ago by @scadsfct
show all tags
imported
topic_knowledge
xack
yaff
importedtopic_knowledgexackyaff
(0)
copydeleteadd this publication to your clipboard
1Second-order Confidence in Supervaluationism
J. Karge. Journal for General Philosophy of Science, (July 2023)
7 months ago by @scadsfct
show all tags
imported
topic_knowledge
xack
importedtopic_knowledgexack
(0)
copydeleteadd this publication to your clipboard
1Voting for Bins: Integrating Imprecise Probabilistic Beliefs into the Condorcet Jury Theorem
J. Karge. Joint Proceedings of the 2nd Workshop on Knowledge Diversity and the 2nd Workshop on Cognitive Aspects of Knowledge Representation co-located with 20th International Conference on Principles of Knowledge Representation and Reasoning (KR2023), Rhodes, Greece, September 3-4, 2023, volume 3548 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)
7 months ago by @scadsfct
show all tags
imported
topic_knowledge
xack
importedtopic_knowledgexack
(0)
copydeleteadd this publication to your clipboard
1Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures
L. Herrmann, V. Peth, and S. Rudolph. 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), volume 288 of Leibniz International Proceedings in Informatics (LIPIcs), page 33:1--33:19. Dagstuhl, Germany, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, (2024)
7 months ago by @scadsfct
show all tags
imported
topic_graph
topic_knowledge
xack
importedtopic_graphtopic_knowledgexack
(0)
copydeleteadd this publication to your clipboard
1Compositional matrix-space models of language: Definitions, properties, and learning methods
S. Asaadi, E. Giesbrecht, and S. Rudolph. Natural Language Engineering, 29 (1): 1--49 (January 2023)
7 months ago by @scadsfct
show all tags
imported
topic_knowledge
xack
importedtopic_knowledgexack
(0)
copydeleteadd this publication to your clipboard
1A New Dimension to Generalization: Computing Temporal EL Concepts from Positive Examples (Extended Abstract)
S. Tirtarasa, and A. Turhan. Description Logics, (2022)
7 months ago by @scadsfct
show all tags
imported
topic_knowledge
xack
importedtopic_knowledgexack
(0)
copydeleteadd this publication to your clipboard
1User-aware Explications of Ontology Consequences: Levelling Technicality
R. PeÃ±aloza, and A. Turhan. (2022)
7 months ago by @scadsfct
show all tags
imported
topic_knowledge
xack
importedtopic_knowledgexack
(0)
copydeleteadd this publication to your clipboard
1Efficient Dependency Analysis for Existential Rules
L. González, A. Ivliev, M. Krötzsch, and S. Mennicke. (2023)
7 months ago by @scadsfct
show all tags
imported
topic_graph
topic_knowledge
xack
yaff
importedtopic_graphtopic_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)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...

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

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

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

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

1Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster

1The Precise Complexity of Reasoning in $ALC$ with $ømega$-Admissible Concrete Domains (Extended Version)

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

1Second-order Confidence in Supervaluationism

1Voting for Bins: Integrating Imprecise Probabilistic Beliefs into the Condorcet Jury Theorem

1Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures

1Compositional matrix-space models of language: Definitions, properties, and learning methods

1A New Dimension to Generalization: Computing Temporal EL Concepts from Positive Examples (Extended Abstract)

1User-aware Explications of Ontology Consequences: Levelling Technicality

1Efficient Dependency Analysis for Existential Rules

browse

related 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

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