Export 179 results:
[ Autor(Desc)] Títol Tipus Any
Filtres: First Letter Of Title is O  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
A
Abril D, Navarro-Arribas G, Torra V.  2011.  On the declassification of confidential documents. 6820:235-246.
Adillon R, García-Cerdaña A, Verdú V.  2006.  On some classical fragments of t-norm based fuzzy logics. Information Processing and Management of Uncertainty in Knowledge-Based Systems IPMU 2006. 2:1596-1603.
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.
Agotnes T, van der Hoek W, Rodríguez-Aguilar JA, Sierra C, Wooldridge M.  2007.  On the Logic of Normative systems. Twentieth International Joint Conference on AI, IJCAI07. :1175-1180.
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.
Aldavert D, Ramisa A, Toledo R, de Mántaras RLópez.  2005.  Object Segmentation Scheme for a Mobile Robot.
Aldavert D, Ramisa A, de Mántaras RLópez, Toledo R.  2010.  Object Segmentation using a Bag of Features Approach. 13th International Conference of the ACIA. :321-329.
Aldewereld H, García-Camino A, Dignum F, Noriega P, Rodríguez-Aguilar JA, Sierra C.  2006.  Operationalisation of Norms for Usage in Electronic Institutions. Fifth International Joint Conference on Autonomous Agents and Multi Agent Systems - AAMAS 2006. COIN. :223-225.
Aldewereld H, García-Camino A, Dignum F, Noriega P, Rodríguez-Aguilar JA, Sierra C.  2007.  Operationalisation of Norms for Electronic Institutions. Lecture Notes in Computer Science. 4386:163-176.
Alsinet T, Chesñevar C., Godo L, Sandri S, Simari G..  2006.  On the Computation of Warranted Arguments within a Possibilistic Logic Framework with Fuzzy Unification. Technical report IfI-06-04,. :227-235.
Alsinet T, Bejar R, Godo L, Guitart F.  2013.  On the Implementation of a Multiple Output Algorithm for Defeasible Argumentation. 7th International Conference on Scalable Uncertainty Management, SUM 2013. 8078:71-77.
Alsinet T, Barroso D, Bejar R, Bou F, Cerami M, Esteva F.  2013.  On the Implementation of a Fuzzy DL Solver over Infinite-Valued Product Logic with SMT Solvers. 7th International Conference on Scalable Uncertainty Management, SUM 2013. 8078:325-330.
Alsinet T, Bejar R, Godo L, Guitart F.  2014.  On the Characterization of the Maximal Ideal Recursive Semantics of RP-DeLP. CCIA 2014. 269:215-224.
Andrejczuk E, Rodríguez-Aguilar JA, Sierra C.  2016.  Optimising Congenial Teams. International Workshop on Optimisation in multiagent systems (OPTMAS).
Ansótegui C, Bonet MLuisa, Levy J.  2009.  On the Structure of Industrial SAT Instances. Proc. of the 15th Int. Conf. on Principles and Practice of Constraint Programming, CP'09. 5732:127-141.
Ansótegui C, Levy J.  2011.  On the Modularity of Industrial SAT Instances. Proc. of the 14th Int. Conf. of the ACIA, CCIA'11. 232:11-20.
Armengol E, Esteva F, Godo L, Torra V.  2004.  On learning similarity relations in fuzzy case-based reasoning. Lecture Notes in Computer Science. 3135:14-32.
Armengol E, Dellunde P, García-Cerdaña A.  2010.  On Similarities in Fuzzy Description Logics. Logic, Algebra and Truth Degrees 2010. 502:44-49.
Atserias A, Bonet MLuisa, Levy J.  2003.  On Chvátal Rank and Cutting Planes Proofs. Electronic Colloquium on Computational Complexity. 41:12.
B
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.
Bessière C, Meseguer P, Freuder EC, Larrosa J.  2002.  On foward checking for non-binary constraint satisfaction. Artificial Intelligence. 141:205-224.
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.
Bobillo F., Bou F, Straccia U..  2011.  On the Failure of the Finite Model Property in some Fuzzy Description Logics. Fuzzy Sets and Systems. 172:1-12.
Bou F, Paoli F, Ledda A, Freytes H.  2008.  On some properties of quasi-MV algebras and square root quasi-MV algebras. Part II. Soft Computing. 12:341-352.
Bou F, Esteva F, Godo L.  2012.  On possibilistic modal logics over Gödel logic. Logic, Algebra and Truth Degrees 2012 (LATD 2012). :49-54.
Bou F, García-Cerdaña A, Verdú V.  2004.  On some Substructural Aspects of t-Norm Based Logics. Proceedings of the Tenth International Conference IPMU 2004. Information Processing and Management of Uncertainty in Knowledge-Base Systems. :545–552.
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, Esteva F, Godo L.  2015.  On possibilistic modal logics defined over MTL-chains. Petr Hájek on Mathematical Fuzzy Logic. :225-244.
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.
Bou F, Font JMaria, Lapresta JLuis Garci.  2004.  On weakening the Deduction Theorem and strengthening Modus Ponens. Mathematical Logic Quaterly. 50:303–324.
Bova S, Flaminio T.  2009.  On the complexity of de Finetti coherence of Lukasiewicz events. Logical Models of Reasoning with Vague Information.
Brito I, Herrero F, Meseguer P.  2004.  On the evaluation of DisCSP algorithms. The Fifth International Workshop on Distributed Constraint Reasoning (DCR04) Toronto, Canada September 27, 2004 held in conjunction with Tenth International Conference on Principles and Practice of Constraint Programming (CP 2004). :142-151.
C
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.
Casanovas E, Dellunde P, Jansana R.  1996.  On Elementary Equivalence for Equality-free Logic. Notre Dame Journal of Formal Logic,. 37:506-522.
Cerami M, Esteva F, García-Cerdaña A.  2012.  On Finitely Valued Fuzzy Description Logics: The Lukasiewicz Case. IPMU 2012. 298:235-244.
Cerami M, García-Cerdaña A, Esteva F.  2014.  On finitely-valued Fuzzy Description Logics. International Journal of Appoximate Reasoning (http://dx.doi.org/10.1016/j.ijar.2013.09.021). 55:1890-1916.
Cerami M, Straccia U..  2013.  On the (un)decidability of fuzzy description logics under Lukasiewicz t-norm. Information Sciences. 227:1-23.
Chesñevar C., Simari G., Godo L, Alsinet T.  2005.  On Warranted Inference in Possibilistic Defeasible Logic Programming. Artificial Intelligence Reseach and Development. Frontiers in Artificial Intelligence and Applications.. :265-272.
Chocron P, Schorlemmer M.  2016.  Ontology Alignment Evaluation in the Context of Multi-Agent Interactions. Proceedings of the 11th International Workshop on Ontology Matching, co-located with the 15th International Semantic Web Conference (ISWC 2016), Kobe, Japan, October 18, 2016. 1766:25–36.
Cignoli R, Esteva F, Godo L.  2007.  On Lukasiewicz logic with truth constants. Theoretical Advances and Applications of Fuzzy Logic and Soft Computing, ASC 42. :869-875.
Cignoli R, Esteva F, Godo L, Noguera C.  2005.  On product fuzzy logic with truth-constants. Proceedings of the Eleventh International Fuzzy Systems Association World Congress IFSA 2005. :1244-1249.
Coniglio M, Esteva F, Godo L.  2013.  On logics of formal inconsistency and fuzzy logics. ManyVal 2013, Abstracts Volume. :20-22.
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.
Costa V, Dellunde P.  2015.  On Free Models for Horn Clauses over Predicate Fuzzy Logics. 18th International Conference of the Catalan Association for Artificial Intelligence. 277:49-58.
Cruz F, Cerquides J, Espinosa A, Moure JCarlos, Rodríguez-Aguilar JA.  2013.  Optimizing Performance for Coalition Structure Generation Problems' IDP Algorithm. The 2013 International Conference on Parallel and Distributed Processing Techniques and Applications.