Fourth Knowledge-aware and Conversational Recommender Systems Workshop (KaRS) | 0 | 0.34 | 2022 |
How to Perform Reproducible Experiments in the ELLIOT Recommendation Framework - Data Processing, Model Selection, and Performance Evaluation. | 0 | 0.34 | 2021 |
Elliot: A Comprehensive and Rigorous Framework for Reproducible Recommender Systems Evaluation | 7 | 0.42 | 2021 |
Formal model for user-centred adaptive mobile devices. | 2 | 0.40 | 2017 |
Defining and computing Least Common Subsumers in RDF. | 0 | 0.34 | 2016 |
A Logic-Based Approach to Named-Entity Disambiguation in the Web of Data. | 2 | 0.35 | 2015 |
Inverting Subsumption for Constructive Reasoning. | 0 | 0.34 | 2012 |
Large scale skill matching through knowledge compilation | 4 | 0.41 | 2012 |
Semantic matchmaking as non-monotonic reasoning: a description logic approach | 57 | 2.40 | 2011 |
Structured knowledge representation for image retrieval | 14 | 0.88 | 2011 |
Finding Commonalities in RFID Semantic Streams. | 4 | 0.46 | 2011 |
Bargaining Agents in Wireless Contexts: An Alternating-Offers Protocol for Multi-issue Bilateral Negotiation in Mobile Marketplaces | 1 | 0.41 | 2009 |
Computing utility from weighted description logic preference formulas | 8 | 0.53 | 2009 |
I.M.P.A.K.T.: An Innovative Semantic-based Skill Management System Exploiting Standard SQL | 8 | 0.55 | 2009 |
A Tableaux-based Method for Computing Least Common Subsumers for Expressive Description Logics | 12 | 0.55 | 2009 |
A Tableaux-based calculus for Abduction in Expressive Description Logics: Preliminary Results | 12 | 0.72 | 2009 |
Computing Information Minimal Match Explanations for Logic-Based Matchmaking | 4 | 0.49 | 2009 |
Semantic-based Automated Evaluation of Company Core Competence | 0 | 0.34 | 2008 |
Towards a fuzzy logic for automated multi-issue negotiation | 3 | 0.39 | 2008 |
Finding informative commonalities in concept collections | 4 | 0.40 | 2008 |
Semantic-based Skill Management for Automated Task Assignment and Courseware Composition | 11 | 0.53 | 2007 |
Semantic-based Skill Management for Automated Task Assignment and Courseware Composition | 11 | 0.53 | 2007 |
Semantic-based Skill Management for Automated Task Assignment and Courseware Composition | 11 | 0.53 | 2007 |
Semantic-based Skill Management for Automated Task Assignment and Courseware Composition | 11 | 0.53 | 2007 |
Semantic-based Skill Management for Automated Task Assignment and Courseware Composition | 11 | 0.53 | 2007 |
Semantic-based Skill Management for Automated Task Assignment and Courseware Composition | 11 | 0.53 | 2007 |
Semantic-based Skill Management for Automated Task Assignment and Courseware Composition | 11 | 0.53 | 2007 |
Semantic-based Skill Management for Automated Task Assignment and Courseware Composition | 11 | 0.53 | 2007 |
Description logics for multi-issue bilateral negotiation with incomplete information | 9 | 0.60 | 2007 |
Vague Knowledge Bases for Matchmaking in P2P E-Marketplaces | 15 | 0.77 | 2007 |
Extending Datalog for Matchmaking in P2P E-Marketplaces | 0 | 0.34 | 2007 |
Extending Datalog for Matchmaking in P2P E-Marketplaces | 0 | 0.34 | 2007 |
Semantic Based Collaborative P2P in Ubiquitous Computing | 12 | 0.77 | 2007 |
Extending propositional logic with concrete domains for multi-issue bilateral negotiation | 3 | 0.38 | 2007 |
Editorial message: semantic-based resource discovery, retrieval and composition track | 0 | 0.34 | 2006 |
A logic-based framework to compute Pareto agreements in one-shot bilateral negotiation | 15 | 0.98 | 2006 |
OwlEd: An Ontology Manager for MaMaS-tng | 0 | 0.34 | 2006 |
OwlEd: An Ontology Manager for MaMaS-tng | 0 | 0.34 | 2006 |
Semantic-enhanced Bluetooth discovery protocol for m-commerce applications | 17 | 0.82 | 2006 |
Semantic-Based Toolkit for Automated Building Block Composition in SAP R/3 | 0 | 0.34 | 2006 |
A Model Checking-based Method for Verifying Web Application Design | 17 | 0.75 | 2006 |
Fully Automated Web Services Orchestration in a Resource Retrieval Scenario | 12 | 0.84 | 2005 |
Concept abduction and contraction for semantic-based discovery of matches and negotiation spaces in an e-marketplace | 68 | 3.53 | 2005 |
Design verification of web applications using symbolic model checking | 24 | 0.94 | 2005 |
A knowledge based system for content-based retrieval of Scalable Vector Graphics documents | 1 | 0.37 | 2004 |
A Logic for SVG Documents Query and Retrieval | 5 | 0.49 | 2004 |
A Uniform Tableaux-Based Method for Concept Abduction and Contraction in Description Logics | 10 | 0.68 | 2004 |
A Uniform Tableaux-Based Method for Concept Abduction and Contraction in Description Logics | 10 | 0.68 | 2004 |
A Uniform Tableaux-Based Method for Concept Abduction and Contraction in Description Logics | 10 | 0.68 | 2004 |
A Uniform Tableaux-Based Method for Concept Abduction and Contraction in Description Logics | 10 | 0.68 | 2004 |