 | 2008 |
|---|
| 20 |       | Teresa Alsinet,
Josep Puyol-Gruart,
Carme Torras:
Artificial Intelligence Research and Development, Proceedings of the 11th International Conference of the Catalan Association for Artificial Intelligence, CCIA 2008, October 22-24, 2008, Sant Martí d'Empúries, Spain
IOS Press 2008 |
| 19 | | Teresa Alsinet,
Carlos Iván Chesñevar,
Lluis Godo:
A Level-based Approach to Computing Warranted Arguments in Possibilistic Defeasible Logic Programming.
COMMA 2008: 1-12 |
| 18 |  | Teresa Alsinet,
Carlos Iván Chesñevar,
Lluis Godo,
Guillermo Ricardo Simari:
A logic programming framework for possibilistic argumentation: Formalization and logical properties.
Fuzzy Sets and Systems 159(10): 1208-1228 (2008) |
| 17 | | Teresa Alsinet,
Carlos Iván Chesñevar,
Lluis Godo,
Sandra Sandri,
Guillermo Ricardo Simari:
Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification.
Int. J. Approx. Reasoning 48(3): 711-729 (2008) |
| 16 | | Teresa Alsinet,
Felip Manyà,
Jordi Planes:
An efficient solver for weighted Max-SAT.
J. Global Optimization 41(1): 61-73 (2008) |
| 2005 |
|---|
| 15 | | Carlos Iván Chesñevar,
Guillermo Ricardo Simari,
Lluis Godo,
Teresa Alsinet:
On Warranted Inference in Possibilistic Defeasible Logic Programming.
CCIA 2005: 265-272 |
| 14 | | Carlos Iván Chesñevar,
Guillermo Ricardo Simari,
Lluis Godo,
Teresa Alsinet:
Argument-Based Expansion Operators in Possibilistic Defeasible Logic Programming: Characterization and Logical Properties.
ECSQARU 2005: 353-365 |
| 13 | | Carlos Iván Chesñevar,
Guillermo Ricardo Simari,
Lluis Godo,
Teresa Alsinet:
Expansion Operators for Modelling Agent Reasoning in Possibilistic Defeasible Logic Programming.
EUMAS 2005: 474-475 |
| 12 | | Teresa Alsinet,
Felip Manyà,
Jordi Planes:
Improved Exact Solvers for Weighted Max-SAT.
SAT 2005: 371-377 |
| 2004 |
|---|
| 11 | | Teresa Alsinet,
Felip Manyà,
Jordi Planes:
A Max-SAT Solver with Lazy Data Structures.
IBERAMIA 2004: 334-342 |
| 10 | | Carlos Iván Chesñevar,
Guillermo Ricardo Simari,
Teresa Alsinet,
Lluis Godo:
A Logic Programming Framework for Possibilistic Argumentation with Vague Knowledge.
UAI 2004: 76-84 |
| 9 | | Teresa Alsinet,
Lluis Godo:
Adding similarity-based reasoning capabilities to a Horn fragment of possibilistic logic with fuzzy constants.
Fuzzy Sets and Systems 144(1): 43-65 (2004) |
| 2003 |
|---|
| 8 | | Teresa Alsinet,
Carlos Ansótegui,
Ramón Béjar,
Cèsar Fernández,
Felip Manyà:
Automated monitoring of medical protocols: a secure and distributed architecture.
Artificial Intelligence in Medicine 27(3): 367-392 (2003) |
| 2002 |
|---|
| 7 | | Teresa Alsinet,
Ramón Béjar,
Alba Cabiscol,
Cèsar Fernández,
Felip Manyà:
Minimal and Redundant SAT Encodings for the All-Interval-Series Problem.
CCIA 2002: 139-144 |
| 6 | | Teresa Alsinet,
Lluis Godo,
Sandra Sandri:
Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification: a comparative description.
Electr. Notes Theor. Comput. Sci. 66(5): (2002) |
| 5 | | Teresa Alsinet,
Lluis Godo:
Towards an automated deduction system for first-order possibilistic logic programming with fuzzy constants.
Int. J. Intell. Syst. 17(9): 887-924 (2002) |
| 2001 |
|---|
| 4 | | Teresa Alsinet,
Lluis Godo:
A Proof Procedure for Possibilistic Logic Programming with Fuzzy Constants.
ECSQARU 2001: 760-771 |
| 2000 |
|---|
| 3 | | Teresa Alsinet,
Ramón Béjar,
Cèsar Fernández,
Felip Manyà:
A Multi-agent system architecture for monitoring medical protocols.
Agents 2000: 499-505 |
| 2 | | Teresa Alsinet,
Lluis Godo:
A Complete Calcultis for Possibilistic Logic Programming with Fuzzy Propositional Variables.
UAI 2000: 1-10 |
| 1999 |
|---|
| 1 | | Teresa Alsinet,
Lluis Godo,
Sandra Sandri:
On the Semantics and Automated Deduction for PLFC, a Logic of Possibilistic Uncertainty and Fuzziness.
UAI 1999: 3-12 |
