Suche mittels Attribut
Aus International Center for Computational Logic
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
- Decidability of Quasi-Dense Modal Logics + (ACM)
- Automatic Verification of Liveness Properties of Randomized Systems + (ACM)
- SYANCO 2007: International Workshop on Synthesis and Analysis of Component Connectors + (ACM)
- Distributed wait state tracking for runtime MPI deadlock detection + (ACM)
- Probabilistic Model Checking for Energy Analysis in Software Product Lines + (ACM)
- Trade-off Analysis Meets Probabilistic Model Checking + (ACM)
- Weight Monitoring with Linear Temporal Logic: Complexity and Decidability + (ACM)
- Towards Automated Configuration of Systems with Non-Functional Constraints + (ACM)
- Bisimulations, logics, and trace distributions for stochastic systems with rewards + (ACM)
- Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes + (ACM)
- From Features to Roles + (ACM)
- Linear dynamical systems with continuous weight functions + (ACM)
- Restricted Chase Termination: You Want More than Fairness + (ACM)
- Semantic Wikipedia (software demo) + (ACM Press)
- Query Containment in Very Expressive XPath dialects + (ACM Press)
- Quantitative Analysis of Distributed Randomized Protocols + (ACM Press)
- Rare-Event Verification for Stochastic Hybrid Systems + (ACM Press)
- The Fuzzy Description Logic ALC_FLH + (ACTA Press)
- Symbolic Dynamic Programming within the Fluent Calculus + (ACTA Press)
- User Adaptation in a Web Shop System + (ACTA Press)
- Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies + (AI Access Foundation)
- The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases + (AI Access Foundation)
- Towards Building Ontologies from Crowdsourced Data + (AISB)
- Neuro-Symbolic Word Tagging + (APPIA - Associação Portuguesa para a Inteligência Artificial Edition (ISBN-13 978-989-95618-0-9))
- A Heuristic Search Algorithm for Solving First-Order MDPs + (AUAI Press)
- A Deduction Calculus for Cumulated Clauses on FLE Concept Descriptions + (Aalborg University Press)
- An open architecture for multiple case retrieval methods + (AcknoSoft Press, Paris)
- Towards Planning as Concurrency + (Acta Press)
- Kontraktionssätze auf verallgemeinerten metrischen Räumen + (Aegis-Verlag)
- BCU Mathematics Contest 2001 — Problems and Solutions + (Aegis-Verlag)
- Begabtenförderung im MINT-Bereich + (Aegis-Verlag, Ulm)
- Reachability in Continuous-Time Markov Reward Decision Processes + (Amsterdam University Press)
- Leveraging Non-Lexical Knowledge for the Linked Open Data Web + (Antoine Zimmermann)
- Compositional Matrix-Space Models of Language + (Association for Computational Linguistics)
- Gradual Learning of Matrix-Space Models of Language for Sentiment Analysis + (Association for Computational Linguistics)
- Making Sense of Conflicting (Defeasible) Rules in the Controlled Natural Language ACE: Design of a System with Support for Existential Quantification Using Skolemization + (Association for Computational Linguistics)
- Categorisation, Typicality & Object-Specific Features in Spatial Referring Expressions + (Association for Computational Linguistics)
- Display to Labeled Proofs and Back Again for Tense Logics + (Association for Computing Machinery)
- On Composing Finite Forests with Modal Logics + (Association for Computing Machinery)
- Can One Escape Red Chains? Regular Path Queries Determinacy is Undecidable + (Association for Computing Machinery)
- Determinacy of Real Conjunctive Queries. The Boolean Case + (Association for Computing Machinery)
- Chase Termination Beyond Polynomial Time + (Association for Computing Machinery)
- Logics with Concrete Domains: First-Order Properties, Abstract Expressive Power, and (Un)Decidability + (Association for Computing Machinery)
- Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms + (Association for Computing Machinery)
- Configuring BDD Compilation Techniques for Feature Models + (Association for Computing Machinery)
- Complexity and Succinctness of Public Announcement Logic + (Association for Computing Machinery (ACM))
- Summary Report of The First International Competition on Computational Models of Argumentation + (Association for the Advancement of Artificial Intelligence)
- Multimedia Technology in Medical Training + (Augustinus)
- VDM^ meets LCF. Domain-Theoretic and Topological Aspects of VDM^ + (British Computer Society)
- Die Zukunft der Wikis: Semantic Web + (C&L Computer und Literaturverlag)
- Identifying Noise Variables in Singular Decisions using Counterfactual Reasoning + (CAKR@ IJCAI)
