-
Notifications
You must be signed in to change notification settings - Fork 7
/
krr.bib
26153 lines (22988 loc) · 706 KB
/
krr.bib
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
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
@string{aaai = {Proceedings of the {AAAI} Conference on Artificial Intelligence}}
@string{aaaimit = {{AAAI/MIT} Press}}
@string{acm = {{ACM} Press}}
@string{acmcs = {{ACM} Computing Surveys}}
@string{acta = {Acta Informatica}}
@string{addison = {Addison-Wesley}}
@string{aei = {Advanced Engineering Informatics}}
@string{ai = {Artificial Intelligence}}
@string{aiai = {Artificial Intelligence Applications Institute}}
@string{aicom = {{AI} Communications}}
@string{aiedam = {Artificial Intelligence for Engineering Design, Analysis and Manufacturing}}
@string{aim = {{AI} Magazine}}
@string{aimsa = {AIMSA}}
@string{aisb = {AISB}}
@string{amai = {Annals of Mathematics and Artificial Intelligence}}
@string{bi = {B.I. Wissenschaftsverlag}}
@string{caap = {Proceedings of the Colloquium on Trees in Algebra and Programming}}
@string{cacm = {Communications of the {ACM}}}
@string{cade = {Proceedings of the Conference on Automated Deduction}}
@string{ci = {Computational Intelligence}}
@string{cls = {Collaborative Systems Laboratory, University of Massachusetts Amherst}}
@string{cs = {Cognitive Science}}
@string{cup = {Cambridge University Press}}
@string{dai = {Department of Artificial Intelligence}}
@string{dai-adr = {5 Forrest Hill, Edinburgh~EH1~2QL Scottland UK}}
@string{ecai = {Proceedings of the European Conference on Artificial Intelligence}}
@string{eccai = {European Coordinating Commitee for Artificial Intelligence (ECCAI)}}
@string{ecrc = {European Computer-Industrie Research Center, Munich}}
@string{elsevier = {Elsevier Science}}
@string{etai = {Electronic Transactions on Artificial Intelligence}}
@string{faw = {Forschungsinstitut für anwendungsorientierte Wissensverarbeitung}}
@string{fgcs = {Proceedings of the International Conference on Fifth Generation Computer Systems}}
@string{gi = {Gesellschaft für Informatik e.V.}}
@string{gmd = {Gesellschaft für Mathematik und Datenverarbeitung mbH}}
@string{gmd-adr = {Schlo{\ss} Birlinghoven, Postfach 1240, D-5205 St. Augustin 1}}
@string{gwai = {Proceedings of the German Workshop on Artificial Intelligence}}
@string{icalp = {Proceedings of the International Conference on Automata, Languages, and Programming}}
@string{iclp = {Proceedings of the International Conference on Logic Programming}}
@string{iclp-slp = {Proceedings of the International Conference and Symposium on Logic Programming}}
@string{icsi = {International Computer Science Institute}}
@string{ieee = {{IEEE} Computer Society Press}}
@string{ieeese = {{IEEE} Transactions on Software Engineering}}
@string{ieeetc = {{IEEE} Transactions on Computers}}
@string{ifb = {Informatik Fachberichte, Springer}}
@string{ifip = {Proceedings of the World Computer Congress of the IFIP}}
@string{ijcai = {Proceedings of the International Joint Conference on Artificial Intelligence}}
@string{ijpr = {International Journal of Production Research}}
@string{iki = {FG Intellektik, FB Informatik, TH Darmstadt}}
@string{iki:adr = {Alexanderstra{\ss}e 10, D-64283 Darmstadt, Germany}}
@string{iki:long = {Fachgebiet Intellektik, Fachbereich Informatik, Technische Hochschule Darmstadt}}
@string{inria = {INRIA}}
@string{ios = {{IOS} Press}}
@string{ipl = {Information Processing Letters}}
@string{irisa:adr = {Campus de Beaulieu, F-35042 Rennes Cedex, France}}
@string{is = {Informatik-Spektrum}}
@string{isa = {{IEEE} Intelligent Systems and their Applications}}
@string{jacm = {Journal of the ACM}}
@string{jair = {Journal of Artificial Intelligence Research}}
@string{jancl = {Journal of Applied Non-Classical Logics}}
@string{jar = {Journal of Automated Reasoning}}
@string{jcss = {Journal of Computer and System Sciences}}
@string{jds = {Journal of Data Semantics}}
@string{jim = {Journal of Intelligent Manufacturing}}
@string{jlc = {Journal of Logic and Computation}}
@string{jlp = {Journal of Logic Programming}}
@string{jsat = {Journal on Satisfiability, Boolean Modeling and Computation}}
@string{jsc = {Journal of Symbolic Computation}}
@string{jsl = {Journal of Symbolic Logic}}
@string{jsttt = {International Journal on Software Tools for Technology Transfer}}
@string{jucs = {Journal of Universal Computer Science}}
@string{kgc = {Proceedings of the Kurt Gödel Colloquium}}
@string{kluwer = {Kluwer Academic Publishers}}
@string{lics = {Proceedings of the Logic in Computer Science Conference}}
@string{lnai = {Lecture Notes in Artificial Intelligence}}
@string{lnbi = {Lecture Notes in Bioinformatics}}
@string{lncs = {Lecture Notes in Computer Science}}
@string{m-k = {Morgan Kaufmann Publishers}}
@string{mcc = {Microelectronics and Computer Technology Corporation, Austin}}
@string{n-h = {North-Holland Publishing Company}}
@string{ncai = {National Conference on Artificial Intelligence}}
@string{ngc = {New Generation Computing}}
@string{ogai = {Österreichische AI Tagung}}
@string{pitman = {Pitman / Morgan Kaufmann}}
@string{popl = {Proceedings of the ACM Symposium on Principles of Programming Languages}}
@string{rta = {Proceedings of the Conference on Rewriting Techniques and Applications}}
@string{sbm = {Systemtechnik Berner \& Mattner}}
@string{scp = {Science of Computer Programming}}
@string{sicomp = {SIAM Journal on Computing}}
@string{slp = {Proceedings of the Symposium on Logic Programming, Computer Society, Press of the IEEE, Washington}}
@string{spinw = {International SPIN Workshop on Model Checking of Software}}
@string{springer = {Springer-Verlag}}
@string{sri = {Stanford Research Institute (SRI)}}
@string{sri-adr = {333 Ravenswood Ave., Menlo Parc, CA 94025}}
@string{ta = {Triumph Adler AG}}
@string{tarc = {Proceedings of Theoretical Aspects of Reasoning about Knowledge}}
@string{tcs = {Theoretical Computer Science}}
@string{teubner = {Teubner Verlag, Stuttgart}}
@string{thd = {Technische Hochschule Darmstadt, Fachbereich Informatik}}
@string{tkde = {IEEE Transactions on Knowledge and Data Engineering}}
@string{tocl = {ACM Transactions on Computational Logic}}
@string{tocs = {ACM Transactions on Computer Systems}}
@string{tods = {ACM Transactions on Database Systems}}
@string{tog = {ACM Transactions on Graphics}}
@string{toms = {ACM Transactions on Mathematical Software}}
@string{toplas = {ACM Transactions on Programming Languages and Systems}}
@string{tplp = {Theory and Practice of Logic Programming}}
@string{tum = {Technische Universität München, Institut für Informatik}}
@string{tum-adr = {Postfach 202420, 8000 München 2 (Germany)}}
@string{ubc = {Department of Computer Science, University of British Columbia}}
@string{unibwm = {Universität der Bundeswehr München}}
@string{unif = {Proceedings of the International Workshop on Unification}}
@string{uofp = {University of Potsdam}}
@string{wiley = {John Wiley \& sons}}
@string{yale = {Department of Computer Science, Yale University}}
@article{aapesc09a,
title = {Declarative workflows: Balancing between flexibility and support},
author = {W. van der Aalst and M. Pesic and H. Schonenberg},
journal = {Computer Science - R{\&}D},
number = {2},
pages = {99-113},
volume = {23},
year = {2009}
}
@article{abaman89a,
title = {Temporal Logic Programming},
author = {M. Abadi and Z. Manna},
doi = {10.1016/S0747-7171(89)80070-7},
journal = jsc,
pages = {277-295},
volume = {8},
year = {1989}
}
@inproceedings{abblchduhewo14a,
title = {The {D-FLAT} System for Dynamic Programming on Tree Decompositions},
author = {M. Abseher and B. Bliem and G. Charwat and F. Dusberger and M. Hecher and S. Woltran},
crossref = {jelia14},
pages = {558-572}
}
@article{abcacechcolesttazd03a,
title = {Aurora: a new model and architecture for data stream management},
author = {D. Abadi and D. Carney and U. \c{C}etintemel and M. Cherniack and C. Convey and S. Lee and M. Stonebraker and N. Tatbul and S. Zdonik},
journal = {Journal on Very Large Data Bases},
number = {2},
pages = {120-139},
volume = {12},
year = {2003}
}
@inproceedings{abdsch99a,
title = {Nurse Scheduling using Constraint Logic Programming},
author = {S. Abdennadher and H. Schlenker},
crossref = {aaai99},
pages = {838-843},
url = {http://www.aaai.org/Library/IAAI/1999/iaai99-118.php}
}
@article{abgehaug23a,
title = {Coordination of Multiple Robots along given Paths with Bounded Junction Complexity},
author = {M. Abrahamsen and T. Geft and D. Halperin and B. Ugav},
doi = {10.48550/arXiv.2303.00745},
journal = {CoRR},
url = {https://doi.org/10.48550/arXiv.2303.00745},
volume = {abs/2303.00745},
year = {2023}
}
@inproceedings{abgemuscwo15a,
title = {Shift Design with Answer Set Programming},
author = {M. Abseher and M. Gebser and N. Musliu and T. Schaub and S. Woltran},
crossref = {lpnmr15},
pages = {32-39}
}
@inproceedings{abgemuscwo15b,
title = {Shift Design with Answer Set Programming},
author = {M. Abseher and M. Gebser and N. Musliu and T. Schaub and S. Woltran},
crossref = {aspocp15}
}
@article{abgemuscwo15c,
title = {Shift Design with Answer Set Programming},
author = {M. Abseher and M. Gebser and N. Musliu and T. Schaub and S. Woltran},
journal = {Fundamenta Informaticae},
number = {1},
pages = {1-25},
volume = {147},
year = {2016}
}
@book{abhuvi95a,
title = {Foundations of Databases},
author = {S. Abiteboul and R. Hull and V. Vianu},
publisher = addison,
year = {1995}
}
@incollection{abjago05a,
title = {Quad-trees: A Data Structure for Storing Pareto Sets in Multiobjective Evolutionary Algorithms with Elitism},
author = {S. Mostaghim and J. Teich},
editor = {A. Abraham and L. Jain and R. Goldberg},
booktitle = {Evolutionary Multiobjective Optimization: Theoretical Advances and Applications},
pages = {81-104},
publisher = springer,
year = {2005}
}
@inproceedings{abjoossctowa19a,
title = {Train scheduling with hybrid {ASP}},
author = {D. Abels and J. Jordi and M. Ostrowski and T. Schaub and A. Toletti and P. Wanko},
crossref = {lpnmr19},
pages = {3-17}
}
@article{abjoossctowa21a,
title = {Train scheduling with hybrid {ASP}},
author = {D. Abels and J. Jordi and M. Ostrowski and T. Schaub and A. Toletti and P. Wanko},
doi = {10.1017/S1471068420000046},
journal = tplp,
number = {3},
pages = {317-347},
volume = {21},
year = {2021}
}
@article{abniolroma12a,
title = {A New Look at {BDD}s for Pseudo-{B}oolean Constraints},
author = {I. Ab\'{\i}o and R. Nieuwenhuis and A. Oliveras and E. Rodr\'{\i}guez-Carbonell and V. Mayer-Eichberger},
journal = jair,
pages = {443-480},
volume = {45},
year = {2012}
}
@article{abscbefrhe09a,
title = {Parallel {SAT} Solving in Bounded Model Checking},
author = {E. {\'A}brah{\'a}m and T. Schubert and B. Becker and M. Fr{\"a}nzle and C. Herde},
journal = jlc,
url = {http://logcom.oxfordjournals.org/content/early/2009/02/09/logcom.exp002},
year = {2009}
}
@article{acneolro10a,
title = {Practical algorithms for unsatisfiability proof and core generation in {SAT} solvers},
author = {R. Ach{\'a} and R. Nieuwenhuis and A. Oliveras and E. Rodr{\'\i}guez-Carbonell},
journal = aicom,
pages = {145-157},
volume = {23},
year = {2010}
}
@book{adams75a,
title = {The Logic of Conditionals},
author = {E. Adams},
address = {Dordrecht},
publisher = {Reidel},
year = {1975}
}
@article{agascapevi17a,
title = {Verification for {ASP} denotational semantics: {A} case study using the {PVS} theorem prover},
author = {F. Aguado and P. Ascariz and P. Cabalar and G. P{\'e}rez and C. Vidal},
journal = {Logic Journal of the {IGPL}},
number = {2},
pages = {195-213},
volume = {25},
year = {2017}
}
@article{agcadipescscvi20a,
title = {Linear-Time Temporal Answer Set Programming},
author = {F. Aguado and P. Cabalar and M. Di{\'{e}}guez and G. P{\'{e}}rez and T. Schaub and A. Schuhmann and C. Vidal},
doi = {10.1017/S1471068421000557},
journal = tplp,
number = {1},
pages = {2-56},
volume = {23},
year = {2023}
}
@article{agcadipevi13a,
title = {Temporal equilibrium logic: a survey},
author = {F. Aguado and P. Cabalar and M. Di{\'e}guez and G. P{\'e}rez and C. Vidal},
doi = {10.1080/11663081.2013.798985},
journal = jancl,
number = {1-2},
pages = {2-24},
volume = {23},
year = {2013}
}
@article{agcadipevi17a,
title = {Temporal Equilibrium Logic with Past Operators},
author = {F. Aguado and P. Cabalar and M. Di{\'e}guez and G. P{\'e}rez and C. Vidal},
journal = jancl,
number = {3-4},
pages = {161-177},
volume = {27},
year = {2017}
}
@article{agcafapepevi19a,
title = {Forgetting auxiliary atoms in forks},
author = {F. Aguado and P. Cabalar and J. Fandinno and D. Pearce and G. P{\'e}rez and C. Vidal},
journal = ai,
pages = {575-601},
volume = {275},
year = {2019}
}
@article{agcafapepevi19b,
title = {Revisiting Explicit Negation in Answer Set Programming},
author = {F. Aguado and P. Cabalar and J. Fandinno and D. Pearce and G. P{\'e}rez and C. Vidal},
journal = tplp,
number = {5-6},
pages = {908-924},
volume = {19},
year = {2019}
}
@article{agcafapepevi22a,
title = {A polynomial reduction of forks into logic programs},
author = {F. Aguado and P. Cabalar and J. Fandinno and D. Pearce and G. P{\'e}rez and C. Vidal},
journal = ai,
pages = {103712},
volume = {308},
year = {2022}
}
@inproceedings{agcafapepevi22b,
title = {Syntactic {ASP} Forgetting with Forks},
author = {F. Aguado and P. Cabalar and J. Fandinno and D. Pearce and G. P{\'e}rez and C. Vidal},
crossref = {lpnmr22},
pages = {3-15}
}
@article{agcafapepevi24a,
title = {Syntactic {ASP} forgetting with forks},
author = {F. Aguado and P. Cabalar and J. Fandinno and D. Pearce and G. P{\'{e}}rez and C. Vidal},
journal = ai,
pages = {104033},
volume = {326},
year = {2024}
}
@inproceedings{agcafapevi20a,
title = {Explicit Negation in Linear-Dynamic Equilibrium Logic},
author = {F. Aguado and P. Cabalar and J. Fandinno and G. P{\'e}rez and C. Vidal},
crossref = {ecai20},
pages = {569-576}
}
@article{agcapepevi15a,
title = {A denotational semantics for equilibrium logic},
author = {F. Aguado and P. Cabalar and D. Pearce and G. P{\'e}rez and C. Vidal},
journal = tplp,
number = {4-5},
pages = {620-634},
volume = {15},
year = {2015}
}
@inproceedings{agcapevi08a,
title = {Strongly Equivalent Temporal Logic Programs},
author = {F. Aguado and P. Cabalar and G. P{\'e}rez and C. Vidal},
crossref = {jelia08},
pages = {8-20}
}
@inproceedings{agcapevi11a,
title = {Loop Formulas for Splitable Temporal Logic Programs},
author = {F. Aguado and P. Cabalar and G. P{\'e}rez and C. Vidal},
crossref = {lpnmr11},
pages = {80-92}
}
@article{agcapevidi17a,
title = {Temporal logic programs with variables},
author = {F. Aguado and P. Cabalar and G. P{\'e}rez and C. Vidal and M. Di{\'e}guez},
journal = tplp,
number = {2},
pages = {226-243},
volume = {17},
year = {2017}
}
@article{agomon94a,
title = {The Taming of the Cut. Classical Refutations with Analytic Cut.},
author = {M. {D}'\relax Agostino and M. Mondadori},
journal = jlc,
number = {3},
pages = {285-319},
volume = {4},
year = {1994}
}
@inproceedings{agpevi13a,
title = {Integrating Temporal Extensions of Answer Set Programming},
author = {F. Aguado and G. P{\'e}rez and C. Vidal},
crossref = {lpnmr13},
doi = {10.1007/978-3-642-40564-8_3},
pages = {23-35}
}
@article{agvahabe17a,
title = {Stream Reasoning: a Survey and Outlook: A summary of ten years of research and a vision for the next decade},
author = {D. Dell'Aglio and E. {Della Valle} and F. van Harmelen and A. Bernstein},
journal = {Data Science Journal},
volume = {1},
year = {2017}
}
@article{ahgaul72a,
title = {The Transitive Reduction of a Directed Graph},
author = {A. Aho and M. Garey and J. Ullman},
doi = {10.1137/0201008},
journal = sicomp,
number = {2},
pages = {131-137},
volume = {1},
year = {1972}
}
@inproceedings{aibikinipr13a,
title = {Analysis of Portfolio-Style Parallel {SAT} Solving on Current Multi-Core Architectures},
author = {M. Aigner and A. Biere and C. Kirsch and A. Niemetz and M. Preiner},
crossref = {pos13epic},
pages = {28-40}
}
@article{aiemas01a,
title = {Verifying security protocols as planning in logic programming},
author = {L. Aiello and F. Massacci},
journal = tocl,
number = {4},
pages = {542-580},
volume = {2},
year = {2001}
}
@book{aitkaci91a,
title = {Warren's Abstract Machine: A Tutorial Reconstruction},
author = {H. A{\"{\i}}t-Kaci},
publisher = {MIT Press},
year = {1991}
}
@inproceedings{akererpa11a,
title = {Causal Reasoning for Planning and Coordination of Multiple Housekeeping Robots},
author = {E. Aker and A. Erdogan and E. Erdem and V. Patoglu},
crossref = {lpnmr11},
pages = {311-316}
}
@inproceedings{alamdolemari19a,
title = {Evaluation of Disjunctive Programs in {WASP}},
author = {M. Alviano and G. Amendola and C. Dodaro and N. Leone and M. Maratea and F. Ricca},
crossref = {lpnmr19},
pages = {241-255}
}
@inproceedings{albrlepe02a,
title = {Evolving Logic Programs},
author = {J. Alferes and A. Brogi and J. Leite and L. Pereira},
crossref = {jelia02},
pages = {50-61}
}
@inproceedings{alcadofuleperiveza17a,
title = {The {ASP} System {DLV}2},
author = {M. Alviano and F. Calimeri and C. Dodaro and D. Fusc{\`a} and N. Leone and S. Perri and F. Ricca and P. Veltri and J. Zangari},
crossref = {lpnmr17},
pages = {215-221}
}
@article{alcafalepe11a,
title = {Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates},
author = {M. Alviano and F. Calimeri and W. Faber and N. Leone and S. Perri},
journal = jair,
pages = {487-527},
volume = {42},
year = {2011}
}
@article{alcmak82a,
title = {On the Logic of Theory Change: Contraction Functions and Their Associated Revision Functions},
author = {C. Alchourr{\'o}n and D. Makinson},
journal = {Theoria},
pages = {14-37},
volume = {48},
year = {1982}
}
@inproceedings{aldofaleri13a,
title = {{WASP}: A Native {ASP} Solver Based on Constraint Learning},
author = {M. Alviano and C. Dodaro and W. Faber and N. Leone and F. Ricca},
crossref = {lpnmr13},
pages = {54-66}
}
@article{aldofiprri23a,
title = {{ASP} and subset minimality: Enumeration, cautious reasoning and {MUS}es},
author = {M. Alviano and C. Dodaro and S. Fiorentino and A. Previti and F. Ricca},
doi = {10.1016/J.ARTINT.2023.103931},
journal = ai,
pages = {103931},
volume = {320},
year = {2023}
}
@inproceedings{aldoleri15a,
title = {Advances in {WASP}},
author = {M. Alviano and C. Dodaro and N. Leone and F. Ricca},
crossref = {lpnmr15},
pages = {40-54}
}
@inproceedings{aldoma17a,
title = {An Advanced Answer Set Programming Encoding for Nurse Scheduling},
author = {M. Alviano and C. Dodaro and M. Maratea},
editor = {F. Esposito and R. Basili and S. Ferilli and F. Lisi},
booktitle = {Proceedings of the Sixteenth International Conference of the Italian Association for Artificial Intelligence},
pages = {468-482},
publisher = springer,
series = lncs,
volume = {10640},
year = {2017}
}
@article{aldoma18a,
title = {Shared Aggregate Sets in Answer Set Programming},
author = {M. Alviano and C. Dodaro and M. Maratea},
journal = tplp,
number = {3-4},
pages = {301-318},
url = {http://arxiv.org/abs/1804.08488},
volume = {18},
year = {2018}
}
@article{aldoma18b,
title = {Nurse (re)scheduling via answer set programming},
author = {M. Alviano and C. Dodaro and M. Maratea},
doi = {10.3233/IA-170030},
journal = {Intelligenza Artificiale},
number = {2},
pages = {109-124},
publisher = ios,
volume = {12},
year = {2018}
}
@inproceedings{aldomari14a,
title = {On the Implementation of Weak Constraints in {WASP}},
author = {M. Alviano and C. Dodaro and J. Marques-Silva and F. Ricca},
crossref = {aspocp14}
}
@article{aldomari20a,
title = {Optimum Stable Model Search: Algorithms and Implementation},
author = {M. Alviano and C. Dodaro and J. Marques{-}Silva and F. Ricca},
journal = jlc,
number = {4},
pages = {863-897},
volume = {30},
year = {2020}
}
@inproceedings{aldori14a,
title = {Preliminary Report on {WASP} 2.0},
author = {M. Alviano and C. Dodaro and F. Ricca},
crossref = {nmr14}
}
@inproceedings{aldori15a,
title = {Reduct-based Stability Check Using Literal Assumptions},
author = {M. Alviano and C. Dodaro and F. Ricca},
crossref = {aspocp15}
}
@inproceedings{aldori15b,
title = {{JWASP}: A New {J}ava-Based {ASP} Solver},
author = {M. Alviano and C. Dodaro and F. Ricca},
crossref = {rcra15},
pages = {16-23}
}
@inproceedings{alelge23a,
title = {Flexible Job-shop Scheduling for Semiconductor Manufacturing with Hybrid Answer Set Programming (Application Paper)},
author = {R. Ali and M. El-Kholany and M. Gebser},
crossref = {padl23},
pages = {1-11}
}
@article{alfage15a,
title = {Rewriting Recursive Aggregates in Answer Set Programming: Back to Monotonicity},
author = {M. Alviano and W. Faber and M. Gebser},
journal = tplp,
number = {4-5},
pages = {559-573},
url = {http://arxiv.org/abs/1507.03923},
volume = {15},
year = {2015}
}
@inproceedings{alfage16a,
title = {From Non-Convex Aggregates to Monotone Aggregates in {ASP}},
author = {M. Alviano and W. Faber and M. Gebser},
crossref = {ijcai16},
pages = {4100-4104}
}
@article{alfage22a,
title = {Aggregate Semantics for Propositional Answer Set Programs},
author = {M. Alviano and W. Faber and M. Gebser},
journal = tplp,
optnumber = {},
optpages = {559-573},
optvolume = {},
url = {https://arxiv.org/abs/2109.08662},
year = {to appear}
}
@article{alfagrle12a,
title = {Magic Sets for Disjunctive {D}atalog Programs},
author = {M. Alviano and W. Faber and G. Greco and N. Leone},
journal = ai,
pages = {156-192},
volume = {187-188},
year = {2012}
}
@incollection{alfanipepfte11a,
title = {The Disjunctive {D}atalog System {DLV}},
author = {M. Alviano and W. Faber and N. Leone and S. Perri and G. Pfeifer and G. Terracina},
editor = {O. de Moor and G. Gottlob and T. Furche and A. Sellers},
booktitle = {Datalog Reloaded},
pages = {282-301},
publisher = springer,
series = lncs,
volume = {6702},
year = {2011}
}
@article{algama85a,
title = {On the Logic of Theory Change: Partial Meet Contraction and Revision Functions},
author = {C. Alchourr{\'o}n and P. G{\"a}rdenfors and D. Makinson},
journal = jsl,
pages = {510-530},
volume = {50},
year = {1985}
}
@article{allen83a,
title = {Maintaining knowledge about temporal intervals},
author = {J. Allen},
journal = cacm,
number = {11},
pages = {832-843},
volume = {26},
year = {1983}
}
@article{allepeprpr00a,
title = {Dynamic updates of non-monotonic knowledge bases},
author = {J. Alferes and J. Leite and L. Pereira and H. Przymusinska and T. Przymusinski},
journal = jlp,
number = {1-3},
pages = {43-70},
volume = {45},
year = {2000}
}
@inproceedings{allepeprpr98a,
title = {Dynamic Logic Programming},
author = {J. Alferes and J. Leite and L. Pereira and H. Przymusinska and T. Przymusinski},
crossref = {kr98},
pages = {98-109}
}
@inproceedings{allzil09a,
title = {Complexity of Decentralized Control: Special Cases},
author = {M. Allen and S. Zilberstein},
editor = {Y. Bengio and D. Schuurmans and J. Lafferty and C. Williams and A. Culotta},
booktitle = {Proceedings of the Twenty-third Annual Conference on Neural Information Processing Systems (NIPS'09)},
pages = {19-27},
publisher = {Curran Associates, Inc.},
year = {2009}
}
@incollection{almara18a,
title = {A Hybrid Reasoning Approach for Activity Recognition Based on Answer Set Programming and Dempster-Shafer Theory},
author = {F. {A}l Machot and H. Mayr and S. Ranasinghe},
editor = {K. Kyamakya and W. Mathis and R. Stoop and J. Chedjou and Z. Li},
booktitle = {Recent Advances in Nonlinear Dynamics and Synchronization},
pages = {303-318},
publisher = springer,
series = {Studies in Systems, Decision and Control},
volume = {109},
year = {2018}
}
@inproceedings{alpage09a,
title = {A Translation-Based Approach to Contingent Planning},
author = {A. Albore and H. Palacios and H. Geffner},
crossref = {ijcai09},
pages = {1623-1628}
}
@article{alpeprpr02a,
title = {{LUPS}: A language for updating logic programs},
author = {J. Alferes and L. Pereira and H. Przymusinska and T. Przymusinski},
journal = ai,
number = {1-2},
pages = {87-116},
volume = {138},
year = {2002}
}
@inproceedings{alpeprpr99a,
title = {{LUPS}: A Language for Updating Logic Programs},
author = {J. Alferes and L. Pereira and H. Przymusinska and T. Przymusinski},
crossref = {lpnmr99},
pages = {162-176}
}
@inproceedings{alrage11a,
title = {Effective Heuristics and Belief Tracking for Planning with Incomplete Information},
author = {A. Albore and M. Ram{\'{\i}}rez and H. Geffner},
crossref = {icaps11},
pages = {2-8}
}
@inproceedings{alramasa02a,
title = {Generic {ILP} versus Specialized 0-1 {ILP}: An Update},
author = {F. Aloul and A. Ramani and I. Markov and K. Sakallah},
crossref = {iccad02},
pages = {450-457}
}
@inproceedings{alrosc18a,
title = {Preference Relations by Approximation},
author = {M. Alviano and J. Romero and T. Schaub},
crossref = {kr18},
pages = {2-11}
}
@inproceedings{alrosc19a,
title = {On the Integration of CP-nets in {ASPRIN}},
author = {M. Alviano and J. Romero and T. Schaub},
crossref = {ijcai19},
doi = {10.24963/ijcai.2019/207},
pages = {1495-1501},
year = {2019}
}
@article{alucoudil97a,
title = {Model-Checking in Dense Real-Time},
author = {R. Alur and C. Courcoubetis and D. Dill},
journal = {Information and Computation},
pages = {2-34},
volume = {104},
year = {1997}
}
@inproceedings{aluhen92a,
title = {Logics and models of real time: A survey},
author = {R. Alur and T. Henzinger},
booktitle = {Real-Time: Theory in Practice},
pages = {74-106},
publisher = springer,
year = {1992}
}
@article{alvdod16a,
title = {Anytime answer set optimization via unsatisfiable core shrinking},
author = {M. Alviano and C. Dodaro},
crossref = {iclp-tc16},
doi = {10.1017/S147106841600020X},
pages = {533-551}
}
@inproceedings{alvdod17a,
title = {Unsatisfiable Core Shrinking for Anytime Answer Set Optimization},
author = {M. Alviano and C. Dodaro},
crossref = {ijcai17},
doi = {10.24963/ijcai.2017/666},
pages = {4781-4785}
}
@inproceedings{alvfab13a,
title = {The Complexity Boundary of Answer Set Programming with Generalized Atoms under the {FLP} Semantics},
author = {M. Alviano and W. Faber},
crossref = {lpnmr13},
pages = {67-72}
}
@inproceedings{alvfab19,
title = {Chain Answer Sets for Logic Programs with Generalized Atoms},
author = {M. Alviano and W. Faber},
crossref = {jelia19},
pages = {462-478}
}
@article{alvleo15a,
title = {Complexity and compilation of {GZ}-aggregates in answer set programming},
author = {M. Alviano and N. Leone},
journal = tplp,
number = {4-5},
pages = {574-587},
volume = {15},
year = {2015}
}
@article{amaigapi96a,
title = {A proof theoretical approach to default reasoning {I}. Tableaux for Default logic},
author = {G. Amati and L. Aiello and D. Gabbay and F. Pirri},
journal = jlc,
number = {2},
pages = {205-231},
volume = {6},
year = {1996}
}
@inproceedings{amanbheskisepave06a,
title = {{SPC}: a distributed, scalable platform for data mining},
author = {L. Amini and H. Andrade and R. Bhagwan and F. Eskesen and R. King and P. Philippe and Y. Park and C. Venkatramani},
booktitle = {Proceedings of the Fourth International Workshop on Data mining standards, Services and Platforms (DMSSP'06)},
pages = {27-37},
publisher = acm,
year = {2006}
}
@inproceedings{amdukukumc05a,
title = {An Analysis of {SAT}-Based Model Checking Techniques in an Industrial Environment},
author = {N. Amla and X. Du and A. Kuehlmann and R. Kurshan and K. McMillan},
crossref = {charme05},
pages = {254-268}
}
@article{ameifilemo16a,
title = {Semi-equilibrium models for paracoherent answer set programs},
author = {G. Amendola and T. Eiter and M. Fink and N. Leone and J. Moura},
journal = ai,
pages = {219-271},
volume = {234},
year = {2016}
}
@article{americ19a,
title = {Paracoherent Answer Set Semantics meets Argumentation Frameworks},
author = {G. Amendola and F. Ricca},
journal = tplp,
number = {5-6},
pages = {688-704},
volume = {19},
year = {2019}
}
@article{amfama02a,
title = {Consistency restoration and explanations in dynamic CSPs --- application to configuration},
author = {J. Amilhastre and H. Fargier and P. Marquis},
doi = {10.1016/S0004-3702(01)00162-X},
journal = ai,
number = {1-2},
pages = {199-234},
publisher = elsevier,
volume = {135},
year = {2002}
}
@inproceedings{amgilomuru20a,
title = {Synthesizing strategies under expected and exceptional environment behaviors},
author = {B. Aminof and G. {D}e Giacomo and A. Lomuscio and A. Murano and S. Rubin},
crossref = {ijcai20},
pages = {1674-1680}
}
@inproceedings{amjasesive06a,
title = {Adaptive Control of Extreme-scale Stream Processing Systems},
author = {L. Amini and N. Jain and A. Sehgal and J. Silber and O. Verscheure},
crossref = {icdcs06},
pages = {71},
year = {2006}