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