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

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)