MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Teresa Alsinet" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

9 documents found, showing 1 through 9.

ATOM

Abstract Adding Similarity to Possibilistic Logic with Fuzzy Constants £
by Teresa Alsinet
…Abstract Adding Similarity to Possibilistic Logic with Fuzzy Constants £ Teresa Alsinet Computer…
Add To MetaCart

Improved branch and bound algorithms for
by Teresa Alsinet, Jordi Planes — 2003 — Max-2-SAT and Weighted Max-2-SAT. Catalonian Conference on Artificial Intelligence
… Improved Branch and Bound Algorithms for Max-SAT? Teresa Alsinet, Felip Many`a, and Jordi…
Cited by 2 (0 self) – Add To MetaCart

On the Semantics and Automated Deduction for PLFC, a logic of possibilistic uncertainty and fuzziness
by Teresa Alsinet Computer, Teresa Alsinet, Sandra Sandri
… and fuzziness Teresa Alsinet Computer Science Dept. Universitat de Lleida (UdL) 25080 Lleida, Spain tracy…
Add To MetaCart

On Warranted Inference in Possibilistic Defeasible Logic Programming
by Carlos Chesñevar, Guillermo Simari, Lluís Godo, Teresa Alsinet — 2005 — In Proc. of CCIA-2005. IOS
… , Guillermo Simari b Lluís Godo c and Teresa Alsinet a a Department of Computer Science. University of Lleida…
Add To MetaCart

A Max-SAT solver with lazy data structures
by Teresa Alsinet, Felip Manyà, Jordi Planes — 2004 — Proc. of the 9th Ibero–American Conference on Artificial Intelligence, IBERAMIA’04
…A Max-SAT Solver with Lazy Data Structures Teresa Alsinet, Felip Manyà, and Jordi Planes…
Cited by 4 (3 self) – Add To MetaCart

Improved exact solver for weighted max-sat
by Teresa Alsinet, Felip Manyà, Jordi Planes — 2005 — In: Proc. of the 8th SAT conference. (2005
…Improved Exact Solvers for Weighted Max-SAT ⋆ Teresa Alsinet 1 , Felip Manyà 2 , and Jordi Planes…
Cited by 16 (8 self) – Add To MetaCart

Improved Branch and Bound Algorithms for MAX-SAT
by Teresa Alsinet, Felip Manya, Jordi Planes — 2003
…Improved Branch and Bound Algorithms for Max-SAT ? Teresa Alsinet, Felip Manya, and Jordi Planes…
Cited by 14 (7 self) – Add To MetaCart

Argument-based Expansion Operators in Possibilistic Defeasible Logic Programming: Characterization and Logical Properties
by Carlos I. Chesnevar, Guillermo R. Simari, Lluis Godo, Teresa Alsinet — 2005 — In Proc. of ECSQARU 2005 Conference
… and Logical Properties Carlos I. Chesñevar 1 , Guillermo R. Simari 2 , Lluis Godo 3 , and Teresa Alsinet 1 1…
Cited by 8 (7 self) – Add To MetaCart

Modelling Agent Reasoning in a Logic Programming Framework for Possibilistic Argumentation
by Carlos I. Chesnevar, Teresa Alsinet, Guillermo R. Simari, Lluís Godo — 2004 — In Proc. of 2nd European Workshop on Multiagent Systems
… cic@(email omitted); Teresa Alsinet Computer Science Department University of Lleida – C/Jaume II, 69 25001…
Cited by 5 (5 self) – Add To MetaCart

Showing 1 through 9.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB