Arias J., Batsakis S., Faber W., Gupta G., Pacenza F., Papadakis E., Robaldo L., Rückschloß K., Salazar E., Saribatur Z. G., Tachmazidis I., Weitkämper F., Wyner A.:
In:
(CEUR Workshop Proceedings, Band 3437
),
2023,
Homepage
Proceedings
Bei personenbezogenen Filtereinstellungen ist zu beachten, dass die in der FoDok enthaltenen Einträge keinen Gesamtüberblick der Forschungsleistungen einer Person darstellen.
-
-
Faber W., MAZZOTTA G., Ricca F.: In: Theory and Practice of Logic Programming Cambridge: Cambridge University Press, 2023, pp. 948 - 964.
DOI
Beitrag in Zeitschrift -
Faber W., Morak M.: In: Proceedings of the 37th AAAI Conference on Artificial Intelligence : AAAI 2023 Menlo Park (CA): AAAI Press, 2023,
Homepage
Beitrag in Proceedings -
Qureshi H. M., Faber W.: In: M. Hanus, D. Inclezan (Hrsg.): Practical Aspects of Declarative Languages . PADL 2023 - The 25th International Symposium on Practical Aspects of Declarative Languages (Lecture Notes in Computer Science, Band 13880). Springer Nature Switzerland AG, 2023, pp. 216 - 231.
Homepage DOI
Beitrag in Sammelwerk -
Faber W., Morak M.: In: P. Bruno, F. Calimeri, F. Cauteruccio, M. Maratea, G. Terracina, M. Vallati (Hrsg.): Joint Proceedings of the 1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning (HYDRA 2022) and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2022) co-located with the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), Genova Nervi, Italy, September 5, 2022 (CEUR Workshop Proceedings, Band 3281). 21.11.2022, pp. 78 - 89.
Homepage
Beitrag in Sammelwerk -
Qureshi H. M., Faber W.: In: Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) : co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022) (CEUR Workshop Proceedings, Band 3203 ), 2022, pp. 181 - 187.
Homepage
Beitrag in Proceedings -
Arias J., Calegari R., Dickens L., Faber W., Fandinno J., Gupta G., Hecher M., Inclezan D., LeBlanc E., Morak M., Salazar E., Zangari J.: In: (CEUR Workshop Proceedings, Band 3193 ), Aachen: RWTH Aachen, 2022,
Homepage
Proceedings -
Faber W., Morak M., Chrpa L.: In: Y. Lierler, J. Morales, C. Dodaro, V. Dahl, M. Gebser, T. Tekle (Hrsg.): Proceedings 38th International Conference on Logic Programming . ICLP 2022 Technical Communications (EPTCS, Band 364). Australia: Open Publishing Association, 04.08.2022, pp. 156 - 158.
DOI
Beitrag in Sammelwerk -
-
Faber W., Morak M., Chrpa L.: In: J. Cheney, S. Perri (Hrsg.): Practical Aspects of Declarative Languages . 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17–18, 2022, Proceedings (Lecture Notes in Computer Science, Band 13165). Springer Nature Switzerland AG, 2022, pp. 42 - 56.
DOI
Beitrag in Sammelwerk -
-
-
-
-
Faber W., Morak M., Chrpa L.: In: ICLP 2021 : 37th International Conference on Logic Programming (CoRR, Band 2108.05428 ), 2021,
Homepage
Beitrag in Proceedings -
Qureshi H. M., Faber W.: In: S. Moschoyianni, R. Peñaloza, J. Vanthienen, A. Soylu, D. Roman (Hrsg.): Rules and Reasoning . 5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13–15, 2021, Proceedings (Lecture Notes in Computer Science, Band 12851). Berlin, Heidelberg, New York: Springer Verlag GmbH, 2021, pp. 218 - 233.
DOI
Beitrag in Sammelwerk -
-
Faber W.: In: Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020 Aachen: CEUR Workshop Proceedings (CEUR-WS.org), 2020, pp. 1 - 1.
Homepage
Abstract -
-
Chrpa L., Faber W., Morak M., Fišer D.: In: ICLP20WS 2020 : International Conference on Logic Programming 2020 Workshops (CEUR Workshop Proceedings, Band 2678 ), 2020,
Homepage
Beitrag in Proceedings