On the Tractable Counting of Theory Models and its Application to Truth Maintenance and Belief Revision (Q4443390): Difference between revisions

Latest revision as of 12:45, 6 June 2024

scientific article; zbMATH DE number 2024811

Language	Label	Description	Also known as
English	On the Tractable Counting of Theory Models and its Application to Truth Maintenance and Belief Revision	scientific article; zbMATH DE number 2024811

Statements

instance of

scholarly article

0 references

title

On the Tractable Counting of Theory Models and its Application to Truth Maintenance and Belief Revision (English)

0 references

published in

Journal of Applied Non-Classical Logics

0 references

publication date

11 January 2004

0 references

zbMATH Keywords

counting models

0 references

belief revision

0 references

truth maintenance

0 references

knowledge compilation

0 references

author

Adnan Darwiche

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.3166/jancl.11.11-34

0 references

cites work

A Linear-Time Algorithm for Finding Tree-Decompositions of Small Treewidth

0 references

Complexity theoretical results on partitioned (nondeterministic) binary decision diagrams

0 references

A logical notion of conditional independence: properties and applications

0 references

Constant-space reasoning in dynamic Bayesian networks

0 references

Characterizing diagnoses and systems

0 references

Logic Programming and Nonmonotonic Reasoning

0 references

On the complexity of propositional knowledge base revision, updates, and counterfactuals

0 references

Efficient Boolean manipulation with OBDD's can be extended to FBDD's

0 references

Simultaneous computation of functions, partial derivatives and estimates of rounding errors —Complexity and practicality—

0 references

Graph driven BDDs -- a new data structure for Boolean functions

0 references

Identifiers

zbMATH Open document ID

1033.03505

0 references

DOI

10.3166/jancl.11.11-34

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:4443390

@@ Property / cites work @@
+A Linear-Time Algorithm for Finding Tree-Decompositions of Small Treewidth
+Normal rank
@@ Property / cites work @@
+Complexity theoretical results on partitioned (nondeterministic) binary decision diagrams
+Normal rank
@@ Property / cites work @@
+A logical notion of conditional independence: properties and applications
+Normal rank
@@ Property / cites work @@
+Constant-space reasoning in dynamic Bayesian networks
+Normal rank
@@ Property / cites work @@
+Characterizing diagnoses and systems
@@ Property / cites work: Characterizing diagnoses and systems / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of propositional knowledge base revision, updates, and counterfactuals
+Normal rank
@@ Property / cites work @@
+Efficient Boolean manipulation with OBDD's can be extended to FBDD's
+Normal rank
@@ Property / cites work @@
+Simultaneous computation of functions, partial derivatives and estimates of rounding errors —Complexity and practicality—
+Normal rank
@@ Property / cites work @@
+Graph driven BDDs -- a new data structure for Boolean functions
+Normal rank