22 results on '"Pardo, Pere"'
Search Results
2. Efficient Program Transformers for Translating LCC to PDL
3. An Argumentation-Based Multi-agent Temporal Planning System Built on t-DeLP
4. A Temporal Argumentation Approach to Cooperative Planning Using Dialogues
5. Strong Planning in the Logics of Communication and Change
6. Extending a Temporal Defeasible Argumentation Framework with Possibilistic Weights
7. Cooperative Dialogues for Defeasible Argumentation-Based Planning
8. t-DeLP: A Temporal Extension of the Defeasible Logic Programming Argumentative Framework
9. Base Belief Change for Finitary Monotonic Logics
10. Aggregation of Trust for Iterated Belief Revision in Probabilistic Logics
11. A Logic for Preference Lifting Under Uncertainty and Its Decidability
12. Fuzzy Labeling Semantics for Quantitative Argumentation
13. Audience Irrelevance in Strategic Argumentation Games
14. Providing Personalized Explanations: A Conversational Approach
15. A Structured Bipolar Argumentation Theory for Providing Explanations in Practical Reasoning
16. Formalizing the Unexpected Hanging Paradox: A Classical Surprise
17. A Filtering-Based General Approach to Learning Rational Constraints of Epistemic Graphs
18. Topological Conditions and Solutions for Repairing Argumentation Frameworks
19. A Logical Encoding for k-m-Realization of Extensions in Abstract Argumentation
20. Modal and Justification Logics for Multi-agent Systems (Invited Talk)
21. Solving Modal Logic Problems by Translation to Higher-Order Logic
22. Dynamic Modal Logic with Counting: When Reduction Axioms Work and Fail
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.