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
- Design and Evaluation of Small-Large Outer Joins in Cloud Computing Environments + (2-15)
- Computing Local Unifiers in the Description Logic EL without the Top Concept + (2-8)
- Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking + (20--39)
- Die Beweisentwicklungsumgebung Omega-MKRP + (20-26)
- Experience Based Nonmonotonic Reasoning + (200-205)
- Towards Mass Spectrum Analysis with ASP + (200-214)
- Completing Incomplete Bayesian Networks + (200-218)
- A Short Overview on Modern Parallel SAT-Solvers + (201-206)
- Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics + (202-218)
- Stochastic Game Logic + (203--224)
- Conceptual Knowledge Acquisition Using Automatically Generated Large-Scale Semantic Networks + (203-206)
- Approximation and Difference in Description Logics + (203-214)
- Weighted Symbolic Automata with Data Storage + (203-215)
- On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite Sets + (203-219)
- Probabilistic Causes in Markov Chains + (205--221)
- The Well-Founded Semantics is a Stratified Fitting Semantics + (205-221)
- The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief Fusion + (205-–214)
- Managing Structured and Semistructured RDF Data Using Structure Indexes + (2076-2089)
- Solving Hidokus using SAT Solvers + (208-212)
- User Adaptation in a Web Shop System + (208-213)
- Visualization of Statistical Information in Concept Lattice Diagrams + (208-223)
- Model Checking Markov Chains with Actions and State Labels + (209--224)
- Checking Equivalence for Reo Networks + (209--226)
- A formal assessment result for fluent calculus using the action description language A_k + (209-223)
- An Approach to Exploring Description Logic Knowledge Bases + (209-224)
- The Fuzzy Linguistic Description Logic ALC_FL + (2096-2103)
- Configuring BDD Compilation Techniques for Feature Models + (209–216)
- CLAS – A Parallel SAT Solver that Combines CDCL, Look-Ahead and SLS Search Strategies + (21)
- Synthesis of Reo circuits from scenario-based specifications + (21--41)
- Fusions of Description Logics + (21-30)
- Temporal Conjunctive Queries in Expressive Description Logics with Transitive Roles + (21-33)
- A Medvedev Characterization of Recognizable Tree Series + (210-221)
- LODifier: Generating Linked Data from Unstructured Text + (210-224)
- Unification in Varieties of Completely Regular Semigroups + (210-230)
- Faceted Answer-Set Navigation + (211--225)
- Clause Simplifications in Search-Space Decomposition-Based SAT Solvers + (211-219)
- Distributed Splicing of RE with 6 Test Tubes + (211-234)
- Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures + (211-243)
- Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness + (212--227)
- Matching under Side Conditions in Description Logics + (213-218)
- Mary likes all Cats + (213-226)
- On the Correspondence between Nested Calculi and Semantic Systems for Intuitionistic Logics + (213-265)
- MELL in the Calculus of Structures + (213-285)
- On the Complexity of Boolean Unification + (215-220)
- Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata + (217--226)
- Rare-Event Verification for Stochastic Hybrid Systems + (217--226)
- Trees and Semantics + (217--250)
- IASCAR: Incremental Answer Set Counting by Anytime Refinement + (217-230)
- Unification in a Description Logic with Transitive Closure of Roles + (217-232)
- Foundations of instance level updates in expressive description logics + (2170-2197)
