scadsfct > Logic yaff | PUMA

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)2
display
all
publications only
publications per page
5
10
20
50
100
sortieren nach
hinzugefügt am
Titel
Autor
Erscheinungsdatum
Eintragstyp
Hilfe für erweiterte Sortierung...
RSS
BibTeX
RDF
mehr...

1Decidable (ac)counting with Parikh and Muller: Adding Presburger Arithmetic to monadic second-Order Logic over tree-interpretable structures
L. Herrmann, V. Peth, und S. Rudolph. (2023)
vor 8 Monaten von @scadsfct
alle anzeigen
Adding
Arithmetic
Logic
Muller
Parikh
Presburger
monadic
second-Order
structures
tree-interpretable
yaff
AddingArithmeticLogicMullerParikhPresburgermonadicsecond-Orderstructurestree-interpretableyaff
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
1Spectra of Cardinality Queries over Description Logic Knowledge Bases
Q. Manière, und M. Przybyłko. Proceedings of the AAAI Conference on Artificial Intelligence, 39, Seite 15067--15074. (2025)
vor 3 Monaten von @scadsfct
alle anzeigen
description
knowledge
logic
xack
yaff
descriptionknowledgelogicxackyaff
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen

⟨⟨
⟨
1
⟩
⟩⟩