We stand with Ukraine  

Amadé Nemes

According to our database1, Amadé Nemes authored at least 3 papers between 2023 and 2026.

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

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Meta-Programming for Linear-time Temporal Answer Set Programming.
[BibTeX]
[DOI]
Susana Hahn
,
Amadé Nemes
,
Javier Romero
,
Torsten Schaub
CoRR, May, 2026

2024
Reasoning About Study Regulations in Answer Set Programming.
[BibTeX]
[DOI]
Susana Hahn
,
Torsten Schaub
,
Cedric Martens
,
Amadé Nemes
,
Henry Otunuya
,
Javier Romero
,
Sebastian Schellhorn
Theory Pract. Log. Program., 2024

2023
Reasoning about Study Regulations in Answer Set Programming (Preliminary Report).
[BibTeX]
[DOI]
Susana Hahn
,
Cedric Martens
,
Amadé Nemes
,
Henry Otunuya
,
Javier Romero
,
Torsten Schaub
,
Sebastian Schellhorn
Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), 2023


  Loading...