Markus Nissl

According to our database, Markus Nissl authored at least 20 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Industrial Experience Report on AI-Assisted Coding in Professional Software Development.

Rudolf Ramler, Michael Moser, Lukas Fischer, Markus Nissl, René Heinzl

LLM4CODE@ICSE, 2024

Towards FATEful Smart Contracts.

Luigi Bellomarini, Marco Favorito, Eleonora Laurenza, Markus Nissl, Emanuel Sallinger

Proceedings of the Sixth Distributed Ledger Technology Workshop (DLT 2024), 2024

2023

Generalizing Bulk-Synchronous Parallel Processing for Data Science: From Data to Threads and Agent-Based Simulations.

Zilu Tian, Peter Lindner, Markus Nissl, Christoph Koch, Val Tannen

Proc. ACM Manag. Data, 2023

Temporal Datalog with Existential Quantification.

Matthias Lanzinger, Markus Nissl, Emanuel Sallinger, Przemyslaw Andrzej Walega

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Towards Efficient Annotation Databases (short paper).

René Heinzl, Markus Nissl, Emanuel Sallinger

Proceedings of the 15th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2023), 2023

2022

Reasoning on company takeovers: From tactic to strategy.

Luigi Bellomarini, Lorenzo Bencivelli, Claudia Biancotti, Livia Blasi, Francesco Paolo Conteduca, Andrea Gentili, Rosario Laurendi, Davide Magnanimi, Michele Savini Zangrandi, Flavia Tonelli, Stefano Ceri, Davide Benedetto, Markus Nissl, Emanuel Sallinger

Data Knowl. Eng., 2022

Complexity of Arithmetic in Warded Datalog+-.

Lucas Berent, Markus Nissl, Emanuel Sallinger

CoRR, 2022

Vadalog: Overview, Extensions and Business Applications.

Teodoro Baldazzi, Luigi Bellomarini, Markus Gerschberger, Aditya Jami, Davide Magnanimi, Markus Nissl, Aleksandar Pavlovic, Emanuel Sallinger

Proceedings of the Reasoning Web. Causality, Explanations and Declarative Knowledge, 2022

The Temporal Vadalog System.

Luigi Bellomarini, Livia Blasi, Markus Nissl, Emanuel Sallinger

Proceedings of the Rules and Reasoning, 2022

iTemporal: An Extensible Generator of Temporal Benchmarks.

Luigi Bellomarini, Markus Nissl, Emanuel Sallinger

Proceedings of the 38th IEEE International Conference on Data Engineering, 2022

Modelling Smart Contracts with DatalogMTL.

Markus Nissl, Emanuel Sallinger

Proceedings of the Workshops of the EDBT/ICDT 2022 Joint Conference, 2022

Towards Bridging Traditional and Smart Contracts with Datalog-based Languages.

Markus Nissl, Emanuel Sallinger

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), 2022

2021

Query Evaluation in DatalogMTL - Taming Infinite Query Results.

Luigi Bellomarini, Markus Nissl, Emanuel Sallinger

CoRR, 2021

Knowledge Graphs: Detection of Outdated News.

Nicolas Ferranti, Astrid Krickl, Markus Nissl

Proceedings of the ISWC 2021 Posters, 2021

Monotonic Aggregation for Temporal Datalog.

Luigi Bellomarini, Markus Nissl, Emanuel Sallinger

Proceedings of the 15th International Rule Challenge, 7th Industry Track, and 5th Doctoral Consortium @ RuleML+RR 2021 co-located with 17th Reasoning Web Summer School (RW 2021) and 13th DecisionCAMP 2021 as part of Declarative AI 2021, Leuven, Belgium (virtual due to Covid-19 pandemic), 8, 2021

Rule-based Blockchain Knowledge Graphs: Declarative AI for Solving Industrial Blockchain Challenges.

Luigi Bellomarini, Giuseppe Galano, Markus Nissl, Emanuel Sallinger

Proceedings of the 15th International Rule Challenge, 7th Industry Track, and 5th Doctoral Consortium @ RuleML+RR 2021 co-located with 17th Reasoning Web Summer School (RW 2021) and 13th DecisionCAMP 2021 as part of Declarative AI 2021, Leuven, Belgium (virtual due to Covid-19 pandemic), 8, 2021

Towards Cross-Blockchain Smart Contracts.

Markus Nissl, Emanuel Sallinger, Stefan Schulte, Michael Borkowski

Proceedings of the IEEE International Conference on Decentralized Applications and Infrastructures, 2021

2020

Reasoning on Company Takeovers during the COVID-19 Crisis with Knowledge Graphs.

Luigi Bellomarini, Marco Benedetti, Stefano Ceri, Andrea Gentili, Rosario Laurendi, Davide Magnanimi, Markus Nissl, Emanuel Sallinger

Proceedings of the 14th International Rule Challenge, 4th Doctoral Consortium, and 6th Industry Track @ RuleML+RR 2020 co-located with 16th Reasoning Web Summer School (RW 2020) 12th DecisionCAMP 2020 as part of Declarative AI 2020, Oslo, Norway (virtual due to Covid-19 pandemic), 29 June, 2020

Neither in the Programs Nor in the Data: Mining the Hidden Financial Knowledge with Knowledge Graphs and Reasoning.

Luigi Bellomarini, Davide Magnanimi, Markus Nissl, Emanuel Sallinger

Proceedings of the Mining Data for Financial Applications - 5th ECML PKDD Workshop, 2020

Blockchains as Knowledge Graphs - Blockchains for Knowledge Graphs (Vision Paper).

Luigi Bellomarini, Markus Nissl, Emanuel Sallinger

Proceedings of the International Workshop on Knowledge Representation and Representation Learning co-located with the 24th European Conference on Artificial Intelligence (ECAI 2020), 2020