Anna Schuhmann

According to our database1, Anna Schuhmann authored at least 7 papers between 2018 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

2018
2019
2020
2021
2022
2023
2024
0
1
2
3
1
2
2
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Metric Temporal Equilibrium Logic over Timed Traces.
Theory Pract. Log. Program., March, 2024

2023
Metric dynamic equilibrium logic.
J. Appl. Non Class. Logics, October, 2023

Linear-Time Temporal Answer Set Programming.
Theory Pract. Log. Program., 2023

2022
Metric Temporal Answer Set Programming over Timed Traces.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

2020
Towards Metric Temporal Answer Set Programming.
Theory Pract. Log. Program., 2020

Temporal Answer Set Programming.
CoRR, 2020

2018
Temporal Answer Set Programming on Finite Traces.
Theory Pract. Log. Program., 2018


  Loading...