Belief revision in structured probabilistic argumentation, model and application to cyber security
DOI10.1007/S10472-015-9483-5zbMATH Open1405.68367OpenAlexW2787097606MaRDI QIDQ524938
Simon Parsons, Marcelo A. Falappa, Gerardo Simari, Paulo Shakarian, Ashkan Aleali, Damon Paulo, Geoffrey Moores
Publication date: 27 April 2017
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10472-015-9483-5
Reasoning under uncertainty in the context of artificial intelligence (68T37) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Logic programming (68N17) Logic in artificial intelligence (68T27)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- An abstract, argumentation-theoretic approach to default reasoning
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
- A general account of argumentation with preferences
- On the logic of theory change: Partial meet contraction and revision functions
- Defeasible logic programming: an argumentative approach
- Probabilistic logic
- Markov logic networks
- Explanations, belief revision and defeasible reasoning.
- Query answering under probabilistic uncertainty in Datalog\(+/-\) ontologies
- A probabilistic approach to modelling uncertain logical arguments
- Computing most probable worlds of action probabilistic logic programs: scalable estimation for \(10^{30,000}\) worlds
- Probabilistic argumentation systems
- On the Complexity of Probabilistic Abstract Argumentation Frameworks
- Semi-revision
- Computing Generalized Specificity
- Kernel contraction
- Belief Revision in Structured Probabilistic Argumentation
- A logic programming framework for possibilistic argumentation: Formalization and logical properties
- A mathematical treatment of defeasible reasoning and its implementation.
- Prioritized and non-prioritized multiple change on belief bases
- Focused most probable world computations in probabilistic logic programs
- Weighted argument systems: basic definitions, algorithms, and complexity results
Cited In (6)
- A quantitative approach to belief revision in structured probabilistic argumentation
- Explainable acceptance in probabilistic and incomplete abstract argumentation frameworks
- Argument strength in probabilistic argumentation based on defeasible rules
- Argument strength in probabilistic argumentation using confirmation theory
- Delegated updates in epistemic graphs for opponent modelling
- An approach to characterize graded entailment of arguments through a label-based framework
This page was built for publication: Belief revision in structured probabilistic argumentation, model and application to cyber security
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q524938)
