Conferences in DBLP

Artificial Intelligence and Mathematics (amai)
2000 (conf/amai/2000)

1. Ken Satoh, Ryuichi Nakagawa
   Discovering Critical Cases in Case-Based Reasoning. [Citation Graph (0, 0)][DBLP]
   AMAI, 2000, pp:- [Conf]
   
2. Gilles Richard
   From disagreement sets to divergence levels in ILP. [Citation Graph (0, 0)][DBLP]
   AMAI, 2000, pp:- [Conf]
   
3. Mohamed Yasser Khayata, Daniel Pacholczyk
   Qualitative Reasoning with Quantified Assertions. [Citation Graph (0, 0)][DBLP]
   AMAI, 2000, pp:- [Conf]
   
4. Oliver Kullmann
   An improved version of width restricted resolution. [Citation Graph (0, 0)][DBLP]
   AMAI, 2000, pp:- [Conf]
   
5. Stephen Kwek
   An Efficient Algorithm for Learning Upper Convex Polyhedra Using Membership Queries. [Citation Graph (0, 0)][DBLP]
   AMAI, 2000, pp:- [Conf]
   
6. Alexei Lisitsa
   Generalized vs formula circumscription over finite models. [Citation Graph (0, 0)][DBLP]
   AMAI, 2000, pp:- [Conf]
   
7. Vasco M. Manquinho, João P. Marques Silva
   On Solving Boolean Optimization with Satisfiability-Based Algorithms. [Citation Graph (0, 0)][DBLP]
   AMAI, 2000, pp:- [Conf]
   
8. Fumiaki Okushi, Allen Van Gelder
   Persistent and Quasi-Persistent Lemmas in Propositional Model Elimination. [Citation Graph (0, 0)][DBLP]
   AMAI, 2000, pp:- [Conf]
   
9. Tzachi Rosen, Eugene Santos Jr., Solomon Eyal Shimony
   Reasoning with BKBs - Algorithms and Complexity. [Citation Graph (0, 0)][DBLP]
   AMAI, 2000, pp:- [Conf]
   
10. Brigitte Jaumard, S. Lemaire, A. D. Parreira
    A deductive approach for solving probabilistic logic problems. [Citation Graph (0, 0)][DBLP]
    AMAI, 2000, pp:- [Conf]
    
11. Martin Henz, Lim Yun Fong, Lua Seet Chong, Shi Xiao Ping, J. Paul Walser, Roland H. C. Yap
    Solving Hierarchical Constraints over Finite Domains. [Citation Graph (0, 0)][DBLP]
    AMAI, 2000, pp:- [Conf]
    
12. Andreas Alexander Albrecht, Chak-Kuen Wong
    Inhomogeneous Markov Chains Applied to Pattern Classification. [Citation Graph (0, 0)][DBLP]
    AMAI, 2000, pp:- [Conf]
    
13. Sergio A. Alvarez
    Belief Combination by means of Frame Transformations. [Citation Graph (0, 0)][DBLP]
    AMAI, 2000, pp:- [Conf]
    
14. Meriema Belaidouni, Jin-Kao Hao
    A measure of combinational landscape difficulty for the Metropolis algorithm. [Citation Graph (0, 0)][DBLP]
    AMAI, 2000, pp:- [Conf]
    
15. Adam Cannon, Lenore Cowen
    Approximation Algorithms for the Class Cover Problem. [Citation Graph (0, 0)][DBLP]
    AMAI, 2000, pp:- [Conf]
    
16. Douglas A. Cenzer, Jeffrey B. Remmel, Amy Vanderbilt
    Characterizing the Set of Extensions of a Nonmonotonic Rule System with Levels. [Citation Graph (0, 0)][DBLP]
    AMAI, 2000, pp:- [Conf]
    
17. Víctor Dalmau
    A New Tractable Class of Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP]
    AMAI, 2000, pp:- [Conf]
    
18. Boi Faltings
    Using topology for spatial reasoning. [Citation Graph (0, 0)][DBLP]
    AMAI, 2000, pp:- [Conf]
    
19. Henning Fernau
    Terminal distinguishable languages. [Citation Graph (0, 0)][DBLP]
    AMAI, 2000, pp:- [Conf]
    
20. Kay Chen Tan, Loo Hay Lee, Kenny Qili Zhu
    Heuristics for Vehicle Routing Problem with Time Windows. [Citation Graph (0, 0)][DBLP]
    AMAI, 2000, pp:- [Conf]