73 results on '"Philippe Besnard"'
Search Results
2. Inducing Inference Relations from Inconsistency Measures.
3. Énumération des occurrences d'une chronique.
4. Semantics of Negative Sequential Patterns.
5. Admissible Generalizations of Examples as Rules.
6. Assessing Arguments with Schemes and Fallacies.
7. Subsumption and Incompatibility between Principles in Ranking-Based Argumentation.
8. Forgetting-Based Inconsistency Measure.
9. SESAME - A System for Specifying Semantics in Abstract Argumentation.
10. Logical Representation and Analysis for RC-Arguments.
11. Representing and Reasoning About Arguments Mined from Texts and Dialogues.
12. On Computing Maximal Subsets of Clauses that Must Be Satisfiable with Possibly Mutually-Contradictory Assumptive Contexts.
13. Le système Sesame : Spécifier des sémantiques argumentatives.
14. Encoding Argument Graphs in Logic.
15. Arguments Using Ontological and Causal Knowledge.
16. Revisiting Postulates for Inconsistency Measures.
17. A Formal Characterization of the Outcomes of Rule-Based Argumentation Systems.
18. A Conditional Logic-Based Argumentation Framework.
19. Handling Incoming Beliefs.
20. Logic-based fusion of legal knowledge.
21. An Argumentation Framework for Reasoning about Bounded Resources.
22. Identifying the Core of Logic-Based Argumentation Systems.
23. Enforcing Logically Weaker Knowledge in Classical Logic.
24. Overriding Subsuming Rules.
25. A Formal Analysis of Logic-Based Argumentation Systems.
26. Absurdity, Contradictions, and Logical Formalisms.
27. MUS-based generation of arguments and counter-arguments.
28. Bridging the Gap between Abstract Argumentation Systems and Logic.
29. About Agents that Reason by Case (Preliminary Report).
30. A Default Logic Patch for Default Logic.
31. Ontology-Based Inference for Causal Explanation.
32. Knowledgebase Compilation for Efficient Logical Argumentation.
33. Configurations for Inference Between Causal Statements.
34. Representing Paraconsistent Reasoning via Quantified Propositional Logic.
35. Configurations for Inference from Causal Statements: Preliminary Report.
36. Remedying Inconsistent Sets of Premises.
37. Practical First-Order Argumentation.
38. Checking the acceptability of a set of arguments.
39. Characterization of Semantics for Argument Systems.
40. Optimality Theory through Default Logic.
41. Paraconsistent Logics for Reasoning via Quantified Boolean Formulas, II: Circumscribing Inconsistent Theories.
42. Modal (Logic) Paraconsistency.
43. Optimality theory through default logic.
44. Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems.
45. Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems.
46. Significant Inferences : Preliminary Report.
47. Towards a Logic-Based Theory of Argumentation.
48. Inferring Causal Explanations.
49. Circumscribing Inconsistency.
50. Propositional Quantification for Conditional Logic.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.