Automated non-monotonic reasoning in System \textbf{P}
From MaRDI portal
Publication:2043430
Recommendations
Cites work
- \textsf{dl2asp}: implementing default logic via answer set programming
- A first-order probabilistic logic with approximate conditional probabilities
- A linear programming approach to reasoning about probabilities
- A logic for default reasoning
- A logic for reasoning about probabilities
- A logic with approximate conditional probabilities that can model default reasoning
- A new methodology for query answering in default logics via structure-oriented theorem proving
- A note on the rational closure of knowledge bases with both positive and negative knowledge
- A Simplex Method for Function Minimization
- Another perspective on default reasoning
- Ant Colony Optimization with Adaptive Fitness Function for Satisfiability Testing
- Artificial Intelligence and Soft Computing - ICAISC 2004
- Bee Colony Optimization - part I: The algorithm overview
- Bee colony optimization for the \(p\)-center problem
- Belief functions and default reasoning
- Computing with default logic
- Conditional entailment: bridging two approaches to default reasoning.
- Default reasoning from conditional knowledge bases: Complexity and tractable cases
- scientific article; zbMATH DE number 4152345 (Why is no real title available?)
- scientific article; zbMATH DE number 5282975 (Why is no real title available?)
- scientific article; zbMATH DE number 4069225 (Why is no real title available?)
- scientific article; zbMATH DE number 4104920 (Why is no real title available?)
- scientific article; zbMATH DE number 67496 (Why is no real title available?)
- scientific article; zbMATH DE number 1844518 (Why is no real title available?)
- Improving configuration checking for satisfiable random \(k\)-SAT instances
- Non-standard analysis
- Nonmonotonic probabilistic logics under variable-strength inheritance with overriding: complexity, algorithms, and implementation
- Nonmonotonic probabilistic reasoning under variable-strength inheritance with overriding
- Nonmonotonic reasoning, preferential models and cumulative logics
- On the consistency of defeasible databases
- Plausibility measures and default reasoning
- Probabilistic default reasoning with conditional constraints
- Probabilistic logic
- Probabilistic satisfiability
- Probabilistic satisfiability
- Routing and wavelength assignment in all-optical networks based on the bee colony optimization
- Some first-order probability logics
- The logic of conditionals. An application of probability to deductive logic
- Weak nonmonotonic probabilistic logics
- What does a conditional knowledge base entail?
Cited in
(3)
This page was built for publication: Automated non-monotonic reasoning in System \textbf{P}
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2043430)
