Search the dblp DataBase

Publications of Author

1. Teresa Alsinet, Ramón Béjar, Cèsar Fernández, Felip Manyà
   A Multi-agent system architecture for monitoring medical protocols. [Citation Graph (0, 0)][DBLP]
   Agents, 2000, pp:499-505 [Conf]
   
2. 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. [Citation Graph (0, 0)][DBLP]
   CCIA, 2002, pp:139-144 [Conf]
   
3. Teresa Alsinet, Lluis Godo
   A Proof Procedure for Possibilistic Logic Programming with Fuzzy Constants. [Citation Graph (0, 0)][DBLP]
   ECSQARU, 2001, pp:760-771 [Conf]
   
4. 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. [Citation Graph (0, 0)][DBLP]
   ECSQARU, 2005, pp:353-365 [Conf]
   
5. Carlos Iván Chesñevar, Guillermo Ricardo Simari, Lluis Godo, Teresa Alsinet
   Expansion Operators for Modelling Agent Reasoning in Possibilistic Defeasible Logic Programming. [Citation Graph (0, 0)][DBLP]
   EUMAS, 2005, pp:474-475 [Conf]
   
6. Teresa Alsinet, Felip Manyà, Jordi Planes
   A Max-SAT Solver with Lazy Data Structures. [Citation Graph (0, 0)][DBLP]
   IBERAMIA, 2004, pp:334-342 [Conf]
   
7. Teresa Alsinet, Felip Manyà, Jordi Planes
   Improved Exact Solvers for Weighted Max-SAT. [Citation Graph (0, 0)][DBLP]
   SAT, 2005, pp:371-377 [Conf]
   
8. Teresa Alsinet, Lluis Godo
   A Complete Calcultis for Possibilistic Logic Programming with Fuzzy Propositional Variables. [Citation Graph (0, 0)][DBLP]
   UAI, 2000, pp:1-10 [Conf]
   
9. Teresa Alsinet, Lluis Godo, Sandra Sandri
   On the Semantics and Automated Deduction for PLFC, a Logic of Possibilistic Uncertainty and Fuzziness. [Citation Graph (0, 0)][DBLP]
   UAI, 1999, pp:3-12 [Conf]
   
10. 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. [Citation Graph (0, 0)][DBLP]
    Artificial Intelligence in Medicine, 2003, v:27, n:3, pp:367-392 [Journal]
    
11. Teresa Alsinet, Lluis Godo, Sandra Sandri
    Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification: a comparative description. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:66, n:5, pp:- [Journal]
    
12. Teresa Alsinet, Lluis Godo
    Adding similarity-based reasoning capabilities to a Horn fragment of possibilistic logic with fuzzy constants. [Citation Graph (0, 0)][DBLP]
    Fuzzy Sets and Systems, 2004, v:144, n:1, pp:43-65 [Journal]
    
13. Teresa Alsinet, Lluis Godo
    Towards an automated deduction system for first-order possibilistic logic programming with fuzzy constants. [Citation Graph (0, 0)][DBLP]
    Int. J. Intell. Syst., 2002, v:17, n:9, pp:887-924 [Journal]
    
14. Carlos Iván Chesñevar, Guillermo Ricardo Simari, Teresa Alsinet, Lluis Godo
    A Logic Programming Framework for Possibilistic Argumentation with Vague Knowledge. [Citation Graph (0, 0)][DBLP]
    UAI, 2004, pp:76-84 [Conf]
    
15. 
    On Warranted Inference in Possibilistic Defeasible Logic Programming. [Citation Graph (, )][DBLP]
    
    
16. 
    A Formal Model of Competence-Based Assessment. [Citation Graph (, )][DBLP]
    
    
17. 
    A Level-based Approach to Computing Warranted Arguments in Possibilistic Defeasible Logic Programming. [Citation Graph (, )][DBLP]