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
- Endre Boros, Yves Crama, Peter L. Hammer:
Polynomial-Time Inference of All Valid Implications for Horn and Related Formulae.
21-32
- V. Chandru, Collette R. Coullard, Peter L. Hammer, M. Montanuz, Xiaorong Sun:
On Renamable Horn and Generalized Horn Functions.
33-47
- Ronen Feldman, Martin Charles Golumbic:
Ineractive Scheduling as a Constraint Satisfiability Problem.
49-73
- Harvey J. Greenberg:
Neural Networks and Heuristic Search.
75-95
- Pierre Hansen, Marcus Poggi de Aragão, Celso C. Ribeiro:
Boolean Query Optimization and the 0-1 Hyperbolic Sum Problem.
97-109
- Alain Hertz, Dominique de Werra:
The Tabu Search Metaheuristic: How we used it.
111-121
- John N. Hooker, C. Fedjiki:
Branch-and-Cut Solution of Inference Problems in Propositional Logic.
123-139
- Toshihide Ibaraki, Naoki Katoh:
Searching Minimax Game Trees under Memory Space Constraint.
141-153
- Brigitte Jaumard, P. Marchioro, Aurora Morgana, Rossella Petreschi, Bruno Simeone:
On Line 2-Satisfiability.
155-165
- Robert G. Jeroslow, Jinchang Wang:
Solving Propositional Satisfiability Problems.
167-187
- Dimitris J. Kavvadias, Christos H. Papadimitriou:
A Linear Programming Approach to Reasoning about Probabilities.
189-205
- E. M. Kleinberg:
Stochastic Discrimination.
207-239
- V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
A Theory of Nonmonotonic Rule Systems I.
241-273
- V. Wiktor Marek, Miroslaw Truszczynski:
Modal Logic for Default Reasoning.
275-302
- Kim Marriott, Lee Naish, Jean-Louis Lassez:
Most Specific Logic Programs.
303-338
- Arcot Rajasekar, Jack Minker:
On Stratified Disjunctive Programs.
339-357
- Jinchang Wang, John H. Vande Vate:
Question-Asking Strategies for Horn Clause Systems.
359-370
Last update Tue Feb 14 04:13:54 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
