Professur für Computational Logic
Organisation: Professur
Verknüpfte Inhalte und Forschende (öffentliche Profile)
- Forschende (öffentliche Profile)
- Veröffentlichungen
- Zeitschriften
Rudolph, Sebastian
- Professur für Computational Logic - Wissenschaftliches Personal
- Fakultät Mathematik - Wissenschaftliches Personal
Person: Aktiv
Admissibility in Probabilistic Argumentation
Käfer, N., Baier, C., Diller, M., Dubslaff, C., Gaggl, S. A. & Hermanns, H., 26 Juni 2022, in: Journal of Artificial Intelligence Research. 74, S. 957-1009 53 S.Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
IASCAR: Incremental Answer Set Counting by Anytime Refinement
Fichte, J. K., Gaggl, S. A., Hecher, M. & Rusovac, D., 2022, Logic Programming and Nonmonotonic Reasoning - 16th International Conference, {LPNMR} 2022, Genova, Italy, September 5-9, 2022, Proceedings. 13416 Aufl. Springer, Band Lecture Notes in Computer Science.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Buch/Sammelband/Gutachten › Beigetragen › Begutachtung
Tunas - Fishing for Diverse Answer Sets: A Multi-shot Trade up Strategy
Böhl, E. & Gaggl, S. A., 2022, Proceedings of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022). 13416 Aufl. Springer, Band Lecture Notes in Computer Science. S. 89-102Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Buch/Sammelband/Gutachten › Beigetragen › Begutachtung
On Classical Decidable Logics extended with Percentage Quantifiers and Arithmetics
Bednarczyk, B., Orłowska, M., Pacanowska, A. & Tan, T., 1 Dez. 2021, Proceedings of the 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021). Bojańczyk, M. & Chekuri, C. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Band 213.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Admissibility in Probabilistic Argumentation
Baier, C., Diller, M., Dubslaff, C., Gaggl, S. A., Hermanns, H. & Käfer, N., Nov. 2021, Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning. Bienvenu, M., Lakemeyer, G. & Erdem, E. (Hrsg.). IJCAI Organization, S. 87-98Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
European journal of combinatorics
ISSNs: 0195-6698
Elsevier, Niederlande
Scopus-Bewertung (2021): CiteScore 1,7 SJR 0,96 SNIP 1,282
Fachzeitschrift: Zeitschrift
Journal of applied logics - IfCoLoG journal of logics and their applications
College Publications, Großbritannien/Vereinigtes Königreich
Fachzeitschrift: Zeitschrift
ACM Transactions on Computational Logic : TOCL
ISSNs: 1529-3785
Association for Computing Machinery (ACM), New York, USA/Vereinigte Staaten
Scopus-Bewertung (2021): CiteScore 2,6 SJR 0,755 SNIP 0,987
Fachzeitschrift: Zeitschrift
Journal of logic and computation
ISSNs: 0955-792X
Weitere durchsuchbare ISSN (elektronisch): 1465-363X
Oxford University Press, Oxford, Großbritannien/Vereinigtes Königreich
Scopus-Bewertung (2021): CiteScore 1,6 SJR 0,522 SNIP 0,886
Fachzeitschrift: Zeitschrift
Logical methods in computer science : LMCS
ISSNs: 1860-5974
Weitere durchsuchbare ISSN (elektronisch): 1860-5974
Department of Theoretical Computer Science, Technical University of Braunschweig, Deutschland
Scopus-Bewertung (2021): CiteScore 2 SJR 0,696 SNIP 1,024
In DOAJ indiziert
Fachzeitschrift: Zeitschrift