Declarative Representation of Revision Strategies*

DOI10.3166/JANCL.11.151-167zbMATH Open1033.03504OpenAlexW2570319355MaRDI QIDQ4443396

Gerhard Brewka

Publication date: 11 January 2004

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/jancl.11.151-167

zbMATH Keywords

belief revisionnonmonotonic reasoningdefault reasoning

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27)

Cites Work

• Title not available (Why is that?)
• Nonmonotonic inference based on expectations
• A lattice-theoretical fixpoint theorem and its applications
• Semi-revision
• Argument-based extended logic programming with defeasible priorities
• A logical framework for default reasoning
• Cumulative default logic: In defense of nonmonotonic inference rules
• Reasoning with logic programming

Cited In (1)

• Descriptor revision

This page was built for publication: Declarative Representation of Revision Strategies*

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4443396)