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-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)
• 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)
• Vol-3197/paper3  + (The Effect of Preferences in Abstract Argumentation Under a Claim-Centric View)
• Vol-3194/paper12  + (The Usage of Negation in Real-World JSON Schema Documents)
• Vol-3197/paper11  + (There and Back Again: Combining Non-monotonic Logical Reasoning and Deep Learning on an Assistive Robot)
• Vol-3170/paper11  + (Towards Automatic Extraction of Events for SON Modelling)
• Vol-3194/paper44  + (Towards Extreme Multi-Label Classification of Multimedia Content)
• Vol-3197/paper1  + (Towards Legally and Ethically Correct Online HTN Planning for Data Transfer)
• Vol-3355/richardnordsieck  + (Towards Models of Conceptual and Procedural Operator Knowledge)
• Vol-2535/paper10  + (Towards a Knowledge Graph Lifecycle: A pipeline for the population of a commercial Knowledge Graph)
• Vol-3113/paper1  + (Towards an Experiment for Analyzing Subprocess Navigation in BPMN Tooling (short paper))
• Vol-3194/paper3  + (Towards an Italian Energy Data Space)
• Vol-3170/poster4  + (Trace Language: Mining Micro-configurations from Process Transition Traces)
• Vol-3197/paper4  + (Trust Graphs for Belief Revision: Framework and Implementation)
• Vol-3197/paper8  + (Truth-Tracking with Non-Expert Information Sources)
• Vol-3194/paper11  + (Understanding RDF Data Representations in Triplestores)
• Vol-2644/paper35  + (Using PROVA-Rule Engine as Dispatching-Service for FHIR-Observation-Resources)
• Vol-3194/paper15  + (Workflows for Bringing Data Science on the Cloud/Edge Computing Continuum)