tag :: xack topic_knowledge 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)11
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...

2Forgetting in Abstract Argumentation: Limits and Possibilities
R. Baumann, M. Berthold, D. Gabbay, and O. Rodrigues. Journal of Artificial Intelligence Research, (2025)
24 days ago by @scadsfct
show all tags
abstract_argumentation
argumentation
forgetting
topic_knowledge
xack
yaff
abstract_argumentationargumentationforgettingtopic_knowledgexackyaff
(0)
copydeleteadd this publication to your clipboard
2On Syntactic Forgetting with relativized Strong Persistence
M. Berthold. Proceedings of the 22nd International Workshop on Nonmonotonic Reasoning (NMR 2024) co-located with 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), Hanoi, Vietnam, November 2-4, 2024, volume 3835 of CEUR Workshop Proceedings, page 173--182. CEUR-WS.org, (2024)
24 days ago by @scadsfct
show all tags
answer_set_programming
forgetting
logic_programming
topic_knowledge
xack
yaff
answer_set_programmingforgettinglogic_programmingtopic_knowledgexackyaff
(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)
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
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
1Contractions Based on Optimal Repairs
F. Baader, and R. Wassermann. Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning, page 94–105. International Joint Conferences on Artificial Intelligence Organization, (November 2024)
5 months ago by @scadsfct
show all tags
topic_knowledge
xack
yaff
topic_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
1Efficient Dependency Analysis for Existential Rules
L. González, A. Ivliev, M. Krötzsch, and S. Mennicke. (2023)
6 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)11
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...

2Forgetting in Abstract Argumentation: Limits and Possibilities

2On Syntactic Forgetting with relativized Strong Persistence

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)

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

1Contractions Based on Optimal Repairs

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

1Efficient Dependency Analysis for Existential Rules

browse

related tags

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

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