Logic Programming and Nonmonotonic Reasoning

Book title Buchtitel

Editor Herausgeber_in

Erdem, Esra
Lin, Fangzhen
Schaub, Torsten

Publisher Herausgeber

LNCS, Springer

Place of publishing Erscheinungsort

5753

Series Schriftenreihe

Lecture Notes in Computer Science

Filter:

Author: Tompits, Hans

Results 1-4 of 4 (Search time: 0.002 seconds).

RIS EndNote Bibtex Send via email

	Author(s)	Title	Type	Issue Date
1	Delgrande, James P. ; Schaub, Torsten ; Tompits, Hans	A Preference-Based Framework for Updating Logic Programs	Konferenzbeitrag Inproceedings	2007
2	Pkhakadze, Sopo ; Tompits, Hans	A Sequent-Type Calculus for Three-Valued Default Logic, Or: Tweety Meets Quartum Non Datur	Konferenzbeitrag Inproceedings	2019
3	Greßler, Alexander ; Oetsch, Johannes ; Tompits, Hans	$$\mathsf {Harvey}$$ : A System for Random Testing in ASP	Konferenzbeitrag Inproceedings	2017
4	Oetsch, Johannes ; Pührer, Jörg ; Seidl, Martina ; Tompits, Hans ; Zwickl, Patrick	VIDEAS: A Development Tool for Answer-Set Programs Based on Model-Driven Engineering Technology	Konferenzbeitrag Inproceedings	2011