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