Teresa Alsinet (22 publications)
2011
"Maximal Ideal Recursive Semantics for Defeasible Argumentation",
SUM 2011. Lecture Notes in Artificial Intelligence, vol. 6929, Dayton (Ohio), USA, Springer-Verlag, pp. 96-109, 10/10/2011.
2010
"A characterization of collective conflict for defeasible argumentation",
Third International Conference on Computational Models of Argument, COMMA 2010. Frontiers in Artificial Intelligence and Applications, Pietro Baroni, Federico Cerutti, Massimiliano Giacomin, Guillermo R. Simari (eds.) , vol. 216, Desenzano del Garda, Italy, IOS Press, pp. 27-38, 08/09/2010.
Abstract
"A Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics",
12th Ibero-American Conference on Artificial Intelligence, IBERAMIA 2010. Lecture Notes in Artificial Intelligence, vol. 6433, Bahía Blanca, Argentina, Springer, pp. 40–49, 01/11/2010.
Abstract
2008
"Artificial Intelligence Research and Development",
Proceedings of the 11th International Conference of the Catalan Association for Artificial Intelligence. Frontiers in Aritficial Intelligence and Applications, vol. 184: IOS Press, 22/10/2008.
"A Logic Programming Framework for Possibilistic Argumentation: Formalization and Logical Properties",
Fuzzy Sets and Systems, vol. 159, no. 10, pp. 1208-1228, 2008.
Abstract
"An Efficient Solver for Weighted Max-SAT",
Journal of Global Optimization, vol. 41, no. 1, pp. 61-73, 2008.
Abstract
"A Level-based Approach to Computing Warranted Arguments in Possibilistic Defeasible Logic Programming",
Computational Models of Argument, COMMA 2008. Frontiers in Artificial Intelligence: IOS Press, pp. 1-12, 2008.
Abstract
"Computation of Skeptical Outputs in P-DeLP Satisfying Indirect Consistency: a Level-based Approach",
IPMU 2008, pp. 497-504, 2008.
Abstract
"Formalizing Argumentative Reasoning in a Possibilistic Logic Programming Setting with Fuzzy Unification",
International Journal of Approximate Reasoning, vol. 48, no. 3, pp. 711-729, 2008.
Abstract
2006
"Modeling Defeasible Argumentation within a Possibilistic Logic Framework with Fuzzy Unification",
Proc. 11th Intl. Conference IPMU 2006: Edition E.D.K., pp. 1228-1235, 2006.
Abstract
"On the Computation of Warranted Arguments within a Possibilistic Logic Framework with Fuzzy Unification",
Technical report IfI-06-04,: TU Clausthal, pp. 227-235, 2006.
Abstract
2005
"Argumented-based expansion operators in possibilistic defensible logic programming: characterization and logical properties",
Lecture Notes in Artificial Intelligence, vol. 3571: Springer, pp. 353 - 365, 2005.
Abstract
"Improved Exact Solver for Weighted Max-Sat",
Lecture Notes in Computer Science, vol. 3569: Springer, pp. 371 - 377, 2005.
Abstract
"On Warranted Inference in Possibilistic Defeasible Logic Programming",
Artificial Intelligence Reseach and Development. Frontiers in Artificial Intelligence and Applications.: IOS Press, pp. 265 - 272, 2005.
Abstract
2004
"Adding similarity-based reasoning capabilites to Horn fragment of possibilistic logic with fuzzy constants",
Fuzzy Sets and Systems, vol. 144, no. 1, pp. 43-65, 2004.
Abstract
"A logic programming framework for possibilistic argumentation with vague knowledge",
ACM International Conference Proceeding Series, vol. 70: AUAI Press, pp. 76-84, 2004.
Abstract
2003
Logic programming with fuzzy unification and imprecise constants : possibilistic semantics and automated deduction,
: Universitat Politècnica de Catalunya, 2003.
2002
"Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification: a comparative description",
Electronic Notes in Theoretical Computer Science, vol. 66, no. 5, pp. 1-21, 2002.
Abstract
"Towards an Automated Deduction System for First-Order Possibilistic Logic Programming with Fuzzy Constants",
Int. Journal of Intelligent Systems, vol. 17, no. 9, pp. 887-924, 2002.
Abstract
2001
"Adding similarity to possibilistic with fuzzy constants",
Joint 9th IFSA World Congress and 20th NAFIPS International Conference: IEEE, pp. 1535-1540, 2001.
Abstract
"A proof procedure for possibilistic logic programming with fuzzy constants",
Lecture notes in artificial intelligence, vol. 2143: Springer, pp. 760-771, 2001.
Abstract
"Different models of fuzzy logic programming with fuzzy unification (towards a revision of fuzzy databases)",
Joint 9th IFSA World Congress and 20th NAFIPS International Conference: IEEE, pp. 1541-1546, 2001.
Abstract
