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

A PSpace Algorithm for Graded Modal Logic + (Automated Deduction – CADE-16, 16th International Conference on Automated Deduction)
KEIM: A Toolkit for Automated Deduction + (Automated Deduction — CADE-12)
EL-ifying Ontologies + (Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria. Proceedings)
Tableaux for Projection Computation and Knowledge Compilation + (Automated Reasoning with Analytic Tableaux and Related Methods, 18th International Conference, TABLEAUX 2009)
Second-Order Quantifier Elimination on Relational Monadic Formulas – A Basic Method and Some Less Expected Applications + (Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, TABLEAUX 2015)
Nested Sequents for Intuitionistic Modal Logics via Structural Refinement + (Automated Reasoning with Analytic Tableaux and Related Methods)
Probabilistic Causes in Markov Chains + (Automated Technology for Verification and Analysis)
Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks + (Automated Technology for Verification and Analysis)
Minimal witnesses for probabilistic timed automata + (Automated Technology for Verification and Analysis (ATVA))
Determinization and Limit-Determinization of Emerson-Lei Automata + (Automated Technology for Verification and Analysis (ATVA))
Kontraktionssätze auf verallgemeinerten metrischen Räumen + (Begabtenförderung im MINT-Bereich)
BCU Mathematics Contest 2001 — Problems and Solutions + (Begabtenförderung im MINT-Bereich)
Towards a Formal Account on Negative Latency + (Bridging the Gap Between AI and Reality)
Using Connectionist Term Representations for First-Order-Deduction- A Critical View + (CADE-14 Workshop on Connectionist Systems for Knowledge Representation and Deduction)
Representative Encodings to Translate Finite CSPs into SAT + (CPAIOR)
Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures + (CSL '24: Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic 2024)
Atomic Cut Elimination for Classical Logic + (CSL 2003)
DOM-ArC: An Active Decision Support System for Quality Assessment of Cases + (Case-Based Reasoning Research and Development, Proceedings of the First International Conference, ICCBR-95)
Wikidata: The Making Of + (Companion Proceedings of the ACM Web Conference 2023 (WWW'23))
Effectiveness of Pre-computed Knowledge in Self-adaptation - A Robustness Study + (Computer Performance Engineering)
Causality-Based Game Solving + (Computer Aided Verification)
The 10, 000 Facets of MDP Model Checking + (Computing and Software Science - State of the Art and Perspectives)
Modal Schema Graphs for Graph Databases + (Conceptual Modeling - 38th International Conference, ER 2019, Salvador, Brazil, November 4-7, 2019, Proceedings)
A cartesian closed category of approximable concept structures + (Conceptual Structures at Work, Proceedings of the 12th International Conference on Conceptual Structures, ICCS 2004, Huntsville, Alabama, USA, July 2004)
Exploring Relational Structures via FLE + (Conceptual Structures at Work: 12th International Conference on Conceptual Structures)
Utility and Feasibility of Reasoning beyond Decidability in Semantic Technologies + (Conceptual Structures for Discovering Knowledge, Proceedings of ICCS 2011)

A Brief Introduction to Formal Concept Analysis + (Conceptual Structures in Practice)
A Lexico-Logical Approach to Ontology Engineering + (Conceptual Structures in Practice)

Formal Concept Analysis Methods for Dynamic Conceptual Graphs + (Conceptual Structures: Broadening the Base, 9th International Conference on Conceptual Structures)
Morphisms in Context + (Conceptual Structures: Common Semantics for Sharing Knowledge. Proceedings of the 13th International Conference on Conceptual Structures, ICCS '05, Kassel, Germany, July 2005)
Querying formal contexts with answer set programs + (Conceptual Structures: Inspiration and Application, Proceedings of the 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 2006)
Using FCA for Encoding of Closure Operators into Neural Networks + (Conceptual Structures: Knowledge Architectures for Smart Applications, Proc. ICCS 2007)
Supporting Lexical Ontology Learning by Relational Exploration + (Conceptual Structures: Knowledge Architectures for Smart Applications, Proc. ICCS 2007)
Quo Vadis, CS? - On the (non)-impact of Conceptual Structures on the Semantic Web + (Conceptual Structures: Knowledge Architectures for Smart Applications, Proc. ICCS 2007)
Building and Structuring Description Logic Knowledge Bases Using Least Common Subsumers and Concept Analysis + (Conceptual Structures: Logical, Linguistic, and Computational Issues – Proceedings of the 8th International Conference on Conceptual Structures (ICCS2000))
Completing Incomplete Bayesian Networks + (Conditionals, Information, and Inference)
Completing Incomplete Bayesian Networks + (Conditionals, Information, and Inference: International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers)
Theorem Proving for Metric Temporal Logic over the Naturals + (Conference on Automated Deduction)
Combining Constraint Solving + (Constraints in Computational Logics)
Computing the hierarchy of conjunctions of concept names and their negations in a Description Logic knowledge base using Formal Concept Analysis (ICFCA 2006) + (Contributions to ICFCA 2006)
Decomposing Finite Closure Operators by Attribute Exploration + (Contributions to ICFCA 2011)
A Tableau System for the Description Logic SHIO + (Contributions to the Doctoral Programme of IJCAR 2004)
Languages, Decidability, and Complexity + (Control of Discrete-event Systems)
Supervisory Control with Complete Observations + (Control of Discrete-event Systems)
Supervisory Control of Distributed Discrete-Event Systems + (Control of Discrete-event Systems)
Coordination Control of Distributed Discrete-Event Systems + (Control of Discrete-event Systems)
Coordination Control of Distributed Discrete-Event Systems + (Coordination Control of Distributed Systems)
Supervisory Control of Discrete-Event Systems + (Coordination Control of Distributed Systems)
A Language for Default Reasoning about Actions + (Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz)
Knowledge-Based Support for Scholarly Editing and Text Processing + (DHd 2016 – Digital Humanities im deutschsprachigen Raum: Modellierung – Vernetzung – Visualisierung. Die Digital Humanities als fächerübergreifendes Forschungsparadigma. Konferenzabstracts.)
An Object Oriented Simulation of Real Occurring Molecular Biological Processes for DNA Computing and Its Experimental Verification + (DNA Computing. Proceedings Seventh International Workshop on DNA-Based Computers (DNA7) Tampa, FL, USA, 2001)
The Syllogistic Reasoning Task: Reasoning Principles and Heuristic Strategies in Modeling Human Clusters + (Declarative Programming and Knowledge Management)