Search by property
Jump to navigation
Jump to search
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-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)
- Vol-3194/paper53 + (SiMBA: Systematic Clustering-Based Methodology to Support Built Environment Analysis)
- Vol-3197/short4 + (Situated Conditionals - A Brief Introduction)
- Vol-3194/paper14 + (SoBigData RI: European Integrated Infrastructure for Social Mining and Big Data Analytics)
- Vol-3194/paper63 + (SoCRATe: a Framework for Compensating Users Over Time with Limited Availability Recommendations)
- Vol-3194/paper48 + (Supporting Big Moving Objects Tracking and Analysis: An Innovative Scan-Matching Algorithm)
- Vol-3194/paper18 + (Supporting the Design of Data Preparation Pipelines)
- Vol-3194/paper75 + (Task-Driven Big Data Integration)
- Vol-3194/award1 + (Techniques for the Analysis of Conceptual Schema)
- Vol-3194/paper60 + (The Challenging Reproducibility Task in Recommender Systems Research between Traditional and Deep Learning Models)
- Vol-3170/short1 + (The Chameleon Game)