scadsfct > 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)100
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...

1Conservative extensions for existential rules
J. Jung, C. Lutz, and J. Marcinkowski. (2022)
3 months ago by @scadsfct
show all tags
topic_knowledge
topic_knowledge
(0)
copydeleteadd this publication to your clipboard
1Efficiently enumerating answers to ontology-mediated queries
C. Lutz, and M. Przybyłko. (2022)
3 months ago by @scadsfct
show all tags
topic_knowledge
topic_knowledge
(0)
copydeleteadd this publication to your clipboard
1Frontiers and exact learning of ELI queries under DL-Lite ontologies
M. Funk, J. Jung, and C. Lutz. Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, California, International Joint Conferences on Artificial Intelligence Organization, (July 2022)
3 months ago by @scadsfct
show all tags
topic_knowledge
topic_knowledge
(0)
copydeleteadd this publication to your clipboard
1A complete classification of the complexity and rewritability of ontology-mediated queries based on the description logic EL
C. Lutz, and L. Sabellek. Artif. Intell., 308 (103709): 103709 (July 2022)
3 months ago by @scadsfct
show all tags
topic_knowledge
topic_knowledge
(0)
copydeleteadd this publication to your clipboard
1AGM Revision in Description Logics Under Fixed-Domain Semantics
F. Falakh, and S. Rudolph. (2022)
3 months ago by @scadsfct
show all tags
topic_knowledge
topic_knowledge
(0)
copydeleteadd this publication to your clipboard
1NEXAS: A visual tool for navigating and exploring argumentation solution spaces
R. Dachselt, S. Gaggl, M. Krötzsch, J. Méndez, D. Rusovac, and M. Yang. Computational Models of Argument, IOS Press, (September 2022)
3 months ago by @scadsfct
show all tags
topic_knowledge
topic_knowledge
(0)
copydeleteadd this publication to your clipboard
1NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces
R. Dachselt, S. Gaggl, M. Krötzsch, J. Méndez, D. Rusovac, and M. Yang. Computational Models of Argument: Proceedings of COMMA 2022, (2022)
3 months ago by @scadsfct
show all tags
topic_knowledge
topic_knowledge
(0)
copydeleteadd this publication to your clipboard
1Answering queries with negation over existential rules
S. Ellmauthaler, M. Krötzsch, and S. Mennicke. Proc. Conf. AAAI Artif. Intell., 36 (5): 5626--5633 (June 2022)
3 months ago by @scadsfct
show all tags
topic_knowledge
topic_graph
topic_knowledgetopic_graph
(0)
copydeleteadd this publication to your clipboard
1Chasing Streams with Existential Rules
J. Urbani, M. Krötzsch, and T. Eiter. Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, page 415--419. (August 2022)
3 months ago by @scadsfct
show all tags
topic_knowledge
topic_lifescience
topic_knowledgetopic_lifescience
(0)
copydeleteadd this publication to your clipboard
1A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic
M. Bromberger, I. Dragoste, R. Faqeh, C. Fetzer, L. González, M. Krötzsch, M. Marx, H. Murali, and C. Weidenbach. Proc. of the 28th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2022), volume 13243 of LNCS, page 480-501. Springer, (2022)
3 months ago by @scadsfct
show all tags
topic_knowledge
topic_graph
topic_knowledgetopic_graph
(0)
copydeleteadd this publication to your clipboard
1An Existential Rule Framework for~Computing Why-Provenance On-Demand for~Datalog
A. Elhalawati, M. Krötzsch, and S. Mennicke. Rules and Reasoning, Springer International Publishing, (2022)
3 months ago by @scadsfct
show all tags
topic_knowledge
topic_graph
topic_knowledgetopic_graph
(0)
copydeleteadd this publication to your clipboard
1Tuple-generating dependencies capture complex values
M. Marx, and M. Krötzsch. (2022)
3 months ago by @scadsfct
show all tags
topic_knowledge
topic_graph
topic_knowledgetopic_graph
(0)
copydeleteadd this publication to your clipboard
1Simulating sets in answer set programming
S. Gaggl, P. Hanisch, and M. Krötzsch. Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, California, International Joint Conferences on Artificial Intelligence Organization, (July 2022)
3 months ago by @scadsfct
show all tags
topic_knowledge
topic_knowledge
(0)
copydeleteadd this publication to your clipboard
1Deciding the word problem for ground and strongly shallow identities w.R.T. Extensional symbols
F. Baader, and D. Kapur. J. Automat. Reason., 66 (3): 301--329 (August 2022)
3 months ago by @scadsfct
show all tags
topic_knowledge
topic_knowledge
(0)
copydeleteadd this publication to your clipboard
1Restricted Unification in the Description Logic $FL_\bot$
F. Baader, and O. Fernández Gil. Proceedings of the 36th International Workshop on Unification (UNIF 2022), Haifa, Israel, (2022)
3 months ago by @scadsfct
show all tags
topic_knowledge
topic_knowledge
(0)
copydeleteadd this publication to your clipboard
1Using model theory to find decidable and tractable description logics with concrete domains
F. Baader, and J. Rydval. J. Automat. Reason., 66 (3): 357--407 (August 2022)
3 months ago by @scadsfct
show all tags
topic_knowledge
topic_knowledge
(0)
copydeleteadd this publication to your clipboard
1Distinct Geometrical Representations for Temporal and Relational Structures in Knowledge Graphs
B. Song, K. Amouzouvi, S. Vahdati, and J. Lehmann. (2023)Accepted at ECML.
3 months ago by @scadsfct
show all tags
topic_knowledge
topic_graph
topic_knowledgetopic_graph
(0)
copydeleteadd this publication to your clipboard
1On Dynamics in Structured Argumentation Formalisms
A. Rapberger, and M. Ulbricht. Proceedings of the Nineteenth International Conference on Principles of Knowledge Representation and Reasoning, California, International Joint Conferences on Artificial Intelligence Organization, (July 2022)
3 months ago by @scadsfct
show all tags
topic_knowledge
topic_knowledge
(0)
copydeleteadd this publication to your clipboard
1Just a Matter of Perspective
M. König, A. Rapberger, and M. Ulbricht. Computational Models of Argument, IOS Press, (September 2022)
3 months ago by @scadsfct
show all tags
topic_knowledge
topic_knowledge
(0)
copydeleteadd this publication to your clipboard
1Rediscovering argumentation principles utilizing Collective Attacks
W. Dvorák, M. König, M. Ulbricht, and S. Woltran. (2022)
3 months ago by @scadsfct
show all tags
topic_knowledge
topic_knowledge
(0)
copydeleteadd this publication to your clipboard

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

1Conservative extensions for existential rules

1Efficiently enumerating answers to ontology-mediated queries

1Frontiers and exact learning of ELI queries under DL-Lite ontologies

1A complete classification of the complexity and rewritability of ontology-mediated queries based on the description logic EL

1AGM Revision in Description Logics Under Fixed-Domain Semantics

1NEXAS: A visual tool for navigating and exploring argumentation solution spaces

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

1Answering queries with negation over existential rules

1Chasing Streams with Existential Rules

1A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic

1An Existential Rule Framework for~Computing Why-Provenance On-Demand for~Datalog

1Tuple-generating dependencies capture complex values

1Simulating sets in answer set programming

1Deciding the word problem for ground and strongly shallow identities w.R.T. Extensional symbols

1Restricted Unification in the Description Logic $FL_\bot$

1Using model theory to find decidable and tractable description logics with concrete domains

1Distinct Geometrical Representations for Temporal and Relational Structures in Knowledge Graphs

1On Dynamics in Structured Argumentation Formalisms

1Just a Matter of Perspective

1Rediscovering argumentation principles utilizing Collective Attacks

browse

related tags

concepts

tags

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

publications (hide)100 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)100
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...