Norbert Manthey
Aus International Center for Computational Logic
Dr. Norbert Manthey
Ehemaliges Mitglied
- Ehemals Wissenschaftlicher Mitarbeiter in Forschungsgruppe Wissensverarbeitung
Neueste Publikationen
Komplette Publikationsliste anzeigen
Norbert Manthey, Rafael Peñaloza Nyssen, Sebastian Rudolph
SATPin: Axiom Pinpointing for Lightweight Description Logics through Incremental SAT
Künstliche Intelligenz, 34(3):389-394, 2020
Details Download
Norbert Manthey, Rafael Peñaloza, Sebastian Rudolph
Efficient Axiom Pinpointing in EL using SAT Technology
In Maurizio Lenzerini, Rafael Peñaloza, eds., Proceedings of the 29th International Workshop on Description Logics (DL'16), volume 1577, 2016. CEUR Workshop Proceedings
Details Download
Sarah Alice Gaggl, Norbert Manthey
ASPARTIX-D Ready for the Competition
Presentation at Argumentation Spring Meeting 2015, Leipzig, April 2015
Details Download
Sarah Alice Gaggl, Norbert Manthey, Alessandro Ronca, Johannes Peter Wallner, Stefan Woltran
Improved Answer-Set Programming Encodings for Abstract Argumentation
To appear in Theory and Practice of Logic Programming (TPLP), Proceedings of ICLP 2015, August 2015. arXiv:1507.06689
Details Download
Sarah Alice Gaggl, Norbert Manthey, Alessandro Ronca, Johannes Peter Wallner, Stefan Woltran
Improved Answer-Set Programming Encodings for Abstract Argumentation
Theory and Practice of Logic Programming (TPLP), 15(4-5):434-448, September 2015
Details Download
Norbert Manthey
An A-Maze-ing SAT Solving Visualization
Technical Report, TU Dresden, April 2015
Details Download
Norbert Manthey
Refining Unsatisfiable Cores in Incremental SAT Solving
Technical Report, TU Dresden, September 2015
Details Download
Norbert Manthey
Towards next generation sequential and parallel SAT solvers
Constraints, 1-2, September 2015
Details
Norbert Manthey, Rafael Peñaloza
Exploiting SAT Technology for Axiom Pinpointing
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 15-05, 2015
Details Download
Norbert Manthey
CDCL Solver Additions: Local Look-ahead, All-Unit-UIP Learning and On-the-fly Probing
Stuttgart, Deutschland - German Conference on Artificial Intelligence, September 2014
Details
Lehrveranstaltungen
- SAT-Solving (SS 2015)
