scientific article

zbMath0713.68068MaRDI QIDQ3198896

Marianne Winslett

Publication date: 1989

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

non-monotonic reasoningknowledge basesmodel-based theoryprioritized cirumscription

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items

Static and dynamic aspects of goal-oriented concurrency control, A survey of belief revision and updating in classical logic, Notes on change and nonmonotony, Revision and action, Toward credible belief base revision, Reducing belief revision to circumscription (and vice versa), Belief revision and update: Complexity of model checking, Explaining updates by minimal sums