|
Journals in DBLP
- Jinchang Wang, John H. Vande Vate
Question-Asking Strategies for Horn Clause Systems. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1990, v:1, n:, pp:- [Journal]
- Arcot Rajasekar, Jack Minker
On Stratified Disjunctive Programs. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1990, v:1, n:, pp:- [Journal]
- Kim Marriott, Lee Naish, Jean-Louis Lassez
Most Specific Logic Programs. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1990, v:1, n:, pp:- [Journal]
- V. Wiktor Marek, Miroslaw Truszczynski
Modal Logic for Default Reasoning. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1990, v:1, n:, pp:- [Journal]
- V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
A Theory of Nonmonotonic Rule Systems I. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1990, v:1, n:, pp:- [Journal]
- E. M. Kleinberg
Stochastic Discrimination. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1990, v:1, n:, pp:- [Journal]
- Dimitris J. Kavvadias, Christos H. Papadimitriou
A Linear Programming Approach to Reasoning about Probabilities. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1990, v:1, n:, pp:- [Journal]
- Brigitte Jaumard, P. Marchioro, Aurora Morgana, Rossella Petreschi, Bruno Simeone
On Line 2-Satisfiability. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1990, v:1, n:, pp:- [Journal]
- Toshihide Ibaraki, Naoki Katoh
Searching Minimax Game Trees under Memory Space Constraint. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1990, v:1, n:, pp:- [Journal]
- John N. Hooker, C. Fedjiki
Branch-and-Cut Solution of Inference Problems in Propositional Logic. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1990, v:1, n:, pp:- [Journal]
- Alain Hertz, Dominique de Werra
The Tabu Search Metaheuristic: How we used it. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1990, v:1, n:, pp:- [Journal]
- Howard A. Blair, Allen L. Brown Jr.
Definite Clause Programs are Canonical (over a suitable domain). [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1990, v:1, n:, pp:1-19 [Journal]
- Endre Boros, Yves Crama, Peter L. Hammer
Polynomial-Time Inference of All Valid Implications for Horn and Related Formulae. [Citation Graph (1, 0)][DBLP] Ann. Math. Artif. Intell., 1990, v:1, n:, pp:21-32 [Journal]
- Ronen Feldman, Martin Charles Golumbic
Ineractive Scheduling as a Constraint Satisfiability Problem. [Citation Graph (1, 0)][DBLP] Ann. Math. Artif. Intell., 1990, v:1, n:, pp:49-73 [Journal]
- Harvey J. Greenberg
Neural Networks and Heuristic Search. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1990, v:1, n:, pp:75-95 [Journal]
- Pierre Hansen, Marcus Poggi de Aragão, Celso C. Ribeiro
Boolean Query Optimization and the 0-1 Hyperbolic Sum Problem. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1990, v:1, n:, pp:97-109 [Journal]
- Robert G. Jeroslow, Jinchang Wang
Solving Propositional Satisfiability Problems. [Citation Graph (1, 0)][DBLP] Ann. Math. Artif. Intell., 1990, v:1, n:, pp:167-187 [Journal]
|