×

zbMATH — the first resource for mathematics

Alsinet, Teresa

Compute Distance To:
Author ID: alsinet.teresa Recent zbMATH articles by "Alsinet, Teresa"
Published as: Alsinet, T.; Alsinet, Teresa
External Links: ORCID
Documents Indexed: 15 Publications since 2001, including 1 Book

Publications by Year

Citations contained in zbMATH

12 Publications have been cited 69 times in 48 Documents Cited by Year
A logic programming framework for possibilistic argumentation: Formalization and logical properties. Zbl 1187.68601
Alsinet, Teresa; Chesñevar, Carlos I.; Godo, Lluís; Simari, Guillermo R.
14
2008
Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification. Zbl 1184.68497
Alsinet, Teresa; Chesñevar, Carlos I.; Godo, Lluís; Sandri, Sandra; Simari, Guillermo
13
2008
Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification: a comparative description. Zbl 1270.68058
Alsinet, Teresa; Godo, Lluís; Sandri, Sandra
8
2002
Towards an automated deduction system for first-order possibilistic logic programming with fuzzy constants. Zbl 1021.68022
Alsinet, Teresa; Godo, Lluís
7
2002
Improved exact solvers for weighted Max-SAT. Zbl 1124.68429
Alsinet, Teresa; Manyà, Felip; Planes, Jordi
6
2005
A proof procedure for possibilistic logic programming with fuzzy constants. Zbl 1001.68530
Alsinet, Teresa; Godo, Lluís
5
2001
RP-DeLP: a weighted defeasible argumentation framework based on a recursive semantics. Zbl 1354.68243
Alsinet, Teresa; Béjar, Ramón; Godo, Lluís; Guitart, Francesc
4
2016
An efficient solver for weighted Max-SAT. Zbl 1146.90480
Alsinet, Teresa; Manyà, Felip; Planes, Jordi
4
2008
Adding similarity-based reasoning capabilities to a Horn fragment of possibilistic logic with fuzzy constants. Zbl 1076.68079
Alsinet, Teresa; Godo, Lluís
3
2004
Weighted argumentation for analysis of discussions in Twitter. Zbl 1422.91606
Alsinet, Teresa; Argelich, Josep; Béjar, Ramón; Fernández, Cèsar; Mateu, Carles; Planes, Jordi
2
2017
Argument-based expansion operators in possibilistic defeasible logic programming: Characterization and logical properties. Zbl 1122.68640
Chesñevar, Carlos I.; Simari, Guillermo R.; Godo, Lluis; Alsinet, Teresa
2
2005
Minimal and redundant SAT encodings for the all-interval-series problem. Zbl 1028.68627
Alsinet, T.; Béjar, R.; Cabiscol, A.; Fernàndez, C.; Manyà, F.
1
2002
Weighted argumentation for analysis of discussions in Twitter. Zbl 1422.91606
Alsinet, Teresa; Argelich, Josep; Béjar, Ramón; Fernández, Cèsar; Mateu, Carles; Planes, Jordi
2
2017
RP-DeLP: a weighted defeasible argumentation framework based on a recursive semantics. Zbl 1354.68243
Alsinet, Teresa; Béjar, Ramón; Godo, Lluís; Guitart, Francesc
4
2016
A logic programming framework for possibilistic argumentation: Formalization and logical properties. Zbl 1187.68601
Alsinet, Teresa; Chesñevar, Carlos I.; Godo, Lluís; Simari, Guillermo R.
14
2008
Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification. Zbl 1184.68497
Alsinet, Teresa; Chesñevar, Carlos I.; Godo, Lluís; Sandri, Sandra; Simari, Guillermo
13
2008
An efficient solver for weighted Max-SAT. Zbl 1146.90480
Alsinet, Teresa; Manyà, Felip; Planes, Jordi
4
2008
Improved exact solvers for weighted Max-SAT. Zbl 1124.68429
Alsinet, Teresa; Manyà, Felip; Planes, Jordi
6
2005
Argument-based expansion operators in possibilistic defeasible logic programming: Characterization and logical properties. Zbl 1122.68640
Chesñevar, Carlos I.; Simari, Guillermo R.; Godo, Lluis; Alsinet, Teresa
2
2005
Adding similarity-based reasoning capabilities to a Horn fragment of possibilistic logic with fuzzy constants. Zbl 1076.68079
Alsinet, Teresa; Godo, Lluís
3
2004
Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification: a comparative description. Zbl 1270.68058
Alsinet, Teresa; Godo, Lluís; Sandri, Sandra
8
2002
Towards an automated deduction system for first-order possibilistic logic programming with fuzzy constants. Zbl 1021.68022
Alsinet, Teresa; Godo, Lluís
7
2002
Minimal and redundant SAT encodings for the all-interval-series problem. Zbl 1028.68627
Alsinet, T.; Béjar, R.; Cabiscol, A.; Fernàndez, C.; Manyà, F.
1
2002
A proof procedure for possibilistic logic programming with fuzzy constants. Zbl 1001.68530
Alsinet, Teresa; Godo, Lluís
5
2001
all top 5

