Search

Your search keyword '"DEFEASIBLE reasoning"' showing total 120 results

Search Constraints

Start Over You searched for: Descriptor "DEFEASIBLE reasoning" Remove constraint Descriptor: "DEFEASIBLE reasoning" Publisher springer berlin heidelberg Remove constraint Publisher: springer berlin heidelberg
120 results on '"DEFEASIBLE reasoning"'

Search Results

1. A Temporal Argumentation Approach to Cooperative Planning Using Dialogues

2. On the Development of a Formal Methodology for Knowledge Representation in Defeasible Logic Programming

3. Extending a Temporal Defeasible Argumentation Framework with Possibilistic Weights

4. HARM: A Hybrid Rule-Based Agent Reputation Model Based on Temporal Defeasible Logic

5. Irrationality in Persuasive Argumentation

6. Forgetting for Defeasible Logic

8. An Architecture for Defeasible-Reasoning-Based Cooperative Distributed Planning

9. Extending a Multi-agent Reasoning Interoperability Framework with Services for the Semantic Web Logic and Proof Layers

10. Backing and Undercutting in Defeasible Logic Programming

11. Using Exclusion Logic to Model Social Practices

12. A Contract Agreement Policy-Based Workflow Methodology for Agents Interacting in the Semantic Web

13. Defeasibility in Answer Set Programs via Argumentation Theories

15. Towards Modelling Defeasible Reasoning with Imperfection in Production Rule Systems

16. Logic Programming with Defaults and Argumentation Theories

20. Defeasible Reasoning and Partial Order Planning

21. An Alternative Foundation for DeLP: Defeating Relations and Truth Values

22. Evaluation

24. Proof Explanation in the DR-DEVICE System

27. Progressive Defeat Paths in Abstract Argumentation Frameworks

28. A Visual Environment for Developing Defeasible Rule Bases for the Semantic Web

29. Gradual Valuation for Bipolar Argumentation Frameworks

30. Dialectical Theory for Multi-agent Assumption-Based Planning

32. A Defeasible Logic Reasoner for the Semantic Web

33. DR-DEVICE: A Defeasible Logic System for the Semantic Web

34. Towards a Natural Way of Reasoning

43. Specificity by default

44. For all typical

48. OSCAR

50. A Nonmonotonic Modal Relevant Sequent Calculus

Catalog

Books, media, physical & digital resources