dblp.uni-trier.dewww.uni-trier.de

Andrea Schaerf

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
56EELuca Di Gaspero, Andrea Schaerf: Hybrid Local Search Techniques for the Generalized Balanced Academic Curriculum Problem. Hybrid Metaheuristics 2008: 146-157
2007
55EELuca Di Gaspero, Giacomo di Tollo, Andrea Roli, Andrea Schaerf: Hybrid Local Search for Constrained Financial Portfolio Selection Problems. CPAIOR 2007: 44-58
54EEIgor Pesek, Andrea Schaerf, Janez Zerovnik: Hybrid Local Search Techniques for the Resource-Constrained Project Scheduling Problem. Hybrid Metaheuristics 2007: 57-68
53EELuca Di Gaspero, Andrea Schaerf: EasySyn++: A Tool for Automatic Synthesis of Stochastic Local Search Algorithms. SLS 2007: 177-181
52EELuca Di Gaspero, Andrea Roli, Andrea Schaerf: EasyAnalyzer: An Object-Oriented Framework for the Experimental Analysis of Stochastic Local Search Algorithms. SLS 2007: 76-90
51EELuca Di Gaspero, Johannes Gärtner, Guy Kortsarz, Nysret Musliu, Andrea Schaerf, Wolfgang Slany: The minimum shift design problem. Annals OR 155(1): 79-105 (2007)
50EELuca Di Gaspero, Andrea Schaerf: A composite-neighborhood tabu search approach to the traveling tournament problem. J. Heuristics 13(2): 189-207 (2007)
2006
49 Luca Di Gaspero, Marco Chiarandini, Andrea Schaerf: A Study on the Short-Term Prohibition Mechanisms in Tabu Search. ECAI 2006: 83-87
48EEAndrea Schaerf, Luca Di Gaspero: Measurability and Reproducibility in University Timetabling Research: Discussion and Proposals. PATAT 2006: 40-49
2005
47EEMarco Cadoli, Andrea Schaerf: : Compiling problem specifications into SAT. Artif. Intell. 162(1-2): 89-120 (2005)
2004
46EENysret Musliu, Andrea Schaerf, Wolfgang Slany: Local search for shift design. European Journal of Operational Research 153(1): 51-64 (2004)
45 Luca Di Gaspero, Andrea Schaerf: The course timetabling problem: theory and practice. Intelligenza Artificiale 1(3): 47-54 (2004)
2003
44EELuca Di Gaspero, Johannes Gärtner, Guy Kortsarz, Nysret Musliu, Andrea Schaerf, Wolfgang Slany: The Minimum Shift Design Problem: Theory and Practice. ESA 2003: 593-604
43 Amnon Meisels, Andrea Schaerf: Modelling and Solving Employee Timetabling Problems. Ann. Math. Artif. Intell. 39(1-2): 41-59 (2003)
42 Luca Di Gaspero, Andrea Schaerf: EasyLocal++: an object-oriented framework for the flexible design of local-search algorithms. Softw., Pract. Exper. 33(8): 733-765 (2003)
2002
41EELuca Di Gaspero, Andrea Schaerf: Multi-neighbourhood Local Search with Application to Course Timetabling. PATAT 2002: 262-275
2001
40EEMarco Cadoli, Andrea Schaerf: Compiling Problem Specifications into SAT. ESOP 2001: 387-401
39EEAndrea Schaerf: Local Search Techniques for Constrained Portfolio Selection Problems CoRR cs.CE/0104017: (2001)
2000
38EELuca Di Gaspero, Andrea Schaerf: Tabu Search Techniques for Examination Timetabling. PATAT 2000: 104-117
37EEKrzysztof R. Apt, Andrea Schaerf: Programming in Alma-0, or Imperative and Declarative Programming Reconciled CoRR cs.LO/0004002: (2000)
36 Marco Cadoli, Giovambattista Ianni, Luigi Palopoli, Andrea Schaerf, Domenico Vasile: NP-SPEC: an executable specification language for solving all problems in NP. Comput. Lang. 26(2-4): 165-195 (2000)
35 Andrea Schaerf, Marco Cadoli, Maurizio Lenzerini: LOCAL++: A C++ framework for local search algorithms. Softw., Pract. Exper. 30(3): 233-257 (2000)
1999
34EEAndrea Schaerf, Amnon Meisels: Solving Employee Timetabling Problems by Generalized Local Search. AI*IA 1999: 380-389
33EEKrzysztof R. Apt, Andrea Schaerf: The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming. Correct System Design 1999: 89-113
32EEMarco Cadoli, Luigi Palopoli, Andrea Schaerf, Domenico Vasile: NP-SPEC: An Executable Specification Language for Solving All Problems in NP. PADL 1999: 16-30
31EEAndrea Schaerf, Maurizio Lenzerini, Marco Cadoli: LOCAL++: A C++ Framework for Local Search Algorithms. TOOLS (29) 1999: 152-161
30 Andrea Schaerf: A Survey of Automated Timetabling. Artif. Intell. Rev. 13(2): 87-127 (1999)
29EEKrzysztof R. Apt, Andrea Schaerf: The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming CoRR cs.LO/9907027: (1999)
28 Andrea Schaerf: Scheduling Sport Tournaments using Constraint Logic Programming. Constraints 4(1): 43-65 (1999)
27 Andrea Schaerf: Local search techniques for large high school timetabling problems. IEEE Transactions on Systems, Man, and Cybernetics, Part A 29(4): 368-377 (1999)
1998
26EEKrzysztof R. Apt, Jacob Brunekreef, Vincent Partington, Andrea Schaerf: Alma-O: An Imperative Language That Supports Declarative Programming. ACM Trans. Program. Lang. Syst. 20(5): 1014-1066 (1998)
25EEFrancesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt, Andrea Schaerf: An Epistemic Operator for Description Logics. Artif. Intell. 100(1-2): 225-274 (1998)
24EEMartin Buchheit, Francesco M. Donini, Werner Nutt, Andrea Schaerf: A Refined Architecture for Terminological Systems: Terminology = Schema + Views. Artif. Intell. 99(2): 209-260 (1998)
23 Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf: AL-log: Integrating Datalog and Description Logics. J. Intell. Inf. Syst. 10(3): 227-252 (1998)
1997
22 Andrea Schaerf: Combining Local Search and Look-Ahead for Scheduling and Constraint Satisfaction Problems. IJCAI 1997: 1254-1259
21EEKrzysztof R. Apt, Andrea Schaerf: Search and Imperative Programming. POPL 1997: 67-79
1996
20 Andrea Schaerf: Tabu Search Techniques for Large High-School Timetabling Problems. AAAI/IAAI, Vol. 1 1996: 363-368
19 Andrea Schaerf: Scheduling Sport Tournaments using Constraint Logic Programming. ECAI 1996: 634-638
1995
18EEAndrea Schaerf, Yoav Shoham, Moshe Tennenholtz: Adaptive Load Balancing: A Study in Multi-Agent Learning CoRR cs.AI/9505102: (1995)
17 Andrea Schaerf, Yoav Shoham, Moshe Tennenholtz: Adaptive Load Balancing: A Study in Multi-Agent Learning. J. Artif. Intell. Res. (JAIR) 2: 475-500 (1995)
1994
16 Martin Buchheit, Werner Nutt, Francesco M. Donini, Andrea Schaerf: Refining the Structure of Terminological Systems: Terminology = Schema + Views. AAAI 1994: 199-204
15EEMartin Buchheit, Francesco M. Donini, Werner Nutt, Andrea Schaerf: Terminological Systems Revisited: Terminology = Schema + Views. KRDB 1994
14 Andrea Schaerf: Reasoning with Individuals in Concept Languages. Data Knowl. Eng. 13(2): 141-176 (1994)
13 Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf: Deduction in Concept Languages: From Subsumption to Instance Checking. J. Log. Comput. 4(4): 423-452 (1994)
1993
12 Andrea Schaerf: Reasoning with Individuals in Concept Languages. AI*IA 1993: 108-119
11 Martin Buchheit, Francesco M. Donini, Andrea Schaerf: Decidable Reasoning in Terminological Knowledge Representation Systems. IJCAI 1993: 704-709
10 Andrea Schaerf: On the Complexity of the Instance Checking Problem in Concept Languages with Existential Quantification. ISMIS 1993: 508-517
9EEMartin Buchheit, Francesco M. Donini, Andrea Schaerf: Decidable Reasoning in Terminological Knowledge Representation Systems CoRR cs.AI/9312101: (1993)
8 Martin Buchheit, Francesco M. Donini, Andrea Schaerf: Decidable Reasoning in Terminological Knowledge Representation Systems. J. Artif. Intell. Res. (JAIR) 1: 109-138 (1993)
7 Andrea Schaerf: On the Complexity of the Instance Checking Problem in Concept Languages with Existential Quantification. J. Intell. Inf. Syst. 2(3): 265-278 (1993)
1992
6 Andrea Schaerf: On the Role of Subsumption Algorithms in Concept Description Languages. Description Logics 1992: 86-97
5 Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt, Andrea Schaerf: Queries, Rules and Definitions as Epistemic Sentences in Concept Languages. ECAI Workshop on Knowledge Representation and Reasoning 1992: 113-132
4 Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf, Werner Nutt: Adding Epistemic Operators to Concept Languages. KR 1992: 342-353
1991
3 Maurizio Lenzerini, Andrea Schaerf: Concept Languages as Query Languages. AAAI 1991: 471-476
2 Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf: A Hybrid System with Datalog and Concept Languages. AI*IA 1991: 88-97
1 Maurizio Lenzerini, Andrea Schaerf: Querying Concept-based Knowledge Bases. PDK 1991: 107-123

