Reasoning with models
From MaRDI portal
Publication:2676579
Recommendations
Cites work
- scientific article; zbMATH DE number 4176498 (Why is no real title available?)
- scientific article; zbMATH DE number 861622 (Why is no real title available?)
- Construction of asymptotically good low-rate error-correcting codes through pseudo-random graphs
- Design by example: An application of Armstrong relations
- Horn clauses and database dependencies
- Learning to reason
- Model-preference default theories
- On sentences which are true of direct unions of algebras
- On the Structure of Armstrong Relations for Functional Dependencies
- On the hardness of approximate reasoning
- Structure identification in relational data
- The Semantics of Predicate Logic as a Programming Language
- The decision problem for some classes of sentences without quantifiers
Cited in
(29)- scientific article; zbMATH DE number 4166936 (Why is no real title available?)
- Is intractability of nonmonotonic reasoning a real drawback?
- Variations on extending partially defined Boolean functions with missing bits.
- Modeling Real Reasoning
- scientific article; zbMATH DE number 2086980 (Why is no real title available?)
- Learning taxonomic relation by case-based reasoning
- Horn approximations of empirical data
- Construction and learnability of canonical Horn formulas
- Reasoning with ordered binary decision diagrams
- Semantical and computational aspects of Horn approximations
- The incremental satisfiability problem for a two conjunctive normal form
- On functional dependencies in q-Horn theories
- Translation among CNFs, characteristic models and ordered binary decision diagrams
- Matroid Horn functions
- What makes propositional abduction tractable
- Defaults and relevance in model-based reasoning
- The complexity of reasoning with FODD and GFODD
- Computing intersections of Horn theories for reasoning with models
- Resolution based algorithms for the transversal hypergraph generation problem
- Polynomial certificates for propositional classes
- Relative entailment among probabilistic implications
- On the difference of Horn theories
- Ordered binary decision diagrams as knowledge-bases
- scientific article; zbMATH DE number 6389528 (Why is no real title available?)
- On the Boolean connectivity problem for Horn relations
- Hypergraph Horn functions
- scientific article; zbMATH DE number 2080240 (Why is no real title available?)
- Learning definite Horn formulas from closure queries
- The joy of implications, aka pure Horn formulas: mainly a survey
This page was built for publication: Reasoning with models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2676579)
