![]() ![]() ![]() | ![]() |
|
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Note: Links lead to the DBLP on the Web. Nicola Leone Wolfgang Faber , Gianluigi Greco , Nicola Leone: Magic Sets and Their Application to Data Integration. ICDT 2005 : 306-320 Chiara Cumbo , Wolfgang Faber , Gianluigi Greco , Nicola Leone: Enhancing the Magic-Set Method for Disjunctive Datalog Programs. ICLP 2004 : 371-385 Wolfgang Faber , Nicola Leone, Gerald Pfeifer : Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity. JELIA 2004 : 200-212 Francesco Calimeri , Manuela Citrigno , Chiara Cumbo , Wolfgang Faber , Nicola Leone, Simona Perri , Gerald Pfeifer : New DLV Features for Data Integration. JELIA 2004 : 698-701 Tina Dell'Armi , Wolfgang Faber , Giuseppe Ielpa , Nicola Leone, Simona Perri , Gerald Pfeifer : System Description: DLV with Aggregates. LPNMR 2004 : 326-330 Nicola Leone, Vincenzino Lio , Giorgio Terracina : DLV DB: Adding Efficient Data Management Features to ASP. LPNMR 2004 : 341-345 Nicola Leone, Simona Perri , Francesco Scarcello : BackJumping techniques for rules instantiation in the DLV system. NMR 2004 : 258-266 Francesco Scarcello , Gianluigi Greco , Nicola Leone: Weighted Hypertree Decompositions and Optimal Query Plans. PODS 2004 : 210-221 Gianluigi Greco , Nicola Leone, Francesco Scarcello : On Weighted Hypertree Decompositions. SEBD 2004 : 54-61 Thomas Eiter , Wolfgang Faber , Nicola Leone, Gerald Pfeifer , Axel Polleres : A logic programming approach to knowledge-state planning: Semantics and complexity. ACM Trans. Comput. Log. 5 (2): 206-263 (2004) Simona Perri , Nicola Leone: Parametric connectives in Disjunctive Logic Programming. AI Commun. 17 (2): 63-74 (2004) Francesco Calimeri , Nicola Leone: Toward the Implementation of Functions in the DLV System (Preliminary Technical Report) CoRR cs.AI/0404012 : (2004) Nicola Leone, Francesco Scarcello , V. S. Subrahmanian : Optimal Models of Disjunctive Logic Programs: Semantics, Complexity, and Computation. IEEE Trans. Knowl. Data Eng. 16 (4): 487-503 (2004) Tina Dell'Armi , Wolfgang Faber , Giuseppe Ielpa , Nicola Leone, Gerald Pfeifer : Aggregate Functions in DLV. Answer Set Programming 2003 Nicola Leone, Simona Perri : Parametric Connectives in Disjunctive Logic Programming. Answer Set Programming 2003 Tina Dell'Armi , Wolfgang Faber , Giuseppe Ielpa , Nicola Leone, Gerald Pfeifer : Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV. IJCAI 2003 : 847-852 Thomas Eiter , Wolfgang Faber , Nicola Leone, Gerald Pfeifer , Axel Polleres : A logic programming approach to knowledge-state planning, II: The DLV K system. Artif. Intell. 144 (1-2): 157-211 (2003) Christoph Koch , Nicola Leone, Gerald Pfeifer : Enhancing disjunctive logic programming systems by SAT checkers. Artif. Intell. 151 (1-2): 177-212 (2003) Simona Perri , Francesco Scarcello , Nicola Leone: Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation CoRR cs.AI/0310047 : (2003) Simona Perri , Nicola Leone: Parametric Connectives in Disjunctive Logic Programming CoRR cs.AI/0311007 : (2003) Thomas Eiter , Wolfgang Faber , Nicola Leone, Gerald Pfeifer , Axel Polleres : Answer Set Planning Under Action Costs. J. Artif. Intell. Res. (JAIR) 19 : 25-71 (2003) Georg Gottlob , Nicola Leone, Francesco Scarcello : Robbers, marshals, and guards: game theoretic and logical characterizations of hypertree width. J. Comput. Syst. Sci. 66 (4): 775-808 (2003) Thomas Eiter , Wolfgang Faber , Nicola Leone, Gerald Pfeifer : Computing preferred answer sets by meta-interpretation in answer set programming. TPLP 3 (4-5): 463-498 (2003) Sergio Flesca , Sergio Greco , Nicola Leone, Giovambattista Ianni : Logics in Artificial Intelligence, European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings Springer 2002 Thomas Eiter , Wolfgang Faber , Nicola Leone, Gerald Pfeifer , Axel Polleres : Answer Set Planning under Action Costs. JELIA 2002 : 186-197 Nicola Leone, Gerald Pfeifer , Wolfgang Faber , Francesco Calimeri , Tina Dell'Armi , Thomas Eiter , Georg Gottlob , Giovambattista Ianni , Giuseppe Ielpa , Christoph Koch , Simona Perri , Axel Polleres : The DLV System. JELIA 2002 : 537-540 Thomas Eiter , Wolfgang Faber , Nicola Leone, Gerald Pfeifer , Axel Polleres : The DLV K Planning System: Progress Report. JELIA 2002 : 541-544 Francesco Calimeri , Wolfgang Faber , Nicola Leone, Gerald Pfeifer : Pruning operators for answer set programming systems. NMR 2002 : 200-209 Nicola Leone, Alfredo Mazzitelli , Francesco Scarcello : Cost-based Query Decompositions. SEBD 2002 : 390-403 Michael Gelfond , Nicola Leone: Knowledge Representation and Logic Programming. Artif. Intell. 138 (1-2): 1 (2002) Michael Gelfond , Nicola Leone: Logic programming and knowledge representation - The A-Prolog perspective. Artif. Intell. 138 (1-2): 3-38 (2002) Nicola Leone, Gerald Pfeifer , Wolfgang Faber , Thomas Eiter , Georg Gottlob , Simona Perri , Francesco Scarcello : The DLV System for Knowledge Representation and Reasoning CoRR cs.AI/0211004 : (2002) Thomas Eiter , Wolfgang Faber , Nicola Leone, Gerald Pfeifer : Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming CoRR cs.LO/0201013 : (2002) Georg Gottlob , Nicola Leone, Francesco Scarcello : Hypertree Decompositions and Tractable Queries. J. Comput. Syst. Sci. 64 (3): 579-627 (2002) Francesco Buccafurri , Wolfgang Faber , Nicola Leone: Disjunctive Logic Programs with Inheritance. TPLP 2 (3): 293-321 (2002) Georg Gottlob , Nicola Leone, Francesco Scarcello : Computing LOGCFL certificates. Theor. Comput. Sci. 270 (1-2): 761-777 (2002) Nicola Leone, Simona Perri , Francesco Scarcello : Abduction with Penalization in Logic Programming. AI*IA 2001 : 123-134 Wolfgang Faber , Nicola Leone, Gerald Pfeifer : Experimenting with Heuristics for Answer Set Programming. IJCAI 2001 : 635-640 Enrico Franconi , Antonio Laureti Palma , Nicola Leone, Simona Perri , Francesco Scarcello : Census Data Repair: a Challenging Application of Disjunctive Logic Programming. LPAR 2001 : 561-578 Nicola Leone, Simona Perri , Francesco Scarcello : Improving ASP Instantiators by Join-Ordering Methods. LPNMR 2001 : 280-294 Wolfgang Faber , Nicola Leone, Gerald Pfeifer : Optimizing the Computation of Heuristics for Answer Set Programming Systems. LPNMR 2001 : 295-308 Tina Dell'Armi , Wolfgang Faber , Giuseppe Ielpa , Christoph Koch , Nicola Leone, Simona Perri , Gerald Pfeifer : System Description: DLV. LPNMR 2001 : 424-428 Thomas Eiter , Wolfgang Faber , Nicola Leone, Gerald Pfeifer , Axel Polleres : System Description: The DLV K Planning System. LPNMR 2001 : 429-433 Georg Gottlob , Nicola Leone, Francesco Scarcello : Hypertree Decompositions: A Survey. MFCS 2001 : 37-57 Georg Gottlob , Nicola Leone, Francesco Scarcello : Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width. PODS 2001 Georg Gottlob , Nicola Leone, Francesco Scarcello : Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width. SEBD 2001 : 147-154 Nicola Leone, Simona Perri , Francesco Scarcello : Join Ordering Techniques for Knowledge Base Systems. SEBD 2001 : 79-93 Thomas Eiter , Wolfgang Faber , Nicola Leone, Gerald Pfeifer , Axel Polleres : A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity CoRR cs.AI/0112006 : (2001) Francesco Buccafurri , Wolfgang Faber , Nicola Leone: Disjunctive Logic Programs with Inheritance CoRR cs.LO/0105036 : (2001) Giovambattista Ianni , Nicola Leone, Simona Perri , Francesco Scarcello : Abduction with Penalization in Logic Programming CoRR cs.LO/0111010 : (2001) Georg Gottlob , Nicola Leone, Francesco Scarcello : The complexity of acyclic conjunctive queries. J. ACM 48 (3): 431-498 (2001) Francesco Buccafurri , Thomas Eiter , Georg Gottlob , Nicola Leone: On ACTL Formulas Having Linear Counterexamples. J. Comput. Syst. Sci. 62 (3): 463-515 (2001) Thomas Eiter , Wolfgang Faber , Nicola Leone, Gerald Pfeifer , Axel Polleres : Planning under Incomplete Knowledge. Computational Logic 2000 : 807-821 Thomas Eiter , Wolfgang Faber , Nicola Leone, Gerald Pfeifer , Axel Polleres : Using the dlv System for Planning and Diagnostic Reasoning. WLP 2000 : 125-134 Georg Gottlob , Nicola Leone, Francesco Scarcello : A comparison of structural CSP decomposition methods. Artif. Intell. 124 (2): 243-282 (2000) Thomas Eiter , Wolfgang Faber , Christoph Koch , Nicola Leone, Gerald Pfeifer : DLV - A System for Declarative Problem Solving CoRR cs.AI/0003036 : (2000) Francesco Buccafurri , Nicola Leone, Pasquale Rullo : Enhancing Disjunctive Datalog by Constraints. IEEE Trans. Knowl. Data Eng. 12 (5): 845-860 (2000) Michael Gelfond , Nicola Leone, Gerald Pfeifer : Logic Programming and Nonmonotonic Reasoning, 5th International Conference, LPNMR'99, El Paso, Texas, USA, December 2-4, 1999, Proceedings Springer 1999 Nicola Leone, Simona Perri , Pasquale Rullo : Local Search Techniques for Disjunctive Logic Programs. AI*IA 1999 : 107-118 Georg Gottlob , Nicola Leone, Francesco Scarcello : On Tractable Queries and Constraints. DEXA 1999 : 1-15 Georg Gottlob , Nicola Leone, Francesco Scarcello : Computing LOGCFL Certificates. ICALP 1999 : 361-371 Francesco Buccafurri , Wolfgang Faber , Nicola Leone: Disjunctive Logic Programs with Inheritance. ICLP 1999 : 79-93 Georg Gottlob , Nicola Leone, Francesco Scarcello : A Comparison of Structural CSP Decomposition Methods. IJCAI 1999 : 394-399 Christoph Koch , Nicola Leone: Stable Model Checking Made Easy. IJCAI 1999 : 70-75 Wolfgang Faber , Nicola Leone, Gerald Pfeifer : Pushing Goal Derivation in DLP Computations. LPNMR 1999 : 177-191 Georg Gottlob , Nicola Leone, Francesco Scarcello : Hypertree Decompositions and Tractable Queries. PODS 1999 : 21-32 Georg Gottlob , Nicola Leone, Francesco Scarcello : Hypertree Decompositions and Tractable Queries. SEBD 1999 : 275-289 Thomas Eiter , Wolfgang Faber , Nicola Leone, Gerald Pfeifer : The Diagnosis Frontend of the dlv System. AI Commun. 12 (1-2): 99-111 (1999) Francesco Buccafurri , Nicola Leone, Pasquale Rullo : Semantics and Expressiveness of Disjunctive Ordered Logic. Ann. Math. Artif. Intell. 25 (3-4): 311-337 (1999) Georg Gottlob , Nicola Leone, Helmut Veith : Succinctness as a Source of Complexity in Logical Formalisms. Ann. Pure Appl. Logic 97 (1-3): 231-260 (1999) Francesco Buccafurri , Thomas Eiter , Georg Gottlob , Nicola Leone: Enhancing Model Checking in Verification by AI Techniques. Artif. Intell. 112 (1-2): 57-104 (1999) Georg Gottlob , Nicola Leone, Francesco Scarcello : On the Complexity of Some Inductive Logic Programming Problems. New Generation Comput. 17 (1): 53-75 (1999) Nicola Leone, Luigi Palopoli , Domenico Saccà : On the Complexity of Search Queries. FMLDO 1998 : 113-127 Georg Gottlob , Nicola Leone, Francesco Scarcello : The Complexity of Acyclic Conjunctive Queries. FOCS 1998 : 706-715 Thomas Eiter , Nicola Leone, Cristinel Mateis , Gerald Pfeifer , Francesco Scarcello : Progress Report on the Disjunctive Deductive Database System dlv . FQAS 1998 : 148-163 Thomas Eiter , Nicola Leone, Cristinel Mateis , Gerald Pfeifer , Francesco Scarcello : The KR System dlv: Progress Report, Comparisons and Benchmarks. KR 1998 : 406-417 Francesco Buccafurri , Nicola Leone, Pasquale Rullo : Disjunctive Ordered Logic: Semantics and Expressiveness. KR 1998 : 418-431 Georg Gottlob , Nicola Leone, Francesco Scarcello : Hypertree Decompositions and Tractable Queries CoRR cs.DB/9812022 : (1998) Thomas Eiter , Nicola Leone, Domenico Saccà : Expressive Power and Complexity of Partial Models for Disjunctive Deductive Databases. Theor. Comput. Sci. 206 (1-2): 181-218 (1998) Thomas Eiter , Nicola Leone, Cristinel Mateis , Gerald Pfeifer , Francesco Scarcello : The Architecture of a Disjunctive Deductive Database System. APPIA-GULP-PRODE 1997 : 141-152 Francesco Buccafurri , Nicola Leone, Pasquale Rullo : Adding Weak Constraints to Disjunctive Datalog. APPIA-GULP-PRODE 1997 : 557-568 Georg Gottlob , Nicola Leone, Francesco Scarcello : On the Complexity of Some Inductive Logic Programming Problems. ILP 1997 : 17-32 Sergio Greco , Nicola Leone, Francesco Scarcello : DATALOG with Nested Rules. LPKR 1997 : 52-65 Francesco Buccafurri , Nicola Leone, Pasquale Rullo : Strong and Weak Constraints in Disjunctive Datalog. LPNMR 1997 : 2-17 Thomas Eiter , Nicola Leone, Cristinel Mateis , Gerald Pfeifer , Francesco Scarcello : A Deductive System for Non-Monotonic Reasoning. LPNMR 1997 : 364-375 Simona Citrigno , Thomas Eiter , Wolfgang Faber , Georg Gottlob , Christoph Koch , Nicola Leone, Cristinel Mateis , Gerald Pfeifer , Francesco Scarcello : The dlv System: Model Generator and Advanced Frontends (system description). WLP 1997 : 0- Laks V. S. Lakshmanan , Nicola Leone, Robert Ross , V. S. Subrahmanian : ProbView: A Flexible Probabilistic Database System. ACM Trans. Database Syst. 22 (3): 419-469 (1997) Thomas Eiter , Nicola Leone, Domenico Saccà : On the Partial Semantics for Disjunctive Deductive Databases. Ann. Math. Artif. Intell. 19 (1-2): 59-96 (1997) Thomas Eiter , Georg Gottlob , Nicola Leone: Semantics and Complexity of Abduction from Default Theories. Artif. Intell. 90 (1-2): 177-223 (1997) Nicola Leone, Clara Pizzuti , Pasquale Rullo : Efficient Evaluation of a Class of Ordered Logic Programs. Data Knowl. Eng. 23 (2): 185-214 (1997) Nicola Leone, Pasquale Rullo , Antonella Mecchia , Giuseppe Rossi : A Deductive Environment for Dealing with Objects and Nonmonotonic Reasoning. IEEE Trans. Knowl. Data Eng. 9 (4): 539-558 (1997) Nicola Leone, Pasquale Rullo , Francesco Scarcello : Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics, and Computation. Inf. Comput. 135 (2): 69-112 (1997) Thomas Eiter , Georg Gottlob , Nicola Leone: On the Indiscernibility of Individuals in Logic Programming. J. Log. Comput. 7 (6): 805-824 (1997) Thomas Eiter , Georg Gottlob , Nicola Leone: Abduction from Logic Programs: Semantics and Complexity. Theor. Comput. Sci. 189 (1-2): 129-177 (1997) Thomas Eiter , Nicola Leone, Domenico Saccà : Unfounded Sets and Partial Stable Models for Disjuntive Deductive Databases. APPIA-GULP-PRODE 1996 : 271-282 Francesco Buccafurri , Nicola Leone, Pasquale Rullo : Computing Disjunctive Ordered Logic. APPIA-GULP-PRODE 1996 : 283-294 Thomas Eiter , Nicola Leone, Domenico Saccà : Partial Semantics for Disjunctive Deductive Databases. DEXA 1996 : 564-573 Nicola Leone, Pasquale Rullo , Francesco Scarcello : On the Computation of Disjunctive Stable Models. DEXA 1996 : 654-666 Thomas Eiter , Nicola Leone, Domenico Saccà : The Expressive Power of Partial Models in Disjunctive Deductive Databases. Logic in Databases 1996 : 245-264 Nicola Leone, Pasquale Rullo , Francesco Scarcello : Stable Model Checking for Disjunctive Logic Programs. Logic in Databases 1996 : 265-278 Francesco Buccafurri , Nicola Leone, Francesco Scarcello : On the Expressive Power of Ordered Logic. AI Commun. 9 (1): 4-13 (1996) Francesco Buccafurri , Nicola Leone, Pasquale Rullo : Stable Models and Their Computation for Logic Programming with Inheritance and True Negation. J. Log. Program. 27 (1): 5-43 (1996) Francesco Buccafurri , Nicola Leone, Luigi Palopoli , Pasquale Rullo : Disjunctive Ordered Logic DEXA 1995 : 303-312 Francesco Scarcello , Nicola Leone, Luigi Palopoli : Curbing Theories: Fixpoint Semantics and Complexity Issues. GULP-PRODE 1995 : 545-556 Thomas Eiter , Georg Gottlob , Nicola Leone: Semantics and Complexity of Abduction from Default Theories. IJCAI (1) 1995 : 870-877 Nicola Leone, Francesco Scarcello : Declarative and Fixpoint Characterizations of Disjunctive Stable Models. ILPS 1995 : 399-413 Thomas Eiter , Georg Gottlob , Nicola Leone: Complexity Results for Abductive Logic Programming. LPNMR 1995 : 1-14 Georg Gottlob , Nicola Leone, Helmut Veith : Second Order Logic and the Weak Exponential Hierarchies. MFCS 1995 : 66-81 Thomas Eiter , Nicola Leone: On Modularity Properties of Partial Semantics for Disjunctive Logic Programs. WLP 1995 : 217-226 Nicola Leone, Luigi Palopoli , Massimo Romeo : A Language for Updating Logic Programs and its Implementation. J. Log. Program. 23 (1): 1-61 (1995) Francesco Buccafurri , Nicola Leone, Pasquale Rullo : A non-deterministic semantics for ordered logic programs. GULP-PRODE (1) 1994 : 449-463 Nicola Leone, Luigi Palopoli , Massimo Romeo : Modifying Intensional Logic Knowledge. Fundam. Inform. 21 (3): 183-203 (1994) Nicola Leone, Pasquale Rullo : Adding Set Terms to Ordered Logic Programs. GULP 1993 : 87-100 Nicola Leone, Luigi Palopoli , Massimo Romeo : Updating Logic Programs. ISMIS 1993 : 235-244 Nicola Leone, Fabio Messina , Tommaso Mostardi , Carlo Siciliano : Sincronizzazione e Ripristino di Transazioni Distribuite in un Sistema Multidatabase. SEBD 1993 : 185-198 Nicola Leone, Massimo Romeo , Pasquale Rullo , Domenico Saccà : Effective Implementation of Negation in Database Logic Query Languages. LOGIDATA+: Deductive Databases with Complex Objects 1993 : 159-175 Nicola Leone, Pasquale Rullo : Ordered Logic Programming with Sets. J. Log. Comput. 3 (6): 621-642 (1993) Nicola Leone, Giuseppe Rossi : Well-Founded Semantics and Stratification for Ordered Logic Programs. New Generation Comput. 12 (1): 91-121 (1993) Nicola Leone, Antonella Mecchia , Giuseppe Rossi , Pasquale Rullo : The Basic Query Machine of the KIWIS System. CAiSE 1992 : 632-650 Nicola Leone, Pasquale Rullo : Stable Model Semantics and its Computation for Ordered Logic Programs. ECAI 1992 : 92-96 Sergio Greco , Nicola Leone, Pasquale Rullo : COMPLEX: An Object-Oriented Logic Programming System. IEEE Trans. Knowl. Data Eng. 4 (4): 344-359 (1992) Nicola Leone, Pasquale Rullo : Safe computation of the well-founded semantics of Datalog queries. Inf. Syst. 17 (1): 17-31 (1992) Matts Ahlsen , Alessandro D'Atri , Paul Johannesson , Els Laenens , Nicola Leone, Pasquale Rullo , P. Rossi , François Staes , Laura Tarantino , L. Van Beirendonck , L. Van Cadsand , W. Van Santvliet , J. Vanslembrouck , Brigitte Verdonk , Dirk Vermeir : The KIWIS Knowledge Base Management System. CAiSE 1991 : 79-97 1 [ 1 ] 2 [ 1 ] 3 [ 13 ] [ 21 ] [ 22 ] [ 23 ] [ 28 ] [ 40 ] [ 43 ] [ 47 ] [ 53 ] [ 55 ] [ 62 ] [ 67 ] [ 72 ] [ 75 ] [ 89 ] 4 [ 1 ] 5 [ 96 ] [ 98 ] [ 112 ] [ 120 ] 6 [ 120 ] 7 [ 38 ] 8 [ 120 ] [ 122 ] 9 [ 1 ] 10 [ 82 ] [ 98 ] [ 108 ] [ 110 ] [ 119 ] 11 [ 15 ] [ 17 ] [ 19 ] [ 25 ] [ 27 ] [ 29 ] [ 30 ] [ 31 ] [ 35 ] [ 36 ] [ 38 ] [ 39 ] [ 44 ] [ 45 ] [ 48 ] [ 49 ] [ 53 ] [ 56 ] [ 68 ] [ 70 ] [ 71 ] [ 72 ] [ 76 ] [ 81 ] [ 91 ] [ 92 ] [ 97 ] [ 98 ] [ 99 ] [ 101 ] [ 103 ] [ 107 ] [ 114 ] 12 [ 38 ] [ 56 ] [ 59 ] [ 62 ] [ 68 ] [ 70 ] [ 71 ] [ 75 ] [ 76 ] [ 81 ] [ 82 ] [ 83 ] [ 86 ] [ 89 ] [ 91 ] [ 92 ] [ 96 ] [ 97 ] [ 98 ] [ 99 ] [ 101 ] [ 103 ] [ 107 ] [ 108 ] [ 110 ] [ 114 ] [ 119 ] [ 120 ] [ 121 ] [ 122 ] [ 123 ] 13 [ 100 ] 14 [ 85 ] 15 [ 66 ] [ 93 ] [ 94 ] 16 [ 16 ] [ 17 ] [ 19 ] [ 30 ] [ 31 ] [ 35 ] [ 38 ] [ 42 ] [ 46 ] [ 50 ] [ 52 ] [ 53 ] [ 54 ] [ 57 ] [ 58 ] [ 61 ] [ 63 ] [ 64 ] [ 69 ] [ 72 ] [ 73 ] [ 78 ] [ 79 ] [ 80 ] [ 88 ] [ 90 ] [ 92 ] [ 98 ] [ 102 ] 17 [ 115 ] [ 116 ] [ 122 ] [ 123 ] 18 [ 3 ] [ 41 ] [ 100 ] 19 [ 74 ] [ 98 ] [ 100 ] 20 [ 82 ] [ 98 ] [ 108 ] [ 110 ] [ 119 ] 21 [ 1 ] 22 [ 38 ] [ 60 ] [ 68 ] [ 82 ] [ 98 ] [ 106 ] 23 [ 1 ] 24 [ 37 ] 25 [ 118 ] 26 [ 38 ] [ 39 ] [ 44 ] [ 48 ] [ 49 ] 27 [ 95 ] 28 [ 5 ] [ 33 ] 29 [ 9 ] 30 [ 9 ] 31 [ 85 ] 32 [ 10 ] [ 12 ] [ 14 ] [ 20 ] [ 21 ] [ 51 ] 33 [ 65 ] [ 74 ] [ 77 ] [ 82 ] [ 84 ] [ 85 ] [ 87 ] [ 92 ] [ 98 ] [ 104 ] [ 105 ] [ 109 ] [ 113 ] [ 117 ] [ 119 ] [ 120 ] 34 [ 38 ] [ 39 ] [ 44 ] [ 48 ] [ 49 ] [ 56 ] [ 59 ] [ 66 ] [ 68 ] [ 70 ] [ 71 ] [ 76 ] [ 81 ] [ 82 ] [ 83 ] [ 86 ] [ 91 ] [ 92 ] [ 96 ] [ 97 ] [ 98 ] [ 99 ] [ 101 ] [ 103 ] [ 106 ] [ 107 ] [ 108 ] [ 110 ] [ 114 ] [ 119 ] [ 120 ] [ 121 ] 35 [ 34 ] 36 [ 70 ] [ 71 ] [ 76 ] [ 81 ] [ 97 ] [ 98 ] [ 99 ] [ 103 ] [ 107 ] [ 114 ] 37 [ 8 ] [ 10 ] [ 12 ] [ 14 ] 38 [ 37 ] 39 [ 5 ] [ 6 ] [ 33 ] 40 [ 1 ] 41 [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 7 ] [ 8 ] [ 11 ] [ 13 ] [ 21 ] [ 22 ] [ 24 ] [ 26 ] [ 28 ] [ 32 ] [ 33 ] [ 34 ] [ 40 ] [ 43 ] [ 47 ] [ 55 ] [ 65 ] [ 67 ] 42 [ 8 ] [ 25 ] [ 27 ] [ 29 ] [ 36 ] [ 45 ] [ 51 ] 43 [ 1 ] 44 [ 18 ] [ 20 ] [ 23 ] [ 24 ] [ 26 ] [ 32 ] [ 38 ] [ 39 ] [ 41 ] [ 42 ] [ 44 ] [ 46 ] [ 48 ] [ 49 ] [ 50 ] [ 52 ] [ 57 ] [ 58 ] [ 61 ] [ 63 ] [ 64 ] [ 69 ] [ 73 ] [ 74 ] [ 77 ] [ 78 ] [ 79 ] [ 80 ] [ 84 ] [ 85 ] [ 87 ] [ 88 ] [ 90 ] [ 92 ] [ 95 ] [ 102 ] [ 105 ] [ 111 ] [ 115 ] [ 116 ] [ 117 ] 45 [ 9 ] 46 [ 1 ] 47 [ 37 ] [ 111 ] 48 [ 1 ] 49 [ 118 ] 50 [ 1 ] 51 [ 16 ] [ 54 ] 52 [ 1 ] 53 [ 1 ] ![]() ©2005 Association for Computing Machinery |