Export 2126 results:
[ Autor(Desc)] Títol Tipus Any
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
Alba TPenya, Vinyals M, Cerquides J, Rodríguez-Aguilar JA.  2012.  A scalable Message-Passing Algorithm for Supply Chain Formation. AAAI Conf. on Artificial Intelligence.
Alba TPenya, Vinyals M, Cerquides J, Rodríguez-Aguilar JA.  2013.  Social Value Propagation for Supply Chain Formation. OPTMAS 6th International Workshop @AAMAS on Optimization in Agent Systems.
Aldavert D, Ramisa A, Toledo R, de Mántaras RLópez.  2009.  Visual Registration Method for a Low Cost Robot. 7th International Conference on Computer Vision Systems. Lecture Notes in Computer Science. 5815:204-214.
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.
Aldavert D, Ramisa A, Toledo R, de Mántaras RLópez.  2009.  Eficient Object Pixel-Level Categorization using Bag of Features. 5th International Symposium on Visual Computing. 5875:44-54.
Aldavert D, Ramisa A, Toledo R.  2006.  Wide Baseline Stereo Matching Using Voting Schemas. CVC Research and Development Workshop. 1:30-35.
Aldavert D, Ramisa A, Toledo R, de Mántaras RLópez.  2010.  Fast and Robust Object Segmentation with the Integral Linear Classifier. 23d IEEE Conference on Computer Vision and Pattern Recognition (CVPR 2010).
Aldavert D, Ramisa A, Toledo R, de Mántaras RLópez.  2005.  Object Segmentation Scheme for a Mobile Robot.
Aldewereld H, Boissier O, Dignum V, Noriega P, Padget J.  2016.  Social Coordination Frameworks for Social Technical Systems. Law, Governance and Technology Series.
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.
Aldewereld H, Boissier O, Dignum V, Noriega P, Padget J.  2016.  Social Coordination Frameworks for Social Technical Systems. Law, Governance and Technology Series. 30:VIII,276.
Allouche D, Bessière C, Boizumault P, de Givry S, Gutierrez P, Loudni S, Métivier J-P, Schiex T.  2012.  Filtering Decomposable Global Cost Functions. 26th AAAI Conference on Artificial Intelligence (AAAI 2012).
Allouche D, Bessiere C, Boizumault P, de Givry S, Gutierrez P, Lee JHM, Leung KLun, Loudni S, Métivier J-P, Schiex T et al..  2016.  Tractability-preserving Transformations of Global Cost Functions. Artificial Intelligence. 238:166–189.
Almajano P, Cerquides J, Rodríguez-Aguilar JA.  2010.  Empirical hardness for mixed auctions. Lecture notes in computer science. 5988:161-170.
Almajano P, Mayas E, Rodriguez I, López-Sánchez M, Puig A.  2013.  Structuring Interactions in a Hybrid Virtual Environment: Infrastructure & Usability. 8th International Conference on Computer Graphics Theory and Applications. :288-297.
Almajano P, López-Sánchez M, Rodriguez I.  2012.  An Assistance Infrastructure to Inform Agents for Decision Support in open MAS. ITMAS 2012: International Workshop on Infrastructures and Tools for Multiagent Systems. :93-106.
Almajano P, López-Sánchez M, Esteva M, Rodriguez I.  2011.  An Assistance Infrastructure for open MAS. 14th International Conference of the Catalan Association for Artificial Intelligence. 232:1-10.
Almajano P, López-Sánchez M, Rodriguez I, Mayas E.  2015.  Including Conversational Agents into Structured Hybrid 3D Virtual Environments. IEEE Latin America Transactions. 13:523-531.
Almajano P, Bourazeri A, López-Sánchez M, Rodriguez I.  2013.  Digital game enables active user participation in SmartGrids. Awareness Magazine.
Almajano P, López-Sánchez M, Rodriguez I, Trescak T.  2014.  Assistant Agents to Advice Users in Hybrid Structured 3D Virtual Environments. Computer Animation and Virtual Worlds (CAVW). 25:10.
Almajano P, Trescak T, Esteva M, Rodriguez I, López-Sánchez M.  2013.  v-mWater: An e-Government Application for Water Rights Agreements. Agreement Technologies (Law, Governance and Technology Series). 8:583-596.
Almajano P, Trescak T, Esteva M, Rodriguez I, López-Sánchez M.  2011.  Virtual Institutions For Water Rights Negotiation.
Almajano P, Trescak T, Rodriguez I, López-Sánchez M.  2012.  An Infrastructure for Human Inclusion in MAS. ECAI 2012: 20th European Conference on Artificial Intelligence. :999-1000.
Almajano P, Mayas E, Rodriguez I, López-Sánchez M.  2014.  Conversational Structured Hybrid 3D Virtual Environments.
Almajano P, Cerquides J, Rodríguez-Aguilar JA.  2009.  Empirical hardness for mixed multi-unit combinatorial auctions. Conferencia de la Asociación Española para la Inteligencia Artificial (CAEPIA’2009). :93-102.
Almajano P, Trescak T, Esteva M, Rodriguez I, López-Sánchez M.  2012.  v-mWater: a 3D Virtual Market for Water Rights. AAMAS '12: Proceedings of the 11th internationalconference on autonomous agents and multiagent systems. :1483-1484.
Alsinet T, Godo L.  2002.  Towards an Automated Deduction System for First-Order Possibilistic Logic Programming with Fuzzy Constants. Int. Journal of Intelligent Systems. 17:887-924.
Alsinet T, Chesñevar C., Godo L.  2008.  Computation of Skeptical Outputs in P-DeLP Satisfying Indirect Consistency: a Level-based Approach. IPMU 2008. :497-504.
Alsinet T, Bejar R, Godo L, Guitart F.  2012.  Using Answer Set Programming for an scalable implementation of Defeasible Argumentation. 24th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2012). 1:1016-1021.
Alsinet T, Godo L, Sandri S.  2002.  Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification: a comparative description. Electronic Notes in Theoretical Computer Science. 66:1-21.
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.
Alsinet T, Bejar R, Godo L, Guitart F.  2011.  Maximal Ideal Recursive Semantics for Defeasible Argumentation. SUM 2011. 6929:96-109.
Alsinet T, Puyol-Gruart J, Torras C.  2008.  Artificial Intelligence Research and Development. 184
Alsinet T, Bejar R, Godo L.  2010.  A Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics. 12th Ibero-American Conference on Artificial Intelligence, IBERAMIA 2010. 6433:40–49.
Alsinet T, Godo L.  2001.  Adding similarity to possibilistic with fuzzy constants. Joint 9th IFSA World Congress and 20th NAFIPS International Conference. :1535-1540.
Alsinet T, Chesñevar C., Godo L, Sandri S, Simari G..  2006.  Modeling Defeasible Argumentation within a Possibilistic Logic Framework with Fuzzy Unification. Proc. 11th Intl. Conference IPMU 2006. :1228-1235.
Alsinet T, Manyà F, Planes J..  2005.  Improved Exact Solver for Weighted Max-Sat. Lecture Notes in Computer Science. 3569:371-377.
Alsinet T, Godo L.  2004.  Adding similarity-based reasoning capabilites to Horn fragment of possibilistic logic with fuzzy constants. Fuzzy Sets and Systems. 144:43-65.
Alsinet T, Bejar R, Godo L, Guitart F.  2013.  Web Based System for Weighted Defeasible Argumentation. 14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIV. 8143:155-171.
Alsinet T, Bejar R, Godo L.  2010.  A characterization of collective conflict for defeasible argumentation. Third International Conference on Computational Models of Argument, COMMA 2010. 216:27-38.
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, Chesñevar C., Godo L, Simari G..  2008.  A Logic Programming Framework for Possibilistic Argumentation: Formalization and Logical Properties. Fuzzy Sets and Systems. 159:1208-1228.
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, Manyà F, Planes J.  2008.  An Efficient Solver for Weighted Max-SAT. Journal of Global Optimization. 41:61-73.
Alsinet T, Godo L.  2001.  A proof procedure for possibilistic logic programming with fuzzy constants. Lecture notes in artificial intelligence. 2143:760-771.
Alsinet T, Chesñevar C., Godo L.  2008.  A Level-based Approach to Computing Warranted Arguments in Possibilistic Defeasible Logic Programming. Computational Models of Argument, COMMA 2008. :1-12.
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, Chesñevar C., Godo L, Sandri S, Simari G..  2008.  Formalizing Argumentative Reasoning in a Possibilistic Logic Programming Setting with Fuzzy Unification. International Journal of Approximate Reasoning. 48:711-729.
Altamirano E, Escalada-Imaz G.  2001.  Extending polinomiality to a class of non-clausal many-valued Horn-like formulas. Lecture notes in artificial intelligence. 2143:792-804.