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