Automated non-monotonic reasoning in System \textbf{P}
From MaRDI portal
Publication:2043430
DOI10.1007/s10472-021-09738-2zbMath1496.68341OpenAlexW3150268247MaRDI QIDQ2043430
Tatjana Davidović, Tatjana Stojanović, Nebojša Ikodinović, Zoran Ognjanović
Publication date: 2 August 2021
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10472-021-09738-2
metaheuristicsconditional probabilitynon-monotonic reasoningswarm intelligenceprobabilistic satisfiabilityapproximate probability
Approximation methods and heuristics in mathematical programming (90C59) Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37)
Uses Software
Cites Work
- Improving configuration checking for satisfiable random \(k\)-SAT instances
- Bee colony optimization for the \(p\)-center problem
- Nonmonotonic probabilistic logics under variable-strength inheritance with overriding: complexity, algorithms, and implementation
- Conditional entailment: bridging two approaches to default reasoning.
- Probabilistic logic
- Probabilistic satisfiability
- A logic for default reasoning
- Nonmonotonic reasoning, preferential models and cumulative logics
- On the consistency of defeasible databases
- What does a conditional knowledge base entail?
- The logic of conditionals. An application of probability to deductive logic
- A linear programming approach to reasoning about probabilities
- A note on the rational closure of knowledge bases with both positive and negative knowledge
- Some first-order probability logics
- Belief functions and default reasoning
- Default reasoning from conditional knowledge bases: Complexity and tractable cases
- Probabilistic default reasoning with conditional constraints
- Computing with default logic
- A logic for reasoning about probabilities
- A new methodology for query answering in default logics via structure-oriented theorem proving
- Another perspective on default reasoning
- A logic with approximate conditional probabilities that can model default reasoning
- Weak nonmonotonic probabilistic logics
- Nonmonotonic probabilistic reasoning under variable-strength inheritance with overriding
- Ant Colony Optimization with Adaptive Fitness Function for Satisfiability Testing
- Artificial Intelligence and Soft Computing - ICAISC 2004
- dl2asp: Implementing Default Logic via Answer Set Programming
- A first-order probabilistic logic with approximate conditional probabilities
- Bee Colony Optimization - part I: The algorithm overview
- Plausibility measures and default reasoning
- A Simplex Method for Function Minimization
- Non-standard analysis
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
