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

• The Varieties of Ought-implies-Can and Deontic STIT Logic  + (Deontic Logic and Normative Systems: 15th International Conference, DEON 2020/2021)
• Presburger Concept Cardinality Constraints in Very Expressive Description Logics – Allegro sexagenarioso ma non ritardando  + (Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday)
• Temporally Attributed Description Logics  + (Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday)
• From EL to Tractable Existential Rules with Complex Role Inclusions  + (Description Logics)
• A Medvedev Characterization of Recognizable Tree Series  + (Developments in Language Theory)
• Weighted Symbolic Automata with Data Storage  + (Developments in Language Theory)
• Analyse medizinischer Bilddaten mit Hilfe unscharfen Wissens  + (Digitale Bildverarbeitung in der Medizin)
• Say "No" to Grounding: An Inference Algorithm for First-Order MDPs  + (Doctoral Consortium Notes at ICAPS'2006)
• Translating the At-Most-One Constraint to SAT  + (Doctoral Program, 19th International Conference on Principles and Practice of Constraint Programming 2013, Uppsala, Sweden, September 16-20)
• Convergence Classes and Spaces of Partial Functions  + (Domain Theory, Logic and Computation)
• ExpExpExplosion: Uniform Interpolation in General EL Terminologies  + (ECAI)
• 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)