-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathliterature.html
More file actions
741 lines (741 loc) · 51.3 KB
/
literature.html
File metadata and controls
741 lines (741 loc) · 51.3 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<title>dlvhex</title>
<link rel="stylesheet" type="text/css" media="all" href="css/reset.css"></link>
<link rel="stylesheet" type="text/css" media="all" href="css/text.css"></link>
<link rel="stylesheet" type="text/css" media="all" href="css/960.css"></link>
<link rel="stylesheet" type="text/css" media="all" href="css/style.css"></link>
<meta http-equiv="Content-Type" content="text/html;charset=utf-8">
</head>
<body>
<!-- Title -->
<!--
<div class="container_12">
<div class="grid_12" id="title">
<h1>dlvhex</h1>
</div>
</div>
-->
<!-- Menu -->
<div class="container_12">
<div class="grid_12" id="menu">
<a href="index.html">About</a>
<a href="people.html">People</a>
<a href="news.html">News</a>
<a href="downloadb.html">Download Binaries</a>
<a href="downloads.html">Download Source</a>
<a href="support.html">Support</a>
<a href="documentation.html">Documentation</a>
<a href="demo.php">Online Demo</a>
<a href="http://asptut.gibbi.com/">ASP Tutorial</a>
<a href="related.html">Related Work</a>
<a href="applications.html">Applications</a>
<a href="literature.html">Literature</a>
</div>
</div>
<!-- Information -->
<div class="container_12">
<div class="grid_9">
<h2>Literature</h2>
<p class="bib"><a name="r2019-tplp"></a>
Christoph Redl.<br>
<b>Inlining External Sources in Answer Set Programs</b>.<br>
Theory and Practice of Logic Programming, 19(3):360-411, 2019.<br>
[ <a href="http://www.kr.tuwien.ac.at/staff/redl/pub-redl/pub-redl-2019_bib.html#r2019-inlining-tplp">bib</a><!-- |
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications/r2019-tplp.pdf">paper</a>--> ]
</p>
<p class="bib"><a name="ekrw2018-rr-1923-18-02"></a>
Thomas Eiter, Tobias Kaminski, Christoph Redl, and Antonius Weinzierl.<br>
<b>Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Sources</b>.<br>
In <em>Journal of Artificial Intelligence Research</em>, volume 62, pages 665-727, July 2018.<br>
[ <a href="http://www.kr.tuwien.ac.at/staff/redl/pub-redl/pub-redl-2018_bib.html#ekrw2018-jair">bib</a> |
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications/ekrw2018-jair.pdf">paper</a> ]
</p>
<p class="bib"><a name="r2018-rr-1923-18-01"></a>
Christoph Redl.<br>
<b>Inconsistency in Answer Set Programs and Extensions</b>.<br>
Technical Report LOGCOMP RR-1923-18-04, Institut für
Logic and Computation, TU Wien, Favoritenstraße 9-11, A-1040 Vienna,
June 2018.<br>
[ <a href="http://www.kr.tuwien.ac.at/staff/redl/pub-redl/pub-redl-2018_bib.html#r2018-inconsistency-tr">bib</a> |
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications/r2018-rr-1923-18-04.pdf">paper</a> ]
</p>
<p class="bib"><a name="eggkrsw2018-ki"></a>
Thomas Eiter, Stefano Germano, Giovambattista Ianni, Tobias Kaminski, Christoph Redl, Peter Schüller and Antonius Weinzierl.<br>
<b>The DLVHEX System</b>.<br>
KI - Künstliche Intelligenz, May 15, 2018.<br>
[ <a href="http://www.kr.tuwien.ac.at/staff/redl/pub-redl/pub-redl-2018_bib.html#eggkrsw2018-ki">bib</a> |
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications/eggkrsw2018-ki.pdf">paper</a> ]
</p>
<p class="bib"><a name="ekrw2018-rr-1923-18-02"></a>
Thomas Eiter, Tobias Kaminski, Christoph Redl, and Antonius Weinzierl.<br>
<b>Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Sources</b>.<br>
Technical Report LOGCOMP RR-1923-18-02, Institut für
Logic and Computation, TU Wien, Favoritenstraße 9-11, A-1040 Vienna,
January 2018.<br>
[ <a href="http://www.kr.tuwien.ac.at/staff/redl/pub-redl/pub-redl-2018_bib.html#ekrw2018-partial-tr">bib</a> |
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications/ekrw2018-rr-1923-18-02.pdf">paper</a> ]
</p>
<p class="bib"><a name="r2018-rr-1923-18-01"></a>
Christoph Redl.<br>
<b>Inlining External Sources in Answer Set Programs</b>.<br>
Technical Report LOGCOMP RR-1923-18-01, Institut für
Logic and Computation, TU Wien, Favoritenstraße 9-11, A-1040 Vienna,
January 2018.<br>
[ <a href="http://www.kr.tuwien.ac.at/staff/redl/pub-redl/pub-redl-2018_bib.html#r2018-inlining-tr">bib</a> |
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications/r2018-rr-1923-18-01.pdf">paper</a> ]
</p>
<p class="bib"><a name="r2017-ijcai"></a>
Christoph Redl.<br>
<b>Conflict-driven ASP Solving with External Sources and Program Splits</b>.<br>
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI 2017), August 19-25, 2017, Melbourne, Australia.<br>
[ <a href="http://www.kr.tuwien.ac.at/staff/redl/pub-redl/pub-redl-2017_bib.html#r2017-ijcai">bib</a> |
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications/r2017-ijcai-poster.pdf">poster</a> |
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications/r2017-ijcai.pdf">paper</a> ]
</p>
<p class="bib"><a name="ekw-ijcai"></a>
Thomas Eiter, Tobias Kaminski, and Antonius Weinzierl.<br>
<b>Lazy-Grounding for Answer Set Programs with External Source Access</b>.<br>
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI 2017), August 19-25, 2017, Melbourne, Australia.<br>
</p>
<p class="bib"><a name="r2017-ijcai"></a>
Christoph Redl.<br>
<b>Conflict-driven ASP Solving with External Sources and Program Splits</b>.<br>
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI 2017), August 19-25, 2017, Melbourne, Australia.<br>
[ <a href="http://www.kr.tuwien.ac.at/staff/redl/pub-redl/pub-redl-2017_bib.html#r2017-ijcai">bib</a> |
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications/r2017-ijcai-poster.pdf">poster</a> |
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications/r2017-ijcai.pdf">paper</a> ]
</p>
<p class="bib"><a name="ekrsw2017-rw"></a>
Thomas Eiter, Tobias Kaminski, Peter Schüller, Christoph Redl, and Antonius Weinzierl.<br>
<b>Answer Set Programming with External Source Access</b>.<br>
Reasoning Web. Semantic Interoperability on the Web - 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures.<br>
[ <a href="http://www.kr.tuwien.ac.at/staff/redl/pub-redl/pub-redl-2017_bib.html#ekrsw2017-rw">bib</a> |
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications/ekrsw2017-rw-slides.pdf">slides</a> |
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications/ekrsw2017-rw.pdf">paper</a> ]
</p>
<p class="bib"><a name="w-lpnmr"></a>
Antonius Weinzierl.<br>
<b>Blending Lazy-Grounding and CDNL Search for Answer-Set Solving</b>.<br>
Proceedings of the Fourteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017), July 3-6, 2017, Helsinki, Finland.<br>
</p>
<p class="bib"><a name="r2017b-lpnmr"></a>
Christoph Redl.<br>
<b>Explaining Inconsistency in Answer Set Programs and Extensions</b>.<br>
Proceedings of the Fourteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017), July 3-6, 2017, Helsinki, Finland.<br>
[ <a href="http://www.kr.tuwien.ac.at/staff/redl/pub-redl/pub-redl-2017_bib.html#r2017a-lpnmr">bib</a> |
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications/r2017a-lpnmr-slides.pdf">slides</a> |
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications/r2017a-lpnmr.pdf">paper</a> ]
</p>
<p class="bib"><a name="r2017a-lpnmr"></a>
Christoph Redl.<br>
<b>Answer Set Programs with Queries over Subprograms</b>.<br>
Proceedings of the Fourteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017), July 3-6, 2017, Helsinki, Finland.<br>
[ <a href="http://www.kr.tuwien.ac.at/staff/redl/pub-redl/pub-redl-2017_bib.html#r2017a-lpnmr">bib</a> |
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications/r2017a-lpnmr-slides.pdf">slides</a> |
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications/r2017a-lpnmr.pdf">paper</a> ]
</p>
<p class="bib"><a name="r2017b-aaai"></a>
Christoph Redl.<br>
<b>On Equivalance and Inconsistency of Answer Set Programs with External Sources</b>.<br>
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17), February 4-9, 2017, San Francisco, California, USA.<br>
[ <a href="http://www.kr.tuwien.ac.at/staff/redl/pub-redl/pub-redl-2017_bib.html#r2017b-aaai">bib</a> |
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications/r2017b-aaai-poster.pdf"#>poster</a> |
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications/r2017b-aaai.pdf">paper</a> ]
</p>
<p class="bib"><a name="r2017a-aaai"></a>
Christoph Redl.<br>
<b>Efficient Evaluation of Answer Set Programs with External Sources Based on External Source Inlining</b>.<br>
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17), February 4-9, 2017, San Francisco, California, USA.<br>
[ <a href="http://www.kr.tuwien.ac.at/staff/redl/pub-redl/pub-redl-2017_bib.html#r2017a-aaai">bib</a> |
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications/r2017a-aaai-poster.pdf">poster</a> |
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications/r2017a-aaai.pdf">paper</a> ]
</p>
<p class="bib"><a name="r2017-padl"></a>
Christoph Redl.<br>
<b>Extending Answer Set Programs with Interpreted Functions as First-class Citizens</b>.<br>
Proceedings of the Nineteenth International Symposium on Practical Aspects of Declarative Languages (PADL 2017), January 16-17, 2017, Paris, France.<br>
[ <a href="http://www.kr.tuwien.ac.at/staff/redl/pub-redl/pub-redl-2017_bib.html#r2017-padl">bib</a> |
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications/r2017-padl-slides.pdf">slides</a> |
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications/r2017-padl.pdf">paper</a> ]
</p>
<p class="bib"><a name="rr2017-padl"></a>
Jakob Rath and Christoph Redl.<br>
<b>Integrating Answer Set Programming with Procedural Languages</b>.<br>
Proceedings of the Nineteenth International Symposium on Practical Aspects of Declarative Languages (PADL 2017), January 16-17, 2017, Paris, France.<br>
[ <a href="http://www.kr.tuwien.ac.at/staff/redl/pub-redl/pub-redl-2017_bib.html#rr2017-padl">bib</a> |
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications/rr2017-padl-slides.pdf">slides</a> |
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications/rr2017-padl.pdf">paper</a> ]
</p>
<p class="bib"><a name="r2016-rcrp"></a>
Christoph Redl.<br>
<b>Automated Benchmarking of KR-Systems</b>.<br>
Proceedings of the Twenty-Third RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, November 28, 2016, Genova, Italy.<br>
[ <a href="http://www.kr.tuwien.ac.at/staff/redl/pub-redl/pub-redl-2016_bib.html#r2016-rcra">bib</a> |
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications/r2016-rcra-slides.pdf">slides</a> |
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications/r2016-rcra.pdf">paper</a> ]
</p>
<p class="bib"><a name="r2016-iclp"></a>
Christoph Redl.<br>
<b>The DLVHEX System for Knowledge Representation and Reasoning (System Description)</b>.<br>
Theory and Practice of Logic Programming, 16(4-5):866-883, 2016.<br>
[ <a href="http://www.kr.tuwien.ac.at/staff/redl/pub-redl/pub-redl-2016_bib.html#r2016-tplp">bib</a> |
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications/r2016-tplp-slides.pdf">slides</a> |
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications/r2016-tplp.pdf">paper</a> ]
</p>
<p class="bib"><a name="icghrstw2016-ieee"></a>
Giovambattista Ianni, Francesco Calimeri, Stefano Germano, Andreas Humenberger, Christoph Redl, Daria Stepanova, Andrea Tucci, and Anton Wimmer.<br>
<b>Angry-HEX: an Artificial Player for Angry Birds Based on Declarative Knowledge Bases</b>.<br>
IEEE Transactions on Computational Intelligence and AI in Games, 8(2):128-139, 2016.<br>
[ <a href="http://www.kr.tuwien.ac.at/staff/redl/pub-redl/pub-redl-2016_bib.html#icghrstw2016-ieee">bib</a> |
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications/cfghirstw2016-tciaig.pdf">paper</a> ]
</p>
<p class="bib"><a name="efikrs2016-tplp"></a>
Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, and Peter Schüller.<br>
<b>A Model Building Framework for Answer Set Programming with External Computations</b>.<br>
Theory and Practice of Logic Programming, 16(4):418-464, 2016<br>
[ <a href="http://www.kr.tuwien.ac.at/staff/redl/pub-redl/pub-redl-2016_bib.html#efikrs2016-tplp">bib</a> |
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications//efikrs2016-tplp.pdf">paper</a> ]
</p>
<p class="bib"><a name="ekrw2016-ijcai"></a>
Thomas Eiter, Tobias Kaminski, Christoph Redl, and Antonius Weinzierl.<br>
<b>Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access</b>.<br>
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI 2016), July 9--15, 2016, New York, New York, USA.<br>
[ <a href="http://www.kr.tuwien.ac.at/staff/redl/pub-redl/pub-redl-2016_bib.html#ekrw2016-ijcai">bib</a> |
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications//ekrw2016-ijcai.pdf">paper</a> ]
</p>
<p class="bib"><a name="ers2016-festschrift"></a>
Thomas Eiter, Christoph Redl, and Peter Schüller.<br>
<b>Problem Solving Using the HEX Family</b>.<br>
In Christoph Beierle, Gerhard Brewka, and Matthias Thimm, editors,
<i>Computational Models of Rationality - Essays dedicated to Gabriele Kern-Isberner on the occasion of her 60th birthday</i>,
Tributes, pages 150-174. College Publications, January 2016.<br>
[ <a href="http://www.kr.tuwien.ac.at/staff/redl/pub-redl/pub-redl-2016_bib.html#ers2016-festschrift">bib</a> |
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications//ers2016-festschrift.pdf">paper</a> ]
</p>
<p class="bib"><a name="efkrs2016-aij"></a>
Thomas Eiter, Michael Fink, Thomas Krennwallner, and Christoph Redl.<br>
<b>Domain Expansion for ASP-Programs with External Sources</b>.<br>
In <em>Artificial Intelligence</em>, volume 233, pages 84-121, 2016<br>
[ <a href="http://www.kr.tuwien.ac.at/staff/redl/pub-redl/pub-redl-2016_bib.html#efkrs2016-aij">bib</a> |
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications//efkrs2016-aij.pdf">paper</a> ]
</p>
<p class="bib"><a name="r2016-rr-1843-16-01.pdf"></a>
Christoph Redl.<br>
<b>The ABC Benchmarking System - User Guide</b>.<br>
Technical Report INFSYS RR-1843-16-01, Institut für
Informationssysteme, TU Wien, Favoritenstraße 9-11, A-1040 Vienna,
January 2016.<br>
[ <a href="http://www.kr.tuwien.ac.at/staff/redl/pub-redl/pub-redl-2016_bib.html#r2016-rr-1843-16-01.pdf">bib</a> |
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications/r2016-rr-1843-16-01.pdf">paper</a> ]
</p>
<p class="bib"><a name="ers2015-rr-1843-15-07"></a>
Thomas Eiter, Christoph Redl, and Peter Schüller.<br>
<b>Problem Solving Using the HEX Family</b>.<br>
Technical Report INFSYS RR-1843-15-07, Institut für
Informationssysteme, TU Wien, Favoritenstraße 9-11, A-1040 Vienna,
December 2015.<br>
[ <a href="http://www.kr.tuwien.ac.at/staff/redl/pub-redl/pub-redl-2015_bib.html#ers2015-rr-1843-15-07">bib</a> |
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications/ers2015-rr-1843-15-07.pdf">paper</a> ]
</p>
<p class="bib"><a name="emrs2015-rr-1843-15-05.pdf"></a>
Thomas Eiter, Mustafa Mehuljic, Christoph Redl, and Peter Schüller.<br>
<b>User Guide: dlvhex 2.X</b>.<br>
Technical Report INFSYS RR-1843-15-05, Institut für
Informationssysteme, TU Wien, Favoritenstraße 9-11, A-1040 Vienna,
September 2015.<br>
[ <a href="http://www.kr.tuwien.ac.at/staff/redl/pub-redl/pub-redl-2015_bib.html#emrs2015-rr-1843-15-05.pdf">bib</a> |
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications/emrs2015-rr-1843-15-05.pdf">paper</a> ]
</p>
<p class="bib"><a name="icghrstw2015-ieee"></a>
Giovambattista Ianni, Francesco Calimeri, Stefano Germano, Andreas Humenberger, Christoph Redl, Daria Stepanova, Andrea Tucci, and Anton Wimmer.<br>
<b>Angry-HEX: an Artificial Player for Angry Birds Based on Declarative Knowledge Bases</b>.<br>
IEEE Transactions on Computational Intelligence and AI in Games, 8(2):128-139, 2016.<br>
[ <a href="http://www.kr.tuwien.ac.at/staff/redl/pub-redl/pub-redl-2015_bib.html#icghrstw2015-ieee">bib</a><!-- |
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications/icghrstw2015-ieee">paper</a>--> ]
</p>
<p class="bib"><a name="efikrs2015-rr-1843-15-01"></a>
Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, and Peter Schüller.<br>
<b>A Model Building Framework for Answer Set Programming with External Computations</b>.<br>
Theory and Practice of Logic Programming, 16(4):418-464, 2016.<br>
[ <a href="http://www.kr.tuwien.ac.at/staff/redl/pub-redl/pub-redl-2015_bib.html#efikrs2015-tplp">bib</a><!-- |
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications/efikrs2015-tplp.pdf">paper</a>--> ]
</p>
<p class="bib"><a name="derr2015-aspocp"></a>
Alessandro De Rosis, Thomas Eiter, Christoph Redl, and Francesco Ricca.<br>
<b>Constraint Answer Set Programming based on HEX-Programs</b>.<br>
In Eighth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2015), August 31, 2015, Cork, Ireland, August 2015.<br>
[ <a href="http://www.kr.tuwien.ac.at/staff/redl/pub-redl/pub-redl-2015_bib.html#derr2015-aspocp">bib</a><!-- |
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications/derr2015-aspocp.pdf">paper</a>--> ]
</p>
<p class="bib"><a name="efikrs2015-rr-1843-15-01"></a>
Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, and Peter Schüller.<br>
<b>A Model Building Framework for Answer Set Programming with External Computations</b>.<br>
Technical Report INFSYS RR-1843-15-01, Institut für
Informationssysteme, TU Wien, Favoritenstraße 9-11, A-1040 Vienna,
January 2015.<br>
[ <a href="http://www.kr.tuwien.ac.at/staff/redl/pub-redl/pub-redl-2015_bib.html#efikrs2015-rr-1843-15-01">bib</a> |
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications/efikrs2015-rr-1843-15-01.pdf">paper</a> ]
</p>
<p class="bib"><a name="efkrs2014-rr-1843-14-02"></a>
Thomas Eiter, Michael Fink, Thomas Krennwallner, and Christoph Redl.<br>
<b>Domain Expansion for ASP-Programs with External Sources</b>.<br>
Technical Report INFSYS RR-1843-14-02, Institut für
Informationssysteme, TU Wien, Favoritenstraße 9-11, A-1040 Vienna,
September 2014.<br>
[ <a href="http://www.kr.tuwien.ac.at/staff/redl/pub-redl/pub-redl-2014_bib.html#efkrs2014-rr-1843-14-02">bib</a> |
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications/efkrs2012-rr-1843-14-02.pdf">paper</a> ]
</p>
<p class="bib"><a name="s2015-phd"></a>
Daria Stepanova.<br>
<b>Inconsistencies in Hybrid Knowledge Bases</b>.<br>
PhD Thesis, Vienna University of Technology, A-1040 Vienna, Karlsplatz 13, March 2015.<br>
[ <a href="http://www.kr.tuwien.ac.at/research/projects/hexhex/publications_bib.html#s2015-phd">bib</a> |
<a href="http://www.kr.tuwien.ac.at/staff/dasha/thesis/defense_talk.pdf">slides</a> |
<a href="http://www.kr.tuwien.ac.at/staff/dasha/thesis/dissertation.pdf">paper</a> ]
</p>
<p class="bib"><a name="efs2014-jelia"></a>
Thomas Eiter, Michael Fink, and Daria Stepanova<br>
<b>Computing Repairs for Inconsistent DL-programs over EL Ontologies</b>.<br>
In <em>Fourteenth
European Conference on Logics in Artificial Intelligence (JELIA 2014)</em>, September 24-26, 2014, Madeira, Portugal</em>.<br>
[ <a href="http://www.kr.tuwien.ac.at/research/projects/hexhex/publications_bib.html#efs2014-jelia">bib</a> <!--|
<a href="http://www.kr.tuwien.ac.at/staff/dasha/">slides</a> |
<a href="http://www.kr.tuwien.ac.at/staff/dasha/">paper</a> -->]
</p>
<p class="bib"><a name="efkrs2014-rr-1843-14-02"></a>
Thomas Eiter, Michael Fink, Thomas Krennwallner, and Christoph Redl.<br>
<b>Domain Expansion for ASP-Programs with External Sources</b>.<br>
Technical Report INFSYS RR-1843-14-02, Institut für
Informationssysteme, TU Wien, Favoritenstraße 9-11, A-1040 Vienna,
September 2014.<br>
[ <a href="http://www.kr.tuwien.ac.at/staff/redl/pub-redl/pub-redl-2014_bib.html#efkrs2014-rr-1843-14-02">bib</a> |
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications/efkrs2012-rr-1843-14-02.pdf">paper</a> ]
</p>
<p class="bib"><a name="cfghirst2014-ecai-angrybirds"></a>
Francesco Calimeri, Michael Fink, Stefano Germano, Andreas Humenberger, Giovambattista Ianni, Christoph Redl, Daria Stepanova, and Andrea Tucci.<br>
<b>AngryHEX: an angry birds-playing agent based on HEX-programs</b>.<br>
Poster presentation, <em>Angry Birds Competition 2014</em>.<br>
[ <a href="http://www.kr.tuwien.ac.at/staff/redl/pub-redl/pub-redl-2014_bib.html#cfghirst2014-ecai-angrybirds">bib</a> <!--|
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications/cfghirst2014-ecai-angrybirds.pdf">paper</a> -->]
</p>
<p class="bib"><a name="efs2014-ecai"></a>
Thomas Eiter, Michael Fink, and Daria Stepanova<br>
<b>Towards Practical Deletion Repair of Inconsistent DL-programs</b>.<br>
In <em>Twenty-First
European Conference on Artificial Intelligence (ECAI 2014)</em>, August 18-22, 2014, Prague, Czech Republic</em>.<br>
[ <a href="http://www.kr.tuwien.ac.at/research/projects/hexhex/publications_bib.html#efs2014-ecai">bib</a> <!--|
<a href="http://www.kr.tuwien.ac.at/staff/dasha/">slides</a> |
<a href="http://www.kr.tuwien.ac.at/staff/dasha/">paper</a> -->]
</p>
<p class="bib"><a name="s2014-kr-dc"></a>
Daria Stepanova<br>
<b>Inconsistencies in Hybrid Knowledge Bases</b>.<br>
In <em>Doctoral Consortium of KR 2014</em>, July 20-24, 2014, Vienna, Austria</em>.<br>
[ <a href="http://www.kr.tuwien.ac.at/research/projects/hexhex/publications_bib.html#s2014-kr-dc">bib</a> <!--|
<a href="http://www.kr.tuwien.ac.at/staff/dasha/">slides</a> |
<a href="http://www.kr.tuwien.ac.at/staff/dasha/">paper</a> -->]
</p>
<p class="bib"><a name="efs2014-dl"></a>
Thomas Eiter, Michael Fink, and Daria Stepanova<br>
<b>Towards Practical Deletion Repair of Inconsistent DL-programs</b>.<br>
In <em>Twenty-Seventh
International Workshop on Description Logics (DL 2014)</em>, July 17-20, 2014, Vienna, Austria</em>.<br>
[ <a href="http://www.kr.tuwien.ac.at/research/projects/hexhex/publications_bib.html#efs2014-dl">bib</a> <!--|
<a href="http://www.kr.tuwien.ac.at/staff/dasha/">slides</a> |
<a href="http://www.kr.tuwien.ac.at/staff/dasha/">paper</a> -->]
</p>
<p class="bib"><a name="r2014-phd"></a>
Christoph Redl<br>
<b>Answer Set Programming with External Sources: Algorithms and Efficient Evaluation</b>.<br>
PhD thesis, Vienna University of Technology, Austria, April 2014.<br>
[ <a href="http://www.kr.tuwien.ac.at/staff/redl/pub-redl/pub-redl-2014_bib.html#r2014-phd">bib</a> |
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications/r2014-phd-slides.pdf">slides</a> |
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications/r2014-phd.pdf">paper</a> ]
</p>
<p class="bib"><a name="efrs2014-aaai"></a>
Thomas Eiter, Michael Fink, Christoph Redl, and Daria Stepanova<br>
<b>Exploiting Support Sets for Answer Set Programs with External Evaluations</b>.<br>
In <em>Twenty-Eighth
AAAI Conference (AAAI 2014)</em>, July 27-31, 2014, Québec City, Québec, Canada</em>,
AAAI Press, July 2014.<br>
[ <a href="http://www.kr.tuwien.ac.at/staff/redl/pub-redl/pub-redl-2014_bib.html#efrs2014-aaai">bib</a> |
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications/efrs2014-aaai.pdf">paper</a> ]
</p>
<p class="bib"><a name="efkrs2014-jair"></a>
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, and Peter Schüller<br>
<b>Efficient HEX-Program Evaluation based on Unfounded Sets</b>.<br>
In <em>Journal of Artificial Intelligence Research</em>, volume 49, pages 269-321, February 2014.<br>
[ <a href="http://www.kr.tuwien.ac.at/staff/redl/pub-redl/pub-redl-2014_bib.html#efkrs2014-jair">bib</a> <!--|
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications/efkrs2014-jair.pdf">paper</a> -->]
</p>
<p class="bib"><a name="swdrkef2014-aij"></a>
Yi-Dong Shen and Kewen Wang and Jun Deng and Christoph Redl and Thomas Krennwallner and Thomas Eiter and Michael Fink.<br>
<b>FLP Answer Set Semantics without Circular Justifications for General Logic Programs</b>.<br>
In <em>Artificial Intelligence</em>, volume 2013, pages 1-41, May 2014.<br>
[ <a href="http://www.kr.tuwien.ac.at/staff/redl/pub-redl/pub-redl-2014_bib.html#swdrkef2014-aij">bib</a> <!--|
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications/swdrkef2014-aij.pdf">paper</a> -->]
</p>
<p class="bib"><a name="cfgirw2013-pai"></a>
Francesco Calimeri, Michael Fink, Stefano Germano, Giovambattista Ianni, Christoph Redl, and Anton Wimmer.<br>
<b>AngryHEX: An Artificial Player for Angry Birds Based on Declarative Knowledge Bases</b>.<br>
In Hans Tompits, editor, <em>National Workshop and Prize on Popularize Artificial Intelligence (PAI
2013)</em>. Turin, Italy, December 2013.<br>
[ <a href="http://www.kr.tuwien.ac.at/staff/redl/pub-redl/pub-redl-2013_bib.html#cfgirw2013-pai">bib</a> <!--|
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications/cfgirw2013-pai.pdf">paper</a> -->]
</p>
<p><a name="ekr2013-inap11"></a>
Thomas Eiter, Thomas Krennwallner, and Christoph Redl.<br>
<b>HEX-Programs with Nested Program Calls</b>.<br>
In Hans Tompits, editor, <em>19th International Conference on
Applications of Declarative Programming and Knowledge Management (INAP
2011)</em>, volume 7773 of <em>LNAI</em>, pages 1-10. Springer, October 2013.<br>
[ <a href="http://www.kr.tuwien.ac.at/staff/tkren/pub/publications2013_bib.html#ekr2013-inap11">bib</a> |
<a href="http://dx.doi.org/10.1007/978-3-642-41524-1_15">DOI</a> |
<a href="http://www.kr.tuwien.ac.at/staff/tkren/pub/2012/inap2011-nestedhex.pdf">paper</a> ]
</p>
<p class="bib"><a name="efkrs2012-rr-1843-12-08"></a>
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, and Peter
Schüller.<br>
<b>Improving HEX-Program Evaluation based on Unfounded Sets</b>.<br>
Technical Report INFSYS RR-1843-12-08, Institut für
Informationssysteme, TU Wien, Favoritenstraße 9-11, A-1040 Vienna,
September 2012.<br>
[ <a href="http://www.kr.tuwien.ac.at/staff/redl/pub-redl/pub-redl-2013_bib.html#efkrs2012-rr-1843-12-08">bib</a> |
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications/efkrs2012-rr-1843-12-08.pdf">paper</a> ]
</p>
<p class="bib"><a name="cfgirw2013-ijcai-angrybirds"></a>
Francesco Calimeri, Michael Fink, Stefano Germano, Giovambattista Ianni, Christoph Redl, and Anton Wimmer.<br>
<b>AngryHEX: an angry birds-playing agent based on HEX-programs</b>.<br>
Poster presentation, <em>Angry Birds Competition 2013</em>.<br>
[ <a href="http://www.kr.tuwien.ac.at/staff/redl/pub-redl/pub-redl-2013_bib.html#cfgirw2013-ijcai-angrybirds">bib</a> <!--|
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications/cfgirw2013-ijcai-angrybirds.pdf">paper</a> -->]
</p>
<p class="bib"><a name="efkr2013-inap"></a>
Thomas Eiter, Michael Fink, Thomas Krennwallner, and Christoph Redl.<br>
<b>HEX-Programs with Existential Quantification</b>.<br>
In Ricardo Rocha, editor, <em>20th International Conference on
Applications of Declarative Programming and Knowledge Management (INAP 2013)</em>,
Kiel, Germany, September 11-13, 2013</em>, September 2013.<br>
[ <a href="http://www.kr.tuwien.ac.at/staff/redl/pub-redl/pub-redl-2013_bib.html#efkr2013-inap">bib</a> <!--|
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications/efkr2013-inap-slides.pdf">slides</a> |
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications/efkr2013-inap.pdf">paper</a> -->]
</p>
<p class="bib"><a name="efkr2013-gttv"></a>
Thomas Eiter, Michael Fink, Thomas Krennwallner, and Christoph Redl.<br>
<b>Grounding HEX-Programs with Expanding Domains</b>.<br>
In David Pearce, Shahab Tasharrofi, Evgenia Ternovska, and
Concepción Vidal, editors, <em>2nd Workshop on Grounding and
Transformations for Theories with Variables (GTTV 2013)</em>, Corunna, Spain,
September 15, 2013</em>, pages 3-15, September 2013.<br>
[ <a href="http://www.kr.tuwien.ac.at/staff/redl/pub-redl/pub-redl-2013_bib.html#efkr2013-gttv">bib</a> <!--|
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications/efkr2013-gttv.pdf">paper</a> -->]
</p>
<p class="bib"><a name="fgirs2013-lpnmr"></a>
Michael Fink, Stefano Germano, Giovambattista Ianni, Christoph Redl, and Peter Schüller.<br>
<b>ActHEX: implementing HEX programs with action atoms</b>.<br>
In Pedro Cabalar and TranCao Son, editors
<em>Proceedings of the Twelfth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013),
September 15-19, 2013, Corunna, Spain</em>,
, volume 8148 of Lecture Notes in Computer Science, pages 317–322. Springer Berlin Heidelberg, 2013.
[ <a href="http://www.kr.tuwien.ac.at/staff/redl/pub-redl/pub-redl-2013_bib.html#fgirs2013-lpnmr">bib</a> <!--|
<a href="./fgirs2013-lpnmr.pdf">paper</a> -->]
</p>
<p class="bib"><a name="efs2013-ijcai"></a>
Thomas Eiter, Michael Fink, and Daria Stepanova<br>
<b>Data Repair of Inconsistent DL-Programs</b>.<br>
In <em>Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI 2013)</em>, August 3-9, 2013, Beijing, China</em>,
IJCAI/AAAI, August 2013.<br>
[ <a href="http://www.kr.tuwien.ac.at/research/projects/hexhex/publications_bib.html#efs2013-ijcai">bib</a> |
<a href="http://www.kr.tuwien.ac.at/staff/dasha/conferences/IJCAI2013/paper/ijcai13paper.pdf">paper</a> ]
</p>
<p class="bib"><a name="efkr2013-aaai"></a>
Thomas Eiter, Michael Fink, Thomas Krennwallner, and Christoph Redl.<br>
<b>Liberal Safety for Answer Set Programs with External Sources</b>.<br>
In Marie desJardins and Michael Littman, editors, <em>Twenty-Seventh
AAAI Conference (AAAI 2013)</em>, July 14-18, 2013, Bellevue, Washington, USA</em>,
pages 267-275. AAAI Press, July 2013.<br>
[ <a href="http://www.kr.tuwien.ac.at/staff/redl/pub-redl/pub-redl-2013_bib.html#efkr2013-aaai">bib</a> <!--|
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications/efkr2013-aaai-slides.pdf">slides</a> |
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications/efkr2013-aaai.pdf">paper</a> -->]
</p>
<p class="bib">
<a name="efkrs2012-tr"></a>
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, and Peter Schüller.<br>
<strong>Improving HEX-Program Evaluation based on Unfounded Sets.</strong><br>
<em>Technical Report INFSYS RR-1843-12-08, Institut für Informationssysteme, TU Wien</em>, September 2012.<br>
[ <a href="http://www.kr.tuwien.ac.at/staff/redl/pub-redl/pub-redl-2012_bib.html.html#efkrs2012-rr-1843-12-08">bib</a> |
<a href="http://www.kr.tuwien.ac.at/research/reports/rr1208.pdf">paper</a> ]
</p>
<p class="bib">
<a name="efkrs2012-jelia"></a>
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, and Peter Schüller.<br>
<strong>Exploiting Unfounded Sets for HEX-Program Evaluation.</strong><br>
In Luis Fariñas del Cerro, Andreas Herzig, and Jérôme
Mengin, editors, <em>13th European Conference on Logics in Artificial
Intelligence (JELIA 2012), September 26-28, 2012, Toulouse, France</em>, volume
7519 of <em>LNCS</em>, pages 80-93. Springer, September 2012.<br>
[ <a href="http://www.kr.tuwien.ac.at/staff/redl/pub-redl/pub-redl-2012_bib.html#bek2012-jelia">bib</a> |
<a href="http://dx.doi.org/10.1007/978-3-642-33353-8_7">DOI</a> |
<a href="http://www.kr.tuwien.ac.at/staff/tkren/pub/2012/jelia2012-inctraffic.pdf">paper</a> ]
</p>
<p class="bib"><a name="r2012-iclp-dc"></a>
Christoph Redl.<br>
<b>Answer Set Programming with External Sources</b>.<br>
<em>In Eighth ICLP Doctoral Consortium, Budapest, Hungary, September 4, 2012</em>,
pages 469–475.<br>
[ <a href="http://www.kr.tuwien.ac.at/staff/redl/pub-redl/pub-redl-2012_bib.html#r2012-iclp-dc">bib</a> |
<a href="http://www.kr.tuwien.ac.at/staff/redl/publications/r2012-iclp-dc.pdf">paper</a> ]
</p>
<p class="bib">
<a name="efkrs2012-aspocp"></a>
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, and Peter Schüller.<br>
<strong>Eliminating Unfounded Set Checking for HEX-Programs.</strong><br>
In Michael Fink and Yuliya Lierler, editors, <em>5th Workshop on
Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), September
4, 2012, Budapest, Hungary</em>, pages 83-97, September 2012.<br>
[ <a href="http://www.kr.tuwien.ac.at/staff/redl/pub-redl/pub-redl-2012_bib.html#efkrs2012-aspocp">bib</a> |
<a href="http://www.kr.tuwien.ac.at/staff/tkren/pub/2012/aspocp2012-elim.pdf">paper</a> ]
</p>
<p class="bib">
<a name="efkr2012-iclp"></a>
Thomas Eiter, Michael Fink, Thomas Krennwallner, and Christoph Redl.<br>
<strong>Conflict-driven ASP solving with external sources.</strong><br>
<em>Theory and Practice of Logic Programming: Special Issue 28th
International Conference on Logic Programming (ICLP 2012)</em>,
12(4-5):659-679, September 2012.<br>
Published online: 05 September 2012.<br>
[ <a href="http://www.kr.tuwien.ac.at/staff/redl/pub-redl/pub-redl-2012_bib.html#efkr2012-tplp">bib</a> |
<a href="http://dx.doi.org/10.1017/S1471068412000233">DOI</a> |
<a href="http://www.kr.tuwien.ac.at/staff/tkren/pub/2012/iclp2012-cdclhex.pdf">paper</a> ]
</p>
<p><a name="ekr2011-inap"></a>
Thomas Eiter, Thomas Krennwallner, and Christoph Redl.<br>
<b>Nested HEX-Programs</b>.<br>
In Hans Tompits, editor, <em>19th International Conference on
Applications of Declarative Programming and Knowledge Management (INAP 2011),
Vienna, Austria, September 28-30, 2011</em>, number arXiv:1108.5626v1 in arXiv.<br>
Computing Research Repository (CoRR), September 2011.<br>
[ <a href="publications2011_bib.html#ekr2011-inap">bib</a> |
<a href="http://arxiv.org/abs/1108.5626">paper</a> ]
</p>
<p><a name="ekr2011-wcb"></a>
Thomas Eiter, Thomas Krennwallner, and Christoph Redl.<br>
<b>Declarative merging of and reasoning about decision
diagrams</b>.<br>
In Alessandro Dal Palù, Agostino Dovier, and Andrea Formisano,
editors, <em>Workshop on Constraint Based Methods for Bioinformatics (WCB
2011), Perugia, Italy, September 12, 2011</em>, pages 3-15. Dipartimento di
Matematica e Informatica, Universita degli Studi di Perugia, September 2011.<br>
[ <a href="publications2011_bib.html#ekr2011-wcb">bib</a> |
<a href="http://www.kr.tuwien.ac.at/staff/tkren/pub/2011/wcb11-ddmerge.pdf">paper</a> ]
</p>
<p class="bib"><a name="efiks2011-lpnmr"></a>
Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, and Peter Schüller.<br>
<strong>Pushing Efficient Evaluation of HEX Programs by Modular Decomposition</strong>.<br>
In James Delgrande and Wolfgang Faber, editors, <em>11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), Vancouver, BC, Canada, May 16-19, 2011</em>, volume 6645 of LNAI, pages 93-106. Springer, May 2011.
[ <a href="">DOI</a> ]
[ <a href="experiments.html">Experimental Data</a> ]
</p>
<p class="bib"><a name="ekr2011-padl"></a>
Christoph Redl, Thomas Eiter, and Thomas Krennwallner.<br>
<strong>Declarative Belief Set Merging using Merging Plans</strong>.<br>
In <em>13th International Symposium on Practical Aspects of Declarative Languages (PADL 2011)</em>. Volume 6539 of LNCS, pages 99-114. Springer, 2011.<br>
[ <a href="http://dx.doi.org/10.1007/978-3-642-18378-2_10">DOI</a> ]
</p>
<p class="bib"><a name="befi2010-iclp"></a>
Selen Basol, Ozan Erdem, Michael Fink, and Giovambattista Ianni.<br>
<strong>HEX Programs with Action Atoms</strong>.<br>
In Manuel Hermenegildo, Ilkka Niemela, and Torsten Schaub, editors, <em>26th International Conference on Logic Programming (ICLP 2010), Edinburgh, UK, 16-19 July, 2010</em>, pages 24-33.<br>
[ <a href="http://dx.doi.org/10.4230/LIPIcs.ICLP.2010.24">DOI</a> ]
</p>
<p class="bib"><a name="ikmp2009-iswc"></a>
Giovambattista Ianni, Thomas Krennwallner, Alessandra Martello, and Axel Polleres.<br>
<strong>Dynamic Querying of Mass-Storage RDF Data with Rule-Based Entailment Regime</strong>.<br>
In Abraham Bernstein, David R. Karger, Tom Heath, Lee Feigenbaum, Diana Maynard, Enrico Motta, and Krishnaprasad Thirunarayan, editors, <em>8th International Semantic Web Conference (ISWC 2009), Washington D.C., USA, 25-29 October, 2009</em>, volume 5823 of <em>LNCS</em>, pages 310-327. Springer, October 2009.<br>
[ <a href="http://dx.doi.org/10.1007/978-3-642-04930-9_20">DOI</a> | <a href="http://www.kr.tuwien.ac.at/staff/tkren/pub/2009/iswc2009-dynsparql.pdf">paper</a> ]
</p>
<p class="bib"><a name="deiklm2009-rewerse"></a>
Wlodzimierz Drabent, Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Thomas Lukasiewicz, and Jan Maluszynski.<br>
<strong>Hybrid Reasoning with Rules and Ontologies</strong>.<br>
In Francois Bry and Jan Maluszynski, editors, <em>Semantic Techniques for the Web: The REWERSE Perspective</em>, volume 5500 of <em>LNCS</em>, pages 1-49. Springer, September 2009.<br>
[ <a href="http://dx.doi.org/10.1007/978-3-642-04581-3_1">DOI</a> ]
</p>
<p class="bib"><a name="defk2009-lpnmr"></a>
Minh Dao-Tran, Thomas Eiter, Michael Fink, and Thomas Krennwallner.<br>
<strong>Relevance-driven Evaluation of Modular Nonmonotonic Logic Programs</strong>.<br>
In Esra Erdem, Fangzhen Lin, and Torsten Schaub, editors, <em>10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), Potsdam, Germany, 14-18 September, 2009</em>, volume 5753 of <em>LNCS</em>, pages 87-100. Springer, September 2009.<br>
[ <a href="http://dx.doi.org/10.1007/978-3-642-04238-6_10">DOI</a> | <a href="http://www.kr.tuwien.ac.at/staff/tkren/pub/2009/lpnmr2009-splitting.pdf">paper</a> ]
</p>
<p class="bib"><a name="ebdfik2009-frocos"></a>
Thomas Eiter, Gerhard Brewka, Minh Dao-Tran, Michael Fink, Giovambattista Ianni, and Thomas Krennwallner.<br>
<strong>Combining Nonmonotonic Knowledge Bases with External Sources</strong>.<br>
In Silvio Ghilardi and Roberto Sebastiani, editors, <em>7th International Symposium on Frontiers of Combining Systems (FroCos 2009), Trento, Italy, September 16-18, 2009</em>, volume 5749 of <em>LNAI</em>, pages 18-42. Springer, September 2009.<br>
[ <a href="http://dx.doi.org/10.1007/978-3-642-04222-5_2">DOI</a> ]
</p>
<p class="bib"><a name="eik2009-rw"></a>
Thomas Eiter, Giovambattista Ianni, and Thomas Krennwallner. <br>
<strong>Answer Set Programming: A Primer</strong>. <br>
In Sergio Tessaris and Enrico Franconi and Thomas Eiter and Claudio Gutierrez and Siegfried Handschuh and Marie-Christine Rousset and Renate A. Schmidt, editors, <em>5th International Reasoning Web Summer School (RW 2009), Brixen/Bressanone, Italy, August 30-September 4, 2009</em>, volume 5689 of <em>LNCS</em>, pages 40-110. Springer, September 2009.<br>
[ <a href="http://dx.doi.org/10.1007/978-3-642-03754-2_2">DOI</a> | <a href="http://www.kr.tuwien.ac.at/staff/tkren/pub/2009/rw2009-asp.pdf">paper</a> |<a href="http://www.kr.tuwien.ac.at/staff/tkren/pub/2009/rw2009-lecture.zip">slides</a> ]
</p>
<p class="bib"><a name="defk2009-iclp"></a>
Minh Dao-Tran, Thomas Eiter, Michael Fink, and Thomas Krennwallner.<br>
<strong>Modular Nonmonotonic Logic Programming Revisited</strong>.<br>
In Patricia M. Hill and David S. Warren, editors, <em>Proceedings of the 25th International Conference on Logic Programming (ICLP 2009), Pasadena, California, USA, July 14-17, 2009</em>, pages 145-159. Springer, July 2009.<br>
[ <a href="http://dx.doi.org/10.1007/978-3-642-02846-5_16">DOI</a> ]
</p>
<p class="bib"><a name="efk2009-ijcai"></a>
Thomas Eiter, Michael Fink, and Thomas Krennwallner.<br>
<strong>Decomposition of Declarative Knowledge Bases with External Functions</strong>.<br>
In Craig Boutilier, editor, <em>Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI 2009), Pasadena, California, USA, July 11-17, 2009</em>, pages 752-758. AAAI Press, July 2009.<br>
[ <a href="http://www.ijcai.org/papers09/Papers/IJCAI09-130.pdf">paper</a> ]
</p>
<p class="bib"><a name="dek2009-ecsqaru"></a>
Minh Dao-Tran, Thomas Eiter, and Thomas Krennwallner.<br>
<strong>Realizing Default Logic over Description Logic Knowledge Bases</strong>.<br>
In Claudio Sossai and Gaetano Chemello, editors, <em>Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2009), Verona, Italy, July 1-3, 2009</em> , volume 5590 of LNAI, pages 602-613. Springer, July 2009.<br>
[ <a href="http://dx.doi.org/10.1007/978-3-642-02906-6_52">DOI</a> ]
</p>
<p class="bib"><a name="ikmp2009-eswc"></a>
Giovambattista Ianni, Thomas Krennwallner, Alessandra Martello, and Axel Polleres.<br>
<strong>A Rule System for Querying Persistent RDFS Data</strong>.<br>
In Lora Arroyo, Paolo Traverso, Fabio Ciravegna, Philipp Cimiano, Tom Heath, Eero Hyvönen, Riichiro Mizoguchi, Eyal Oren, Marta Sabou, and Elena Simperl, editors, <em>Proceedings of the 6th Annual European Semantic Web Conference (ESWC2009), Heraklion, Greece, May 31-June 4, 2009</em>, volume 5554 of LNCS, pages 857-862. Springer, June 2009.<br>
[ <a href="http://dx.doi.org/10.1007/s10472-009-9111-3">DOI</a> ]
</p>
<p class="bib"><a name="eiks2009-amai"></a>
Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, and Roman Schindlauer.<br>
<strong>Exploiting conjunctive queries in description logic programs</strong>.<br>
<em>Annals of Mathematics and Artificial Intelligence. Logic in AI: A Special Issue Dedicated to Victor W. Marek on the Occasion of His 65th birthday</em>, 53(1-4):115-152, August 2008. Published online: 27 January 2009.<br>
[ <a href="http://dx.doi.org/10.1007/s10472-009-9111-3">DOI</a> ]
</p>
<p class="bib"><a name="eikp2008a"></a>
Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, and Axel Polleres.<br>
<strong>Rules and Ontologies for the Semantic Web</strong>.<br>
In Cristina Baroglio, Piero A. Bonatti, Jan Maluszynski, Massimo Marchiori, Axel Polleres, and Sebastian Schaffert, editors, <em>Reasoning Web: 4th International Summer School 2008, Venice Italy, September 7-11, 2008, Tutorial Lectures</em>, volume 5224 of LNCS, pages 1-53. Springer, September 2008.<br>
[ <a href="http://dx.doi.org/10.1007/978-3-540-85658-0_1">DOI</a> ]
</p>
<p class="bib"><a name="eite-etal-08ai"></a>
Thomas Eiter, Giovambattista Ianni, Thomas Lukasiewicz, Roman Schindlauer, and Hans Tompits.<br>
<strong>Combining answer set programming with description logics for the Semantic Web</strong>.<br>
<em>Artificial Intelligence</em>, 172 (12-13), pages 1495-1539, Elsevier, August 2008.<br>
[ <a href="http://dx.doi.org/10.1016/j.artint.2008.04.002">DOI</a> ]<br>
Also available as Technical Report INFSYS RR-1843-07-04, Institut für Informationssysteme, TU Wien, March 2007.<br>
[ <a href="http://www.kr.tuwien.ac.at/research/reports/rr0704.pdf">paper</a> ]
</p>
<p class="bib"><a name="eite-etal-dl07"></a>
Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, and Roman Schindlauer.<br>
<strong>Exploiting Conjunctive Queries in Description Logic Programs</strong>.<br>
In <em>Proceedings of the 20th International Workshop on Description Logics (DL 2007), Brixen-Bressanone, Italy</em>, June 2007.<br>
[ <a href="http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-250/paper_64.pdf">paper</a> ]<br>
Extended version appeared in <em>Proceedings of the 10th International Symposium on Artificial Intelligence and Mathematics (ISAIM2008): Logic in Artificial Intelligence: Special Session in Honor of the 65th Birthday of Victor W. Marek</em>, January 2008.<br>
[ <a href="http://isaim2008.unl.edu/PAPERS/SS1-AI+Logic/TEiter-ss1.pdf">paper</a> ]<br>
Also available as Technical Report INFSYS RR-1843-08-02, Institut für Informationssysteme, TU Wien, March 2008.<br>
[ <a href="http://www.kr.tuwien.ac.at/research/reports/rr0802.pdf">paper</a> ]
</p>
<p class="bib"><a name="schindlauer-thesis-06"></a>
Roman Schindlauer.<br>
<strong>Answer-Set Programming for the Semantic Web</strong>.<br>
PhD thesis, Vienna University of Technology, Austria, December 2006.<br>
[ <a href="http://www.kr.tuwien.ac.at/staff/former_staff/roman/papers/thesis.pdf">.pdf</a> ]
</p>
<p class="bib"><a name="eite-etal-06i"></a>
Thomas Eiter, Giovambattista Ianni, Axel Polleres, Roman Schindlauer, and Hans Tompits.<br>
<strong>Reasoning with Rules and Ontologies</strong>.<br>
In Pedro Barahona, François Bry, Enrico Franconi, Ulrike Sattler, and Nicola Henze, editors, <em>Reasoning Web, Second International Summer School, Lissabon, Portugal, Tutorial Lectures</em>, number 4126 in Lecture Notes in Computer Science (LNCS), pages 93-127. Springer, September 2006.<br>
[ <a href="http://rewerse.net/publications/download/REWERSE-RP-2006-070.pdf">paper</a> ]
</p>
<p class="bib"><a name="eiter-etal-05o"></a>
Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, and Hans Tompits.<br>
<strong>Effective Integration of Declarative Rules with External Evaluations for Semantic Web Reasoning</strong>.<br>
In York Sure and John Domingue, editors, <em>Proceedings of the 3rd European Conference on Semantic Web (ESWC 2006), Budva, Montenegro</em>, number 4011 in Lecture Notes in Computer Science (LNCS), pages 273-287. Springer, June 2006.<br>
[ <a href="http://dx.doi.org/10.1007/11762256_22">DOI</a> ]
</p>
<p class="bib"><a name="eite-etal-06d"></a>
Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, and Hans Tompits.<br>
<strong>Towards Efficient Evaluation of HEX Programs</strong>.<br>
In Jürgen Dix and Anthony Hunter, editors, <em>Proceedings of the 11th International Workshop on Nonmonotonic Reasoning (NMR-2006), Answer Set Programming Track, Lakeside, UK</em>, pages 40-46, May 2006. Available as TR IfI-06-04, Institut für Informatik, TU Clausthal, Germany.<br>
[ <a href="http://www.in.tu-clausthal.de/fileadmin/homes/techreports/ifi0604nmr.pdf">paper</a> ]
</p>
<p class="bib"><a name="eite-etal-2005-ijcai"></a>
Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, and Hans Tompits.<br>
<strong>A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer Set Programming</strong>.<br>
In Leslie Pack Kaelbling and Alessandro Saffiotti, editors, <em>Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), Edinburgh, Scotland, UK</em>, pages 90-96. Professional Book Center, July 2005.<br>
[ <a href="http://www.ijcai.org/papers/1353.pdf">paper</a> ]
</p>
<p class="bib"><a name="eite-etal-05"></a>
Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, and Hans Tompits.<br>
<strong>Nonmonotonic Description Logic Programs: Implementation and Experiments</strong>.<br>
In F. Baader and A. Voronkov, editors, <em>Proceedings 12th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2004), Montevideo, Uruguay</em>, number 3452 in LNCS, pages 511-517. Springer, 2005.<br>
</p>
<p class="bib"><a name="eite-etal-04f"></a>
Thomas Eiter, Thomas Lukasiewicz, Roman Schindlauer, and Hans Tompits.<br>
<strong>Well-founded Semantics for Description Logic Programs in the Semantic Web</strong>.<br>
In Grigoris Antoniou and Harold Boley, editors, <em>Proceedings of the 3rd International Workshop on Rules and Rule Markup Languages for the Semantic Web (RuleML 2004), Hiroshima, Japan</em>, number 3323 in Lecture Notes in Computer Science (LNCS), pages 81-97. Springer, November 2004.<br>
[ <a href="http://springerlink.metapress.com/content/5xj152lwtgw58chx">DOI</a> ]
</p>
<p class="bib"><a name="ELST2004"></a>
Thomas Eiter, Thomas Lukasiewicz, Roman Schindlauer, and Hans Tompits.<br>
<strong>Combining Answer Set Programming with Description Logics for the Semantic Web</strong>.<br>
In Didier Dubois, Christopher Welty, and Mary-Anne Williams, editors, <em>Proceedings of the 9th International Conference on Principles of Knowledge Representation and Reasoning (KR 2004), Whistler, British Columbia, Canada</em>, pages 141-151. AAAI Press, June 2004.<br>
[ <a href="http://www.aaai.org/Papers/KR/2004/KR04-017.pdf">paper</a> ]
</p>
</div>
<div class="grid_3">
<p> </p>
<p>
<img width="200" height="44" src="images/logo_whitebg.png" alt="dlvhex" id="logo">
</p>
<p>
<div style="font-size: 14pt"><label for="q">Search this Website</label></div>
<form action="http://www.google.com/cse" id="cse-search-box">
<div>
<input name="cx" id="cx" value="010363983165505105153:4bhl-l5ixd4" type="hidden" alt="Search this website">
<input name="ie" id="ie" value="UTF-8" type="hidden" alt="Search this website">
<input style="background: rgb(255, 255, 255) none repeat scroll 0% 0%; -moz-background-clip: -moz-initial; -moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;" name="q" id="q" size="19" type="text">
<input name="sa" id="sa" value="Go" type="submit">
</div>
</form>
</p>
<p>
<span style="font-size: 14pt">General</span><br>
<a href="https://github.com/hexhex/">dlvhex source code @ github.com</a><br>
<!-- a href="https://sourceforge.net/projects/dlvhex/">dlvhex: Sourceforge project</a><br/ -->
<a href="doap.rdf">Description-Of-A-Project</a>
</p>
<p>
<span style="font-size: 14pt">Popular Plugins</span><br>
<!-- <a href="http://www.polleres.net/dlvhex-sparql">SPARQL Plugin</a><br> -->
<a href="actionplugin.html">Action Plugin</a><br>
<a href="decisiondiagramsplugin.html">DecisionDiagrams Plugin</a><br>
<a href="dlplugin.html">Description Logics Plugin</a><br>
<a href="dlliteplugin.html">Description Logics Lite Plugin</a><br>
<a href="mergingplugin.html">MELD: Belief Merging Plugin</a><br>
<a href="nestedhexplugin.html">Nested HEX Plugin</a><br>
<a href="http://www.kr.tuwien.ac.at/research/systems/mcsie">MCSIE Plugin</a><br>
<a href="stringplugin.html">String Plugin</a><br>
<a href="https://sourceforge.net/projects/dlvhex-semweb/">dlvhex-semweb Project</a><br>
</p>
<p>
<span style="font-size: 14pt">Documentation</span><br>
<a href="docs/userguide.pdf">User Guide</a><br>
<a href="https://github.com/hexhex/core/blob/master/README">README</a><br>
<a href="doc2x">doxygen</a><br>
<a href="doc2x/group__pluginframework.html">Writing Plugins in C++</a><br>
<a href="doc2x/group__pythonpluginframework.html">Writing Plugins in Python</a>
<!--
<a href="doc1x">doxygen version 1.X</a><br>
<a href="doc1x/group__pluginframework.html">Writing Plugins 1.X</a><br>
-->
</p>
</div> <!-- grid_3 -->
</div> <!-- container_12 -->
</body>
</html>
<!--
Local Variables:
mode: xml
End:
-->