Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• Vol-3170/paper2  + (Partial Specifications of Component-Based Systems using Petri Nets)
• Vol-3194/paper58  + (Personalized Context-Aware Recommender System for Travelers)
• Vol-3194/paper24  + (Predicting Vehicles Parking Behaviour for EV Recharge Optimization)
• Vol-2599  + (Preface to the Proceedings of the FirstBlockchain enabled Semantic Web Workshop(BlockSW 2019))
• Vol-2599/paper5  + (Private Digital Identity on Blockchain)
• Vol-3170/paper10  + (Probabilistic Communication Structured Acyclic Nets)
• Vol-3194/paper6  + (Progressive Entity Resolution with Node Embeddings)
• Vol-3194/paper56  + (Query Answer Explanations under Existential Rules)
• Vol-3194/award2  + (Querying Genome Databases)
• Vol-3197/short6  + (Rational Defeasible Subsumption in DLs with Nested Quantifiers: the Case of ELI⊥)

• Vol-3194/paper37  + (Reasoning about Smart Contracts via LTL Encoding)

• Vol-3194/paper35  + (Reasoning in Warded Datalog+/- with Harmful Joins)
• Vol-3194/paper72  + (Recent Advancements on Bio-Inspired Hebbian Learning for Deep Neural Networks)
• Vol-3197/invited2  + (Rectifying Classifiers)
• Vol-3197/paper2  + (Repairing Ontologies via Kernel Pseudo-Contraction)
• Vol-3170/poster2  + (Reset Petri Net Unfolding Semantics for Ecosystem Hypergraphs)
• Vol-3194/paper71  + (Risk Analysis for Unsupervised Privacy-Preserving Tools)
• Vol-3194/invited1  + (Runtime-Optimized Analytics)
• Vol-1878/article-05  + (Scholarly Social Machines)
• Vol-3194/paper29  + (Semantic Shift Detection in Vatican Publications: a Case Study from Leo XIII to Francis)
• Vol-3194/paper30  + (Shared Metrics of Sustainability: a Knowledge Graph Approach)