Found 30 results
Filters: keyword is Logic [Clear All Filters]
In Press
"On elementary equivalence in Fuzzy Predicate Logics",
Archive for Mathematical Logic: Springer-Verlag, In Press.
Abstract
"Preserving Mappings in Fuzzy Predicate Logics",
Journal of Logic and Computation, In Press.
Abstract
"t-DeLP: an argumentation-based Temporal Defeasible Logic Programming framework",
Annals of Mathematics and Artificial Intelligence: Springer-Verlag, In Press.
Abstract
2012
"Extending a Temporal Defeasible Argumentation Framework with Possibilistic Weights",
13th European Conference on Logics in Artificial Intelligence (JELIA 2012), pp. 242-254, 26/09/2012.
Abstract
"Backward Planning in the Logics of Communication and Change",
1st International Conference on Agreement Technologies (AT 2012), Dubrovnik, Croatia, pp. 231-245, 15/10/2012.
Abstract
"Logics for approximate and strong entailment",
Fuzzy Sets and Systems, vol. 197: Elsevier, pp. 59-70, 06/2012.
Abstract
"Strong Planning in the Logics of Communication and Change (extended)",
Declarative Agents Languages and Technologies DALT 2012, Valencia, Spain, 04/06/2012.
Abstract
"Engineering trust alignment: Theory, method and experimentation",
International Journal of Human-Computer Studies, vol. 70, issue 6: Elsevier, pp. 450-473, 2012.
Abstract
"Revisiting ultraproducts in fuzzy predicate logics",
Journal of Multiple-Valued Logic and Soft Computing, vol. 19, issue 1-3, pp. 95-108, 2012.
2011
"t-DeLP: a temporal extension of the defeasible logic programming argumentative framework",
SUM 2011. Lecture Notes in Artificial Intelligence, vol. 6929, Dayton (Ohio), USA, Springer-Verlag, pp. 489-503, 10/10/2011.
Abstract
"A graded BDI agent model to represent and reason about preferences",
Artificial Intelligence, vol. 175: Elsevier, pp. 1468-1478, 2011.
Abstract
"Extending possibilistic logic over Godel logic",
International Journal of Approximate Reasoning, vol. 52: Elsevier, pp. 63-75, 2011.
Abstract
"Many-valued Semantics for Vague Counterfactuals",
Understanding Vagueness - Logical, Philosophical, and Linguistic Perspectives. Studies in Logic, P. Cintula, C. G.. Fermüller, L. Godo and P. Hájek (eds.) , no. 36: College Publications, pp. 341-362, 2011.
"Measuring Similarity in Description Logics using Refinement Operators",
Case-Based Reasoning Research and Development: 19th International Conference on Case-Based Reasoning (ICCBR'11). Lecture Notes in Artificial Intelligence, vol. 6880, pp. 289 - 303, 2011.
Abstract
2010
"Fuzzy Description Logics and t-norm based Fuzzy Logics",
International Journal of Approximate reasoning, vol. 51, issue 6: Elsevier, pp. 632 -- 655, July/2010.
Abstract
"Modalities and many-valued: modeling uncertainty measures and similarity-based reasoning and application to Fuzzy description Logics .",
LINZ seminar, LINZ (Austria), pp. 45-48, 9/02/2010.
Abstract
"On elementary extensions in Fuzzy Predicate Logics",
IPMU 2010. Lecture Notes in Artificial Intelligence, vol. 6178, Dortmund, Germany, pp. 747-756, 28/06/2010.
Abstract
"Revisiting Ultraproducts in Fuzzy Predicate Logics",
40th IEEE International Symposium on Multiple-Valued Logic, Barcelona, IEEE Computer Society, pp. 134-139, 26/05/2010.
Abstract
"On Similarities in Fuzzy Description Logics",
Logic, Algebra and Truth Degrees 2010. Institute for Theoretical Computer Science Series, vol. 502, Praga, pp. 44-49, 07/09/2010.
Abstract
"Base Belief Change for finitary monotonic logics",
Current Topics in Artificial Intelligence. Lecture Notes in Artificial Intelligence, no. 5988: Springer, pp. 82-92, 2010.
Abstract
"Similarity for attribute-value representations in Fuzzy Description Logics",
Artificial Intelligence Research and Development, CCIA'10: IOS Press, pp. 269-278, 2010.
Abstract
"Towards a logical model of induction from examples and communication",
Artificial Intelligence Research and Development, CCIA'10: IOS Press, pp. 259-268, 2010.
Abstract
2009
"Secure and Optimal Base Contraction in Graded {\L}ukasiewicz Logics",
Artificial Intelligence Research and Development. Proceedings of the 12th International Conference of the Catalan Association fo Artificial Intelligence. Frontiers in Aritficial Intelligence and Applications, vol. 202, Cardona, Catalonia, Spain, IOS Press, pp. 265-274, 21/10/2009.
Abstract
"On Similarity Measures based on a Refinement Lattice",
ICCBR'09: 8th International Conference on Case-Based Reasoning. Lecture Notes in Artificial Intelligence, vol. 5650, Seattle, Lecture Notes in Artificial Intelligence, Springer Verlag, pp. 240-255, 20/07/2009.
Abstract
"MV-algebras with internal states and probabilistic fuzzy logics",
Internationa Journal of Approximate Reasoning, vol. 50, issue 1, pp. 138--152, 2009.
