Export 119 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Last Name is K  [Clear All Filters]
2017
Confalonieri R, Kutz O, Galliani P, Peñaloza R, Porello D, Schorlemmer M, Troquard N.  2017.  Coherence, Similarity, and Concept Generalisation. Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017. 1879
Confalonieri R, Kutz O, Galliani P, Peñaloza R, Porello D, Schorlemmer M, Troquard N.  2017.  Coherence, Similarity, and Concept Generalisation. Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017. 1879
Baumgartner A, Kutsia T, Levy J, Villaret M.  2017.  Higher-Order Pattern Anti-Unification in Linear Time. Journal of Automated Reasoning. 58:293-310.
Schmidt-Schauß M, Kutsia T, Levy J, Villaret M.  2017.  Nominal Unification of Higher Order Expressions with Recursive Let. Revised Selected Papers of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016. LNCS 10184:328-344.
Besold TR, Kühnberger K-U, Plaza E.  2017.  Towards a Computational- and Algorithmic-Level Account of Concept Blending Using Analogies and Amalgams. Connection Science. 29:387–413.
Chocron P, Schorlemmer M.  2017.  Vocabulary Alignment for Agents with Flexible Protocols. Proceedings of the Joint Ontology Workshops 2017 (JOWO 2017). Bozen-Bolzano, Italy, September 21–23, 2017. 2050
2016
Kaliakatsos-Papakostas MA, Confalonieri R, Corneli J, Zacharakis AI, Cambouropoulos E.  2016.  An Argument-based Creative Assistant for Harmonic Blending. Proceedings of the Seventh International Conference on Computational Creativity, Paris, France, June 28 - July 1, 2016..
Chocron P, Schorlemmer M.  2016.  Attuning Ontology Alignments to Semantically Heterogeneous Multi-Agent Interactions. ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016). 285:871–879.
Confalonieri R, Schorlemmer M, Kutz O, Peñaloza R, Plaza E, Eppe M.  2016.  Conceptual Blending in EL++. Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016..
Serrà J, Matic A, Arcos JLluis, Karatzoglou A.  2016.  A Genetic Algorithm to Discover Flexible Motifs with Support. IEEE 16th International Conference on Data Mining Workshops.
Chocron P, Schorlemmer M.  2016.  Interaction Specifications as Contexts for Ontologies. Proceedings of the Joint Ontology Workshops 2016 Episode 2: The French Summer of Ontology, co-located with the 9th International Conference on Formal Ontology in Information Systems (FOIS 2016), Annecy, France, July 6-9, 2016.. 1660
2015
Weyns D, Michel F, H. Parunak VDyke, Boissier O, Schumacher M, Ricci A, Brandao A, Carrascosa C, Dikenelli O, Galland S et al..  2015.  Agent Environments for Multi - Agent Systems - A Research Roadmap. Agent Environments for Multi-Agent Systems. 9068:3-21.
Eppe M, Maclean E, Confalonieri R, Schorlemmer M, Kutz O, Plaza E.  2015.  ASP, Amalgamation, and the Conceptual Blending Workflow.
Eppe M, Confalonieri R, Maclean E, Kaliakatsos M, Cambouropoulos E, Schorlemmer M, Kühnberger K-U.  2015.  Computational invention of cadences and chord progressions by conceptual chord-blending. International Joint Conference on Artificial Intelligence 2015. :Inpress.
Eppe M, Confalonieri R, Maclean E, Kaliakatsos M, Cambouropoulos E, Schorlemmer M, Kühnberger K-U.  2015.  Computational invention of cadences and chord progressions by conceptual chord-blending. International Joint Conference on Artificial Intelligence 2015. :Inpress.
Baumgartner A, Kutsia T, Levy J, Villaret M.  2015.  Nominal Anti-Unification. Proc. of the 26th Int. Conf. on Rewriting Techniques and Applications, RTA'15.
Cornejo M.E, Esteva F, Medina J, Ramírez-Poussa E..  2015.  Relating adjoint negations with strong adjoint negations. :66-71.
Confalonieri R, Eppe M, Schorlemmer M, Kutz O, Peñaloza R, Plaza E.  2015.  Upward Refinement for Conceptual Blending in Description Logic — An ASP-based Approach and Case Study in EL++—. IJCAI-15 International Workshop on Ontologies and Logic Programming for Query Answering.
2014
Kutsia T, Levy J, Villaret M.  2014.  Anti-unification for Unranked Terms and Hedges. Journal of Automated Reasoning. 52:155-190.
Flaminio T, Godo L, Kroupa T.  2014.  Belief Functions on MV-algebras of Fuzzy Sets: An Overview. Non-Additive Measures. 310:173-200.
Schorlemmer M, Smaill A, Kühnberger K-U, Kutz O, Colton S, Cambouropoulos E, Pease A.  2014.  COINVENT: Concept Invention Theory - Ontologies and Semantic Web Technologies for Concept Invention.. 11th European Semantic Web Conference (ESWC 2014), EU Projects Track.
Schorlemmer M, Smaill A, Kühnberger K-U, Kutz O, Colton S, Cambouropoulos E, Pease A.  2014.  COINVENT: Concept Invention Theory - Ontologies and Semantic Web Technologies for Concept Invention.. 11th European Semantic Web Conference (ESWC 2014), EU Projects Track.
Schorlemmer M, Smaill A, Kühnberger K-U, Kutz O, Colton S, Cambouropoulos E, Pease A.  2014.  COINVENT: Towards a Computational Concept Invention Theory. Fifth International Conference on Computational Creativity (ICCC 2014).
Schorlemmer M, Smaill A, Kühnberger K-U, Kutz O, Colton S, Cambouropoulos E, Pease A.  2014.  COINVENT: Towards a Computational Concept Invention Theory. Fifth International Conference on Computational Creativity (ICCC 2014).
Koduri GK, Ishwar V, Serrà J, Serra X.  2014.  Intonation analysis of ragas in Carnatic music. Journal of New Music Research, Special Issue on Computational Approaches to the Art Music Traditions of India and Turkey. 43:72-93.
2013
Koster A., Sabater-Mir J., Schorlemmer M..  2013.  Agreement Technologies. Law, Governance and Technology. 8:441–452.
Koster A, Sabater-Mir J., Schorlemmer M.  2013.  Argumentation and Trust. Agreement Technologies (Law, Governance and Technology Series). 8:441-452.
Kononova K, López-Sánchez M.  2013.  Evolutionary Processes in Economics: Multi-Agent Model of Macrogenerations Dynamics. Artificial Intelligence Research and Development: Proceedings of the 16th International Conference of the Catalan Association for Artificial Intelligence. :311-315.
Metze F, Anguera X, Ewert S, Gemmeke J, Kolossa D, Provost EMower, Schuller B, Serrà J.  2013.  Learning of units and knowledge representation. Dagstuhl Seminar 13451: Computational Audio Analysis.
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.
Uhle C, Driedger J, Edler B, Ewert S, Graf F, Kubin G, Müller M, Ono N, Pardo B, Serrà J.  2013.  Source separation. Dagstuhl Seminar 13451: Computational Audio Analysis.
Singh MP, Arrot M, Balke T, Chopra AK, Christiaanse R, Cranefield S, Dignum F, Eynard D, Farcas E, Fornara N et al..  2013.  The uses of norms. Normative Multi-Agent Systems. :191–229.
Koster A, Madrenas J, Osman N, Schorlemmer M, Sabater-Mir J., Sierra C, Fabregues A, de Jonge D, Puyol-Gruart J, García P.  2013.  u-Help: supporting helpful communities with information technology. AAMAS 2013.
Baumgartner A, Kutsia T, Levy J, Villaret M.  2013.  A Variant of Higher-Order Anti-Unification. Proc. of the 24st Int. Conf. on Rewriting Techniques and Applications, RTA'13.
2012
Koster A, Sabater-Mir J., Schorlemmer M.  2012.  A Formal Argumentation Dialogue for Personalised Trust Communication. 15th International Workshop on Trust in Agent Societies (TRUST12).
Koduri GK, Serrà J, Serra X.  2012.  Characterizaztion of intonation in Carnatic music by parametrizing pitch histograms. Int. Soc. for Music Information Retrieval Conf. (ISMIR). :199-204.
Flaminio T, Godo L, Kroupa T.  2012.  Combination and Soft-Normalization of Belief Functions on MV-Algebras. Modeling Decisions for Artificial Intelligence, MDAI 2012. 7647:23-34.
Koduri GK, Serrà J, Serra X.  2012.  Computational analysis of intonation in Indian art music. CompMusic Workshop.
Koster A, Schorlemmer M, Sabater-Mir J..  2012.  Engineering trust alignment: Theory, method and experimentation. International Journal of Human-Computer Studies. 70:450-473.
Sordo M, Serrà J, Koduri GK, Serra X.  2012.  Extracting semantic information from an on-line Carnatic music forum. Int. Soc. for Music Information Retrieval Conf. (ISMIR). :355-360.
Sordo M, Serrà J, Koduri GK, Serra X.  2012.  Extracting semantic information from on-line art music discussion forums. CompMusic Workshop.
Koster A, Sabater-Mir J., Schorlemmer M.  2012.  Personalizing Communication about Trust. The 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012). 1:517-524.
Koster A, Madrenas J, Osman N, Schorlemmer M, Sabater-Mir J., Sierra C, de Jonge D, Fabregues A, Puyol-Gruart J, García P.  2012.  u-Help: supporting helpful communities with information technology. Proceedings of the First International Conference on Agreement Technologies (AT 2012). 918:378-392.
2011
Parsons S, Klein M, Rodríguez-Aguilar JA.  2011.  Auctions and bidding: a guide for computer scientists. ACM Computing Surveys. 43
Kutsia T, Levy J, Villaret M.  2011.  Anti-Unification for Unranked Terms and Hedges. Proc. of the 22st Int. Conf. on Rewriting Techniques and Applications, RTA'11. 10:219-234.
Flaminio T, Kroupa T.  2011.  Characterization of Generalized Necessity Functions in Lukasiewicz Logic. Nonlinear Mathematics for Uncertainty and Its Applications. 100:619–626.
Flaminio T, Kroupa T.  2011.  Characterization of Generalized Necessity Functions in Lukasiewicz Logic. Nonlinear Mathematics for Uncertainty and Its Applications. 100:619–626.