CSIC

Esteu aquí

Inici

Bibliography

Export 179 results:
Autor Títol [ Tipus(Desc)] Any
Filtres: First Letter Of Title is O  [Clear All Filters]
Journal Article
Flaminio T, Godo L, Marchioni E.  2011.  On the Logical Formalization of Possibilistic Counterparts of States over n-Valued Lukasiewicz Events. Journal of Logic and Computation. 21:429-446.
Flaminio T, Godo L, Hosni H.  2014.  On the logical structure of de Finetti's notion of event. Journal of Applied Logic. 12:279-301.
Torra V, Narukawa Y.  2005.  On the meta - knowledge choquet integral and related models. International journal of intelligent systems. 20:1017-1036.
Bou F, Esteva F, Godo L, Rodriguez ROscar.  2011.  On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice. Journal of Logic and Computation. 21:739-790.
Kutsia T, Levy J, Villaret M.  2010.  On the Relation Between Context and Sequence Unification. Journal of Symbolic Computation. 45:74-95.
Blondeel M, Flaminio T, Schockaert S, Godo L, de Cock M.  2015.  On the relationship between fuzzy autoepistemic logic and fuzzy modal logics of belief. Fuzzy Sets and Systems. 276:74-99.
García-Cerdaña A, Noguera C, Esteva F.  2005.  On the scope of some formulas defining additive connectives in fuzzy logics. Fuzzy sets and systems. 154:56-75.
Galindo D, Herranz J.  2008.  On the security of public key cryptosystems with a double decryption mechanism. Information Processing Letters. 108:279-283.
Coniglio M, Esteva F, Godo L.  2016.  On the set of intermediate logics between the truth and degree preserving Lukasiewicz logics. Logic Journal of the IGPL. 24(3):288-320.
Esteva F, Gispert J, Godo L, Montagna F.  2002.  On the Standard and Rational Completeness of some Axiomatic Extensions of the Monoidal T-norm Logic. Studia Logica. 71:199-226.
Hoppe T, Meseguer P.  1993.  On the terminology of VVT: A Proposal. IEEE Expert. :48-55.
Torra V, Lv Z..  2009.  On the WOWA operator and its interpolation function. International journal of intelligent systems. 24:1039-1056.
Adillon R., García-Cerdaña A, Verdú V..  2007.  On three implication-less fragments of t-norm based fuzzy logics. Fuzzy Sets and Systems. :2575-2590.
Noguera C, Esteva F, Gispert J.  2008.  On triangular norm based axiomatic extensions of the weak nilpotent minimum logic. Mathematical Logical Quarterly. :403-425.
Marchioni E, Montagna F.  2008.  On triangular norms and uninorms definable in LPi1/2. International Journal of Approximate Reasoning. 47:22.
Bou F, García-Cerdaña A, Verdú V.  2006.  On two fragments with negation and without implication of the logic of residuated lattices. Archive for Mathematical Logic. 45:615–647.
Bou F, Font JMaria, Lapresta JLuis Garci.  2004.  On weakening the Deduction Theorem and strengthening Modus Ponens. Mathematical Logic Quaterly. 50:303–324.
Montagna F, Noguera C, Horcík R.  2006.  On weakly cancellative fuzzy logics. Journal of Logic and Computation. 16:423-450.
Faltings B, Macho-González S.  2005.  Open constraint programming. Artificial intelligence. 161:181-208.
Berger H, Dittenbach M, Merkl D., Bogdanovych A, Simoff S, Sierra C.  2007.  Opening New Dimension for e-Tourism. Virtual Reality, Springer. Special Is:75-87.
Koster A, Schorlemmer M, Sabater-Mir J..  2013.  Opening the black box of trust: reasoning about trust models in a BDI agent. Journal of Logic and Computation. 23:25-58.
Agustí-Cullell J, Sierra C, Pluss J, Toledo R.  1989.  Operadores de construcción de estrategias en sistemas expertos. III Reunión Tecnica de la Asociacion española para la inteligencia artificial. :65-79.
Li CMin, Zhu Z, Manyà F, Simon L.  2012.  Optimizing with minimum satisfiability. Artificial intelligence. 190:32-44.
Marchioni E.  2009.  Ordered fields and LPi1/2 algebras. Soft Computing - A Fusion of Foundations, Methodologies and Applications. 13:5.
Domingo-Ferrer J, Torra V.  2005.  Ordinal, continous and heterogeneous anonymity through microaggregation. Data Mining and Knowledge Discovery.. 11:195-212.
Campos J, Esteva M, López-Sánchez M, Morales J, Salamó M.  2011.  Organisational adaptation of multi-agent systems in a peer-to-peer scenario. Computing. 91:169-215.
Torra V.  2004.  OWA operators in data modelling and reidentification. IEEE Transactions on Fuzzy Systems. 12:652-660.
Miscellaneous
Aldavert D, Ramisa A, Toledo R, de Mántaras RLópez.  2005.  Object Segmentation Scheme for a Mobile Robot.
Vinyals M, Cerquides J, Rodríguez-Aguilar JA.  2007.  On the empirical evaluation of Mixed Multi-Unit Combinatorial Auctions.