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.
CoRR, May, 2026

2024
Reasoning About Study Regulations in Answer Set Programming.
Theory Pract. Log. Program., 2024

2023
Reasoning about Study Regulations in Answer Set Programming (Preliminary Report).
Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), 2023


  Loading...