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

• Weak Bisimulation for Fully Probabilistic Processes  + (9th International Conference on Computer Aided Verification (CAV))
• Abduction in Logic Programming as Second-Order Quantifier Elimination  + (9th International Symposium on Frontiers of Combining Systems, FroCoS 2013)
• Reasoning About Cost-Utility Constraints in Probabilistic Models  + (9th International Workshop on Reachability Problems (RP))
• Operational Causality - Necessarily Sufficient and Sufficiently Necessary  + (A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday)
• Semantic Description of Distributed Business Processes  + (AAAI Spring Symposium - AI Meets Business Rules and Process Management)
• Exclusivity-based allocation of knowledge  + (AAMAS)
• To Lead or to be Led: A Generalized Condorcet Jury Theorem under Dependence  + (AAMAS '24: Proceedings of the 2024 International Conference on Autonomous Agents and Multiagent Systems)
• Development of Objective Functions for Soft Computing in Medical Applications  + (ACM Computing Week)
• Fuzzy Conceptual Knowledge Processing  + (ACM Symposium on Applied Computing (SAC))
• Providing Quality-of-Service Support to Legacy Applications Using Machine Learning  + (ADIS International Conference on Telecommunications, Networks and Systems)
• Description Logics That Count, and What They Can and Cannot Count  + (ANDREI-60. Automated New-era Deductive Reasoning Event in Iberia)
• Ambiguity: What is it that needs representing and what needs resolving?  + (ARR workshop of ESSLLI 2018)
• Integrating Reactive and Reflective Reasoning by Generating Rational Models  + (Advanced Topics in Artificial Intelligence - 11th Australian Joint Conference on Artifiial Intelligence (AI'98))
• On the Combination of Partial Action Descriptions  + (Advanced Topics in Artificial Intelligence - 11th Australian Joint Conference on Artifiial Intelligence (AI'98))
• Recurrent Neural Networks to Approximate the Semantics of Acceptable Logic Programs  + (Advanced Topics in Artificial Intelligence - 11th Australian Joint Conference on Artifiial Intelligence (AI'98))
• Kinesthetic Mind Reader: A Method to Identify Image Schemas in Natural Language  + (Advances in Cognitive Systems)
• Open Problems in Abstract Argumentation  + (Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation -- Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday)
• A Glimpse on Gerhard Brewka's Contributions to Artificial Intelligence  + (Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation -- Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday)
• Reduction-Based Approaches to Implement Modgil’s Extended Argumentation Frameworks  + (Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday)
• What Is a Reasonable Argumentation Semantics?  + (Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday)
• Asynchronous Multi-Context Systems  + (Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday)
• The Complexity of Reasoning with Boolean Modal Logic  + (Advances in Modal Logic 2000 (AiML 2000))
• Description Logics with Concrete Domains—A Survey  + (Advances in Modal Logic 2002 (AiML 2002))
• The Complexity of Reasoning with Boolean Modal Logics  + (Advances in Modal Logics Volume 3)
• A Tableau Algorithm for the Clique Guarded Fragment  + (Advances in Modal Logics Volume 3)

• Description Logics with Concrete Domains—A Survey  + (Advances in Modal Logics Volume 4)

• Conservative Extensions in Modal Logics  + (Advances in Modal Logics Volume 6)
• Benchmark libraries for argumentation  + (Agreement Technologies)
• A Chomsky-Schützenberger Theorem for Weighted Automata with Storage  + (Algebraic Informatics)
• Exact Learning of Multivalued Dependencies  + (Algorithmic Learning Theory - 26th International Conference)
• Multilevel Coordination Control of Partially Observed Modular DES  + (American Control Conference (ACC 2015))
• Modal Logics and the two-variable fragment  + (Annual Conference of the European Association for Computer Science Logic CSL'01)
• PDL with Intersection and Converse is Decidable  + (Annual Conference of the European Association for Computer Science Logic CSL'05)
• Computing with Logic as Operator Elimination: The ToyElim System  + (Applications of Declarative Programming and Knowledge Management, 19th International Conference (INAP 2011) and 25th Workshop on Logic Programming(WLP 2011), Revised Selected Papers)
• Logic-Based Knowledge Representation  + (Artificial Intelligence Today, Recent Trends and Developments)
• DOM-ARCADE: Assistance services for construction, evaluation, and adaptation of design layouts  + (Artificial Intelligence in Design '96)
• Learning Formal Definitions for Snomed CT from Text  + (Artificial Intelligence in Medicine)
• LATPub437  + (Ausgezeichnete Informatikdissertationen 2009)
• Unification Theory  + (Automated Deduction – A Basis for Applications, Vol. I: Foundations – Calculi and Methods)
• 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)