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

• 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)