Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Create a new EntitySchema
Merge two items
In other projects
Discussion
View source
View history
Purge
English
Log in

On stratified belief base compilation

From MaRDI portal
Publication:702098
Jump to:navigation, search

DOI10.1023/B:AMAI.0000038313.15152.5czbMath1074.68067OpenAlexW2083643938MaRDI QIDQ702098

Pierre Marquis, Sylvie Coste-Marquis

Publication date: 17 January 2005

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/b:amai.0000038313.15152.5c


zbMATH Keywords

computational complexityknowledge compilationReasoning under inconsistencystratified belief base


Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Paraconsistent logics (03B53)


Related Items

Two alternatives for handling preferences in qualitative choice logic ⋮ Extending description logics with uncertainty reasoning in possibilistic logic ⋮ Merging operators on stratified belief bases equipped with argumentative inference ⋮ A Revised Qualitative Choice Logic for Handling Prioritized Preferences ⋮ Twenty-Five Years of Preferred Subtheories ⋮ Reasoning under inconsistency: a forgetting-based approach ⋮ Weakening conflicting information for iterated revision and knowledge integration ⋮ Qualitative choice logic




This page was built for publication: On stratified belief base compilation

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:702098&oldid=12611623"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
MaRDI portal item
This page was last edited on 30 January 2024, at 10:54.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki