Suche mittels Attribut

Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.

Liste der Ergebnisse

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)