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 Family of Approximation Algorithms for the Maximum Duo-Preservation String Mapping Problem + (28th Annual Symposium on Combinatorial Pattern Matching (CPM 2017))
Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents + (28th EACSL Annual Conference on Computer Science Logic (CSL 2020))
Global One-Counter Tree Automata + (28th International Conference on Implementation and Application of Automata (CIAA 2024))
Exact Learning Description Logic Ontologies from Data Retrieval Examples + (28th International Workshop on Description Logics)
PROBMELA: a modeling language for communicating probabilistic processes + (2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE))
Models and Temporal Logics for Timed Component Connectors + (2nd International Conference on Software Engineering and Formal Methods (SEFM))
Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking + (32nd International Conference on Concurrency Theory (CONCUR 2021))
The Orbit Problem for Parametric Linear Dynamical Systems + (32nd International Conference on Concurrency Theory, CONCUR)
Fast Dual Simulation Processing of Graph Database Queries + (35th IEEE International Conference on Data Engineering, ICDE 2019, Macao, China, April 8-11, 2019)
A Spectrum of Approximate Probabilistic Bisimulations + (35th International Conference on Concurrency Theory, CONCUR 2024, September 9-13, 2024, Calgary, Canada)
Norm Functions for Probabilistic Bisimulations with Delays + (3rd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS))
Fuzzy Reasoning Techniques for the Management of Complex Information in Medicine + (42. Internationales Wissenschaftliches Kolloquium)
From Verification to Causality-Based Explications + (48th International Colloquium on Automata, Languages, and Programming (ICALP 2021))
Entropic Risk for Turn-Based Stochastic Games + (48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023, August 28 to September 1, 2023, Bordeaux, France)
Evaluating Abstract Dialectical Frameworks with ASP + (4th International Conference on Computational Models of Argument (COMMA 2012))
Partial Order Reduction for Markov Decision Processes: A Survey + (4th International Symposium on Formal Methods for Components and Objects (FMCO))
Queries in Fuzzy Deductive Databases Using Medical Information + (5th European Congress on Intelligent Techniques & Soft Computing (EUFIT 97))
A Categorical Characterization of Consistency Results + (5th International Conference on Algebraic Methodology and Software Technology (AMAST))
The DIAMOND System for Computing with Abstract Dialectical Frameworks + (5th International Conference on Computational Models of Argument (COMMA 2014))
Solving the All-Interval Series Problem: SAT vs CP + (5th International Symposium on Information and Communication Technology, SoICT '14, Hanoi, Viet Nam - December 04 - 05, 2014, to appear)
Retractable Complex Event Processing and Stream Reasoning + (5th International Symposium on Rule-Based Reasoning, Programming, and Applications (RuleML 2011))
A Declarative Framework for Matching Iterative and Aggregative Patterns against Event Streams + (5th International Symposium on Rule-Based Reasoning, Programming, and Applications (RuleML 2011))
The PIE system for Proving, Interpolating and Eliminating + (5th Workshop on Practical Aspects of Automated Reasoning (PAAR))
Tempus Fugit - Towards an Ontology Update Language + (6th European Semantic Web Conference (ESWC 09))
DIAMOND 3.0 - A Native C++ Implementation of DIAMOND + (6th International Conference on Computational Models of Argument (COMMA 2016))

Clause Simplifications in Search-Space Decomposition-Based SAT Solvers + (7th European Starting AI Researcher Symposium (STAIRS))

Fostering Web Intelligence by Semi-automatic OWL Ontology Refinement + (7th International Conference on Web Intelligence, WI 2008, Main Conference Proceedings)
Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation + (8th International Conference on Computer Aided Verification (CAV))
The Consistency of a Noninterleaving and an Interleaving Model for Full TCSP + (8th International Symposium on Fundamentals of Computation Theory (FCT))
BDD-based Reasoning in the Fluent Calculus – First Results (Extended Abstract) + (8th Intlernational Workshop on Non-Monotonic Reasoning (NMR'2000))
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)