The SCEAS System
| |||||||

## Search the dblp DataBase
Teresa Alsinet:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- 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] - 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] - 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] - 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] - 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] - 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] - Teresa Alsinet, Felip Manyà, Jordi Planes
**Improved Exact Solvers for Weighted Max-SAT.**[Citation Graph (0, 0)][DBLP] SAT, 2005, pp:371-377 [Conf] - 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] - 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] - 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] - 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] - 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] - 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] - 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] **On Warranted Inference in Possibilistic Defeasible Logic Programming.**[Citation Graph (, )][DBLP]**A Formal Model of Competence-Based Assessment.**[Citation Graph (, )][DBLP]**A Level-based Approach to Computing Warranted Arguments in Possibilistic Defeasible Logic Programming.**[Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |