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
- SAT Encoding of Unification in EL + (6397)
- Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics + (6397)
- Design and Verification of Systems with Exogenous Coordination Using Vereofy + (6416)
- Integrated Metamodeling and Diagnosis in OWL 2 + (6496)
- SPARQL Beyond Subgraph Matching + (6496)
- Succinctness and tractability of closure operator representations + (658, Part B)
- On the Verification of Qualitative Properties of Probabilistic Processes under Fairness Constraints + (66)
- Some Complexity Results about Essential Closed Sets + (6628)
- Modeling and Verification of Components and Connectors + (6659)
- On the Complexity of Boolean Unification + (67)
- Extensions of Concept Languages for a Mechanical Engineering Application + (671)
- Strong Equivalence for Argumentation Semantics Based on Conflict-Free Sets + (6717)
- General A- and AX-Unification via Optimized Combination Procedures + (677)
- Description Logics That Count, and What They Can and Cannot Count + (68)
- Unification in the Description Logic EL without the Top Concept + (6803)
- State Complexity of Projected Languages + (6808)
- On boolean combinations forming piecewise testable languages + (682)
- Retractable Complex Event Processing and Stream Reasoning + (6826)
- A Declarative Framework for Matching Iterative and Aggregative Patterns against Event Streams + (6826)
- Utility and Feasibility of Reasoning beyond Decidability in Semantic Technologies + (6828)
- Foundations of Description Logics + (6848)
- Computing Intensional Answers to Questions - An Inductive Logic Programming Approach + (69)
- An Overview of Tableau Algorithms for Description Logics + (69)
- Combination Techniques and Decision Problems for Disunification + (690)
- A Compositional Framework for Controller Synthesis + (6901)
- Web Reasoning and Rule Systems - 5th International Conference (RR 2011) + (6902)
- Hierarchical Modeling and Formal Verification: An Industrial Case Study Using Reo and Vereofy + (6959)
- On the Undecidability of Fuzzy Description Logics with GCIs and Product t-norm + (6989)
- A Modified Supervaluationist Framework for Decision-Making + (7)
- Circumscription and Projection as Primitives of Logic Programming + (7)
- Combination Problems for Commutative/Monoidal Theories: How Algebra Can Help in Equational Reasoning + (7)
- Domain equations for probabilistic processes + (7)
- Probabilistic Aspects of Score Systems + (7)
- The Fuzzy Description Logic ALC_FH with Hedge Algebras as Concept Modifiers + (7)
- Towards a General Argumentation System based on Answer-Set Programming + (7)
- 2-ExpTime lower bounds for Propositional Dynamic Logics with intersection + (70)
- On the Decomposition of ADFs and the Complexity of Naive-based Semantics + (70)
- Concurrent Classification of EL Ontologies + (7032)
- Connectionist Model Generation: A First-Order Approach + (71)
- Finding Finite Herbrand Models + (7180)
- Solving language equations and disequations with applications to disunification in description logics and monadic set constraints + (7180)
- A Tableau Decision Algorithm for Modalized ALC with Constant Domains + (72)
- Connecting Many-Sorted Theories + (72)
- Graph Structures for Knowledge Representation and Reasoning - Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers + (7205)
- A Language for Default Reasoning about Actions + (7265)
- Extending Description Logic Rules + (7295)
- Propositional Dynamic Logic with Recursive Programs + (73)
- How Fuzzy is my Fuzzy Description Logic? + (7364)
- UEL: Unification Solver for the Description Logic EL – System Description + (7364)
- SAT-Encoding of Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies + (7364)
- On the State and Computational Complexity of the Reverse of Acyclic Minimal DFAs + (7381)
- A categorical view on algebraic lattices in formal concept analysis + (74)
- Admissibility in Probabilistic Argumentation + (74)
- Symbolic model checking for channel-based component connectors + (74)
- Waiting for Locks: How Long Does It Usually Take? + (7437)
- Fixed Parameter Tractable Reasoning in DLs via Decomposition + (745)
- Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011 + (745)