Cited by 82 Authors

9 Godo, Lluís
6 Alsinet, Teresa
6 Simari, Guillermo Ricardo
3 Argelich, Josep
3 Chesñevar, Carlos Iván
3 Dubois, Didier
3 Fazzinga, Bettina
3 Flesca, Sergio
3 Manyà, Felip
3 Marchioni, Enrico
3 Prade, Henri M.
3 Sandri, Sandra Aparecida
2 Béjar, Ramón
2 Budán, Maximiliano C. D.
2 De Cock, Martine
2 Dellunde, Pilar
2 Heras, Federico
2 Hunter, Anthony
2 Janssen, Jeroen
2 Nieves, Juan Carlos
2 Parisi, Francesco
2 Schockaert, Steven
2 Shen, Haiou
2 Straccia, Umberto
2 Vermeir, Dirk
2 Viglizzo, Ignacio Darío
2 Zhang, Hantao
1 Asín Achá, Roberto
1 Baneres, David
1 Bonet, Maria Luisa
1 Cardenas-Viedma, M. Antonia
1 Cemeli, Joel
1 Chen, Yijiang
1 Cornejo, Maria Eugenia
1 Corsi, Esther Anna
1 Cortés, Ulises
1 de Givry, Simon
1 Errecalde, Marcelo L.
1 Fermüller, Christian G.
1 Fernández, César C.
1 Ferretti, Edgardo
1 Furfaro, Filippo
1 García, Alejandro Javier
1 Genito, Daniele
1 Gerla, Giangiacomo
1 Gómez Lucero, Mauro J.
1 Hung, Nguyen Duy
1 Kullmann, Peter
1 Larrosa, Javier
1 Levy, Jordi
1 Lindgren, Helena
1 Lobo, David
1 López de Mántaras, Ramon
1 Loyer, Yann
1 Lucero, Mauro Gómez
1 Madrid, Nicolás
1 Marín, Roque L.
1 Mateu, Carles
1 Medina, Jesús
1 Miguel, Ian
1 Newton, M. A. Hakim
1 Nieuwenhuis, Robert
1 Osorio, Mauricio A.
1 Palubeckis, Gintaras
1 Pardo, Pere
1 Phan Minh Dung
1 Planes, Jordi
1 Plaza, Enric
1 Polash, Md Masbaul Alam
1 Potyka, Nico
1 Sattar, Abdul
1 Shen, Qiang
1 Sierra, Carles
1 Simari, Gerardo I.
1 Su, Chang
1 Tamargo, Luciano H.
1 Thang, Phan Minh
1 Thimm, Matthias
1 Vignes, Alessandro
1 Yan, Yuanhui
1 Zhou, Changle
1 Zhu, Wenxing

Citations by Year