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
- 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)
- Towards a General Argumentation System based on Answer-Set Programming + (7)
- Combination Problems for Commutative/Monoidal Theories: How Algebra Can Help in Equational Reasoning + (7)
- Circumscription and Projection as Primitives of Logic Programming + (7)
- The Fuzzy Description Logic ALC_FH with Hedge Algebras as Concept Modifiers + (7)
- Probabilistic Aspects of Score Systems + (7)
- A Modified Supervaluationist Framework for Decision-Making + (7)
- Domain equations for probabilistic processes + (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)
- 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)
- Implementing completion-based inferences for the el-family + (745)
- Correcting Access Restrictions to a Consequence More Flexibly + (745)
- Fuzzy Ontologies over Lattices with T-norms + (745)
- GCIs Make Reasoning in Fuzzy DL with the Product T-norm Undecidable + (745)
- Unification in the Description Logic EL without the Top Concept + (745)
- Nominal Schemas for Integrating Rules and Description Logics + (745)
- Playing Stochastic Games Precisely + (7454)
- A Semantics for Open Normal Defaults via a Modified Preferential Approach + (747)
- Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceeding + (7497)
- A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices + (7497)
- Recent Advances in Integrating OWL and Rules + (7497)
- Alternating-time stream logic for multi-agent systems + (75)
- Simple restriction in context-free rewriting + (76)
- Temporal Tableaux + (76)
- Synthesis of Reo circuits from scenario-based interaction specifications + (76)