Coauthor Index

1Krzysztof R. Apt [21] [26] [29] [33] [37]
2Jacob Brunekreef [26]
3Martin Buchheit [8] [9] [11] [15] [16] [24]
4Marco Cadoli [31] [32] [35] [36] [40] [47]
5Marco Chiarandini [49]
6Francesco M. Donini [2] [4] [5] [8] [9] [11] [13] [15] [16] [23] [24] [25]
7Johannes Gärtner [44] [51]
8Luca Di Gaspero [38] [41] [42] [44] [45] [48] [49] [50] [51] [52] [53] [55] [56]
9Giovambattista Ianni [36]
10Guy Kortsarz [44] [51]
11Maurizio Lenzerini [1] [2] [3] [4] [5] [13] [23] [25] [31] [35]
12Amnon Meisels [34] [43]
13Nysret Musliu [44] [46] [51]
14Daniele Nardi [2] [4] [5] [13] [23] [25]
15Werner Nutt [4] [5] [15] [16] [24] [25]
16Luigi Palopoli [32] [36]
17Vincent Partington [26]
18Igor Pesek [54]
19Andrea Roli [52] [55]
20Yoav Shoham [17] [18]
21Wolfgang Slany [44] [46] [51]
22Moshe Tennenholtz [17] [18]
23Giacomo di Tollo [55]
24Domenico Vasile [32] [36]
25Janez Zerovnik [54]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)