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

HyperMed: A Hypermedia System for Anatomical Education + (ED-Media, World Conference on Educational Multimedia and Hypermedia)
Advocatus Diaboli - Exploratory Enrichment of Ontologies with Negative Constraints + (EKAW)
QUITE: Quantifying Uncertainty in Natural Language Text in Bayesian Reasoning Scenarios + (EMNLP)
LODifier: Generating Linked Data from Unstructured Text + (ESWC)
An open architecture for multiple case retrieval methods + (EWCBR-94: Second European Workshop on Case-Based Reasoning)
On the Coincidence of Semantics for Uniquely Determined Programs + (Electronic Notes in Theoretical Computer Science)
Enumerating Satisfiable Propositional Formulae + (Eurocomb)
Integrating OWL and Rules: A Syntax Proposal for Nominal Schemas + (Experiences and Directions Workshop 2012, OWLED 2012, Heraklion, Crete, Greece. Proceedings)
Controller Synthesis for Probabilistic Systems + (Exploring New Frontiers of Theoretical Informatics, IFIP 18th World Computer Congress, TC1 3rd International Conference on Theoretical Computer Science (TCS2004))
Modulo Counting on Words and Trees. + (FSTTCS 2017, 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science)
Pushing the SONIC border — SONIC 1.0 + (FTP 2005 — Fifth International Workshop on First-Order Theorem Proving)
Dynamic Bayesian Ontology Languages + (Fifth International Workshop on Statistical Relational AI)
Possibilities for Evolution Strategies to optimize Fuzzy Sets in Medical Applications + (First Industry Academic Symposium on research for Future Supersonic and Hypersonic Vehicles)
Breaking Down Finance – A Method of Concept Simplification by Identifying Movement Structures from the Image Schema PATH-Following + (First International Workshop on Cognition and Ontologies (CAOS) at FOIS 2016)
A First Order System with Finite Choice of Premises + (First-Order Logic Revisited)
More Than the Sum of Its Parts - Holistic Ontology Alignment by Population-Based Optimisation + (FoIKS)
Towards an Error-Tolerant Construction of EL^ -Ontologies from Data Using Formal Concept Analysis + (Formal Concept Analysis, 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings)
Approximate Computation of Exact Association Rules + (Formal Concept Analysis. ICFCA 2021)
Establishing Qualitative Properties for Probabilistic Lossy Channel Systems: An Algorithmic Approach + (Formal Methods for Real-Time and Probabilistic Systems, 5th International AMAST Workshop (ARTS))
Weak Bisimulation for Fully Probabilistic Processes + (Formale Beschreibungstechniken für verteilte Systeme, GI/ITG-Fachgespräch, Berlin, 19.-20. Juni 1997)
What's in a name? — First Steps Towards a Structural Approach to Integrating Large Content-based Knowledge-Bases + (Foundations for Information Integration)
Semantic MediaWiki + (Foundations for the Web of Information and Services)
Computing extensions of terminological default theories + (Foundations of Knowledge Representation and Reasoning)
On probability-raising causality in Markov decision processes + (Foundations of Software Science and Computation Structures)
Zur Integration von fall- und regelbasierten Verfahren im Entwicklungssystem FAENSY + (Fourth German Workshop on Case-Based Reasoning: System Development and Evaluation)

From Display to Labelled Proofs for Tense Logics + (From Display to Labelled Proofs for Tense Logics)

CPrAA -- A Checker for Probabilistic Abstract Argumentation + (Frontiers in Artificial Intelligence and Applications)
Defining Relations: a general incremental approach with spatial temporal case studies + (Frontiers in Artificial Intelligence and Applications. 9th International Conference on Formal Ontology in Information Systems (FOIS 2016))
Optimisation Techniques for Combining Constraint Solvers + (Frontiers of Combining Systems 2, Papers presented at FroCoS'98)
Multidimensional Data Models and Aggregation + (Fundamentals of Data Warehousing)
Extending Description Logics to Vague Knowledge in Medicine + (Fuzzy Systems in Medicine)
Fallverwaltung in heterogenen Fallwissensbasen + (Fälle in hybriden Systemen. Beiträge zum 2. Workshop des Arbeitskreises fallbasiertes Schließen)
Temporal Query Answering in DL-Lite with Negation + (GCAI 2015. Global Conference on Artificial Intelligence)
On conditionals + (Global Conference on Artificial Intelligence)
Humans Reason Skeptically + (Handbook of Abductive Cognition)
Unification Theory + (Handbook of Automated Reasoning)
Business lexicography + (Handbook of Business Communication)
Abstract Dialectical Frameworks + (Handbook of Formal Argumentation)
Description Logics + (Handbook of Knowledge Representation)
Unification Theory + (Handbook of Logic in Artificial Intelligence and Logic Programming)
Model Checking Probabilistic Systems + (Handbook of Model Checking)
Model checking linear-time properties of probabilistic systems + (Handbook of weighted automata)
Foundations of Implementations for Formal Argumentation + (Handbook on Formal Argumentation)
Description Logics + (Handbook on Ontologies)
Probabilistic Model Checking for Energy-Utility Analysis + (Horizons of the Mind. A Tribute to Prakash Panangaden)
Towards a Declarative Approach to Model Human Reasoning with Nonmonotonic Logics + (Human Reasoning and Automated Deduction: KI 2012 Workshop Proceedings)
A Simple Model for the Wason Selection Task + (Human Reasoning and Automated Deduction: KI 2012 workshop proceedings)
A Recursive Neural Network for Reflexive Reasoning + (Hybrid Neural Symbolic Integration)
Access restriction inside ontologies + (I-ESA'08: Proceedings of the 1st Internet of Services Doctoral Symposium 2008 at International Conference on Interoperability of Enterprise Systems and Applications)
Logics and Networks for Human Reasoning + (ICANN)
Some Notes on Managing Closure Operators + (ICFCA)