The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Andrea Schaerf: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Maurizio Lenzerini, Andrea Schaerf
    Concept Languages as Query Languages. [Citation Graph (2, 0)][DBLP]
    AAAI, 1991, pp:471-476 [Conf]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. Andrea Schaerf
    Reasoning with Individuals in Concept Languages. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1993, pp:108-119 [Conf]
  10. Andrea Schaerf, Amnon Meisels
    Solving Employee Timetabling Problems by Generalized Local Search. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1999, pp:380-389 [Conf]
  11. 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]
  12. Andrea Schaerf
    On the Role of Subsumption Algorithms in Concept Description Languages. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1992, pp:86-97 [Conf]
  13. 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]
  14. 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]
  15. Andrea Schaerf
    Scheduling Sport Tournaments using Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    ECAI, 1996, pp:634-638 [Conf]
  16. 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]
  17. Marco Cadoli, Andrea Schaerf
    Compiling Problem Specifications into SAT. [Citation Graph (0, 0)][DBLP]
    ESOP, 2001, pp:387-401 [Conf]
  18. 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]
  19. 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]
  20. Martin Buchheit, Francesco M. Donini, Werner Nutt, Andrea Schaerf
    Terminological Systems Revisited: Terminology = Schema + Views. [Citation Graph (0, 0)][DBLP]
    KRDB, 1994, pp:- [Conf]
  21. 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]
  22. Luca Di Gaspero, Andrea Schaerf
    Tabu Search Techniques for Examination Timetabling. [Citation Graph (0, 0)][DBLP]
    PATAT, 2000, pp:104-117 [Conf]
  23. 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]
  24. Maurizio Lenzerini, Andrea Schaerf
    Querying Concept-based Knowledge Bases. [Citation Graph (0, 0)][DBLP]
    PDK, 1991, pp:107-123 [Conf]
  25. Krzysztof R. Apt, Andrea Schaerf
    Search and Imperative Programming. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:67-79 [Conf]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. Andrea Schaerf
    A Survey of Automated Timetabling. [Citation Graph (0, 0)][DBLP]
    Artif. Intell. Rev., 1999, v:13, n:2, pp:87-127 [Journal]
  31. 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]
  32. 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]
  33. Andrea Schaerf
    Scheduling Sport Tournaments using Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    Constraints, 1999, v:4, n:1, pp:43-65 [Journal]
  34. 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]
  35. 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]
  36. Andrea Schaerf
    Local Search Techniques for Constrained Portfolio Selection Problems [Citation Graph (0, 0)][DBLP]
    CoRR, 2001, v:0, n:, pp:- [Journal]
  37. 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]
  38. 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]
  39. 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]
  40. 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]
  41. 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]
  42. 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]
  43. 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]
  44. 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]
  45. 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]
  46. 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]
  47. 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]
  48. 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]
  49. 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]
  50. 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]
  51. 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]
  52. 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]
  53. 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]

  54. Hybrid Local Search Techniques for the Generalized Balanced Academic Curriculum Problem. [Citation Graph (, )][DBLP]


  55. Multi-neighborhood Local Search for the Patient Admission Problem. [Citation Graph (, )][DBLP]


  56. Measurability and Reproducibility in University Timetabling Research: Discussion and Proposals. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.009secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002