Filters








6 Hits in 6.1 sec

Catching the Ouroboros: On debugging non-ground answer-set programs

JOHANNES OETSCH, JÖRG PÜHRER, HANS TOMPITS
2010 Theory and Practice of Logic Programming  
In this paper, we discuss a debugging technique that is directly geared towards non-ground programs.  ...  Following previous work, we address the central debugging question why some interpretation is not an answer set.  ...  Prelude: A case for directly debugging non-ground programs Explaining why some interpretation is not an answer set of some program based on the characterisation of Lee (2005) has been dealt with in previous  ... 
doi:10.1017/s1471068410000256 fatcat:arm4u5vcrzfejatdldkqfmbvli

Introduction to the 36th International Conference on Logic Programming Special Issue I

Francesco Ricca, Alessandra Russo
2020 Theory and Practice of Logic Programming  
Further, we thank Torsten Schaub as current President and Thomas Eiter as incoming President of the Association of Logic Programming (ALP), Marco Gavanelli, in the role of conference-coordinator for ALP  ...  , and all the members of the ALP Executive Committee.  ...  . • The Alain Colmerauer 10 year test of time award: Johannes Oetsch, Jörg Pührer, Hans Tompits. Catching the Ouroboros: On debugging non-ground answer-set programs.  ... 
doi:10.1017/s1471068420000149 fatcat:tkyupcgdzjatvecuuycmzv6vye

TLP volume 10 issue 4-6 Cover and Back matter

2010 Theory and Practice of Logic Programming  
497 Disjunctive ASP with functions: Decidable queries and effective computation mario alviano, wolfgang faber and nicola leone 513 Catching the Ouroboros: On debugging non-ground answer-set programs johannes  ...  set programming and its application marcello balduccini and sara girotto 741 Testing and debugging techniques for answer set solver development robert brummayer and matti järvisalo 759 The system Kato  ...  Theory and Practice of Logic Programming volume 10 parts 4-6 july 2010 Contents Regular papers 361 Introduction to the 26th international conference on logic programming special issue manuel hermenegildo  ... 
doi:10.1017/s1471068410000426 fatcat:7dsdwaw6t5d37dhrhbgnh3nv4m

Abstraction for non-ground answer set programs

Zeynep G. Saribatur, Thomas Eiter, Peter Schüller
2021 Artificial Intelligence  
set that matches an answer set of the original program, provided that the program is satisfiable.  ...  A problem is represented by a non-monotonic logic program whose answer sets (also called "stable models" [57]) correspond to the solutions of the problem.  ...  Acknowledgements We are grateful to the reviewers for their helpful and constructive comments to improve this work and its presentation.  ... 
doi:10.1016/j.artint.2021.103563 fatcat:nyhzwgry3vc4tbwaci6g2aoqay

The State of AI Ethics Report (June 2020) [article]

Abhishek Gupta
2020 arXiv   pre-print
We cover a wide set of areas in this report spanning Agency and Responsibility, Security and Risk, Disinformation, Jobs and Labor, the Future of AI Ethics, and more.  ...  This pulse-check for the state of discourse, research, and development is geared towards researchers and practitioners alike who are making decisions on behalf of their organizations in considering the  ...  similar areas on separate grounds.  ... 
arXiv:2006.14662v1 fatcat:q76dnqzh4ja5pofurjmpmyeyey

Enabling student-driven innovation through interdisciplinary initiatives within Danish vocational education [article]

Christian Ravn Haslam
2016 The PhD Series of the Faculty of the Humanities  
interdisciplinary initiatives within Danish vocational education Examining interdisciplinary project-based workshops as a means of cultivating and applying innovation capacity among students in compliance with the  ...  interdisciplinary initiatives within Danish vocational education: Examining interdisciplinary project-based workshops as a means of cultivating and applying innovation capacity among students in compliance with the  ...  non-existent.  ... 
doi:10.5278/vbn.phd.hum.00062 fatcat:cv2pqelblrf73kzycwvj6vkyve