受强制性开放获取政策约束的文章 - Hans Tompits了解详情
可在其他位置公开访问的文章：49 篇
Combining answer set programming with description logics for the semantic web
T Eiter, G Ianni, T Lukasiewicz, R Schindlauer, H Tompits
Artificial intelligence 172 (12-13), 1495-1539, 2008
强制性开放获取政策： Austrian Science Fund, German Research Foundation
A meta-programming technique for debugging answer-set programs.
M Gebser, J Pührer, T Schaub, H Tompits
AAAI 8, 448-453, 2008
强制性开放获取政策： Austrian Science Fund
Modularity aspects of disjunctive stable models
T Janhunen, E Oikarinen, H Tompits, S Woltran
Journal of Artificial Intelligence Research 35, 813-857, 2009
强制性开放获取政策： Austrian Science Fund
Catching the ouroboros: On debugging non-ground answer-set programs
J Oetsch, J Pührer, H Tompits
Theory and Practice of Logic Programming 10 (4-6), 513-529, 2010
强制性开放获取政策： Austrian Science Fund
Embedding nonground logic programs into autoepistemic logic for knowledge-base combination
JD Bruijn, T Eiter, A Polleres, H Tompits
ACM Transactions on Computational Logic (TOCL) 12 (3), 1-39, 2011
强制性开放获取政策： Austrian Science Fund, Science Foundation Ireland
Belief Revision of Logic Programs under Answer Set Semantics.
JP Delgrande, T Schaub, H Tompits, S Woltran
KR 8, 411-421, 2008
强制性开放获取政策： Austrian Science Fund
A model-theoretic approach to belief change in answer set programming
J Delgrande, T Schaub, H Tompits, S Woltran
ACM Transactions on Computational Logic (TOCL) 14 (2), 1-46, 2013
强制性开放获取政策： Austrian Science Fund, German Research Foundation
Characterising equilibrium logic and nested logic programs: Reductions and complexity1, 2
D Pearce, H Tompits, S Woltran
Theory and Practice of Logic Programming 9 (5), 565-616, 2009
强制性开放获取政策： Austrian Science Fund
Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs
C Kloimüllner, J Oetsch, J Pührer, H Tompits
International Conference on Applications of Declarative Programming and …, 2011
强制性开放获取政策： Austrian Science Fund
Stepping through an answer-set program
J Oetsch, J Pührer, H Tompits
Logic Programming and Nonmonotonic Reasoning: 11th International Conference …, 2011
强制性开放获取政策： Austrian Science Fund
SeaLion: An eclipse-based IDE for answer-set programming with advanced debugging support
PA Busoniu, J Oetsch, J Pührer, P Skočovský, H Tompits
Theory and Practice of Logic Programming 13 (4-5), 657-673, 2013
强制性开放获取政策： Austrian Science Fund
Embedding Approaches to Combining Rules and Ontologies into Autoepistemic Logic.
J De Bruijn, T Eiter, H Tompits
KR 8, 485-495, 2008
强制性开放获取政策： Austrian Science Fund
Merging logic programs under answer set semantics
J Delgrande, T Schaub, H Tompits, S Woltran
Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA …, 2009
强制性开放获取政策： Austrian Science Fund, German Research Foundation
Model-based recasting in answer-set programming
T Eiter, M Fink, J Pührer, H Tompits, S Woltran
Journal of Applied Non-Classical Logics 23 (1-2), 75-104, 2013
强制性开放获取政策： Austrian Science Fund
Answer-set programming as a new approach to event-sequence testing
E Erdem, K Inoue, J Oetsch, J Pührer, H Tompits, C Yılmaz
IARIA, 2011
强制性开放获取政策： Austrian Science Fund
Super-blocked clauses
B Kiesl, M Seidl, H Tompits, A Biere
International Joint Conference on Automated Reasoning, 45-61, 2016
强制性开放获取政策： Austrian Science Fund
On the small-scope hypothesis for testing answer-set programs
J Oetsch, M Prischink, J Pührer, M Schwengerer, H Tompits
Thirteenth International Conference on the Principles of Knowledge …, 2012
强制性开放获取政策： Austrian Science Fund
Guided merging of sequence diagrams
M Widl, A Biere, P Brosch, U Egly, M Heule, G Kappel, M Seidl, H Tompits
Software Language Engineering: 5th International Conference, SLE 2012 …, 2013
强制性开放获取政策： Austrian Science Fund
Annotating answer-set programs in lana
M De Vos, DG Kisa, J Oetsch, J Pührer, H Tompits
Theory and Practice of Logic Programming 12 (4-5), 619-637, 2012
强制性开放获取政策： Austrian Science Fund
The SeaLion has Landed: An IDE for Answer-Set Programming—Preliminary Report
J Oetsch, J Pührer, H Tompits
International Conference on Applications of Declarative Programming and …, 2011
强制性开放获取政策： Austrian Science Fund
出版信息和资助信息由计算机程序自动确定