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
- The Bayesian Description Logic BEL + (8562)
- EL-ifying Ontologies + (8562)
- jcel: A Modular Rule-based Reasoner + (858)
- Effective algorithm for parameter back calculation - Geotechnical applications + (86)
- Classification, Individuation and Demarcation of Forests: formalising the multi-faceted semantics of geographic terms + (86)
- Cardinality Restrictions on Concepts + (861)
- On Upper and Lower Bounds on the Length of Alternating Towers + (8634)
- On Descriptional Complexity of Partially Parallel Grammars + (87)
- Reasoning in ALC with Fuzzy Concrete Domains + (8736)
- Matching with respect to general concept inclusions in the Description Logic EL + (8736)
- CDCL Solver Additions: Local Look-ahead, All-Unit-UIP Learning and On-the-fly Probing + (8736)
- Formula Simplifications as DRAT Derivations + (8736)
- A More Compact Translation of Pseudo-Boolean Constraints into CNF such that Generalized Arc Consistency is Maintained + (8736)
- P ≠ P: Why Some Reasoning Problems Are More Tractable Than Others + (8741)
- Conjunctive Query Answering in Finitely-valued Fuzzy Description Logics + (8741)
- Combining three Ways of Conveying Knowledge: Modularization of Domain, Terminological, and Linguistic Knowledge in Ontologies + (875)
- Error-Tolerant Reasoning in the Description Logic EL + (8761)
- Tight Complexity Bounds for Reasoning in the Description Logic BEL + (8761)
- The Fuzzy Description Logic G-FL_0 with Greatest Fixed-Point Semantics + (8761)
- Verification of Context-Sensitive Knowledge and Action Bases + (8761)
- Schema-Agnostic Query Rewriting in SPARQL 1.1 + (8796)
- Introducing Wikidata to the Linked Data Web + (8796)
- Fast Modularisation and Atomic Decomposition of Ontologies using Axiom Dependency Hypergraphs + (8797)
- Pushing the Boundaries of Tractable Ontology Reasoning. + (8797)
- Cardinality Restrictions on Concepts + (88)
- Finite Lattices Do Not Make Reasoning in ALCOI Harder + (8816)
- Distributed computation of supremal conditionally-controllable sublanguages + (89)
- The classification of homomorphism homogeneous tournaments + (89)
- Probabilistic weak simulation is decidable in polynomial time + (89)
- A Description Logic with Concrete Domains and Role-forming Predicates + (9)
- A Description Logic with Transitive and Inverse Roles and Role Hierarchies + (9)
- Begabtenförderung im MINT-Bereich + (9)
- Expressive Number Restrictions in Description Logics + (9)
- Matching in Description Logics + (9)
- Shortipedia: Aggregating and Curating Semantic Web Data + (9)
- The Connection Between Initial and Unique Solutions of Domain Equations in the Partial Order and Metric Approach + (9)
- The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence + (9)
- Verifying nondeterministic probabilistic channel systems against $ømega$-regular linear-time properties + (9)
- Proc. of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS), 2015, London, UK, April 11-18, 2015. + (9035)
- Reduction-Based Approaches to Implement Modgil’s Extended Argumentation Frameworks + (9060)
- What Is a Reasonable Argumentation Semantics? + (9060)
- Asynchronous Multi-Context Systems + (9060)
- Open Problems in Abstract Argumentation + (9060)
- A Glimpse on Gerhard Brewka's Contributions to Artificial Intelligence + (9060)
- Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation -- Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday + (9060)
- Exploring Faulty Data + (9113)
- Combination of Constraint Solving Techniques: An Algebraic Point of View + (914)
- On the Complexity of k-Piecewise Testability and the Depth of Automata + (9168)
- The Hanoi Omega-Automata Format + (9206)
- Ratio and Weight Quantiles + (9234)
- Quantitative Analysis of Communication Scenarios + (9268)
- A Chomsky-Schützenberger Theorem for Weighted Automata with Storage + (9270)
- An Extension-Based Approach to Belief Revision in Abstract Argumentation + (93)
- Modulo Counting on Words and Trees. + (93)
- Probabilistic Query Answering in the Bayesian Description Logic BEL + (9310)
- Decidable Description Logics of Context with Rigid Roles + (9322)
- Second-Order Quantifier Elimination on Relational Monadic Formulas – A Basic Method and Some Less Expected Applications + (9323)
- KI 2015: Advances in Artificial Intelligence - Proceedings of the 38th Annual German Conference on AI + (9324)
- Reasoning About Cost-Utility Constraints in Probabilistic Models + (9328)
