Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top

Annals of Mathematics and Artificial Intelligence

Issue 3-4/1998

Content (8 Articles)

A formal framework for evaluating heuristic programs

Lenore Cowen, Joan Feigenbaum, Sampath Kannan

Nonmonotonic reasoning: from complexity to algorithms

C. Cayrol, M.‐C. Lagasquie‐Schiex, T. Schiex

Using computational learning strategies as a tool for combinatorial optimization

Andreas Birkendorf, Hans Ulrich Simon

Automating the synthesis of decision procedures in a constructive metatheory

Alessandro Armando, Jason Gallagher, Alan Smaill, Alan Bundy

Tractable plan existence does not imply tractable plan generation

Peter Jonsson, Christer Bäckström

Anytime clausal reasoning

Mukesh Dalal

Boosting complete techniques thanks to local search methods

Bertrand Mazure, Lakhdar Saïs, Éric Grégoire

Logic knowledge bases with two default rules

Carolina Ruiz, Jack Minker

Feb 98
Issue: 1-2/1998
Sep 98
Issue: 1-2/1998

Current Publications

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner

    Image Credits