Suche mittels Attribut

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

• Automata Can Show PSPACE Results for Description Logics  + (1045-1056)
• Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination  + (104504)
• The Consistency of a Noninterleaving and an Interleaving Model for Full TCSP  + (105--120)
• Matching Trace Patterns with Regular Policies  + (105-116)
• Continuity of Semantic Operators in Logic Programming and their Approximation by Artificial Neural Networks  + (105-119)
• Automata-based Reasoning in Fuzzy Description Logics  + (106-106)
• Quality Assessment of Design Cases within the DOM Environment  + (106-113)
• Ontology-Mediated Queries for Probabilistic Databases  + (1063–1069)
• Solving language equations and disequations with applications to disunification in description logics and monadic set constraints  + (107-121)
• Error-Tolerant Reasoning in the Description Logic EL  + (107-121)
• Approximate Computation of Exact Association Rules  + (107-122)
• Supervisory Control of Distributed Discrete-Event Systems  + (107-126)
• Combination of Constraint Solvers for Free and Quasi-Free Structures  + (107-161)
• 2-ExpTime lower bounds for Propositional Dynamic Logics with intersection  + (1072-1086)
• Solving Advanced Argumentation Problems with Answer-Set Programming  + (1077-1083)
• On the descriptional complexity of scattered context grammars  + (108-112)
• The Inclusion Problem for Weighted Automata on Infinite Trees  + (108-122)
• Projection and Scope-Determined Circumscription  + (1089-1108)
• Introduction to the TPLP Special Issue on User-oriented Logic Programming and Reasoning Paradigms  + (109-104)
• PIT: A System for Reasoning with Probabilities.  + (109-123)
• A Tutorial on Proof Theoretic Foundations of Logic Programming  + (109-127)
• An Empirical Analysis of Optimization Techniques for Terminological Representation Systems  + (109-132)
• A Family of Approximation Algorithms for the Maximum Duo-Preservation String Mapping Problem  + (10:1-10:14)
• Towards Predictive Self-optimization by Situation Recognition  + (11)
• Out of the Lab, Into the Wild: Growing Open Source Communities Around Academic Projects  + (11-17)

• Towards the Generation of Semantically Enriched Multilingual Components of Ontology Labels  + (11-22)

• Axiom Pinpointing in General Tableaux  + (11-27)
• Towards Automated Configuration of Systems with Non-Functional Constraints  + (111--117)
• Decentrally Coordinated Execution of Adaptations in Distributed Self-Adaptive Software Systems  + (111--120)
• On the Maximal and Average Numbers of Stable Extensions  + (111--126)
• Formula Simplifications as DRAT Derivations  + (111-122)
• Equational Logic and Theories of Action  + (111-123)
• Regulated Nondeterminism in Pushdown Automata: The Non-Regular Case  + (111-124)
• OWL 2 Profiles: An Introduction to Lightweight Ontology Languages  + (112-183)
• Compact Rewritings for Existential Rules  + (1125-1131)
• Quantitative Characterization of Reconfigurable Transistor Logic Gates  + (112598 - 112614)
• On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic  + (113-119)
• Modeling and Verification of Components and Connectors  + (114--147)
• Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems  + (114-133)
• Stage semantics and the SCC-recursive schema for argumentation semantics  + (1149-1202)
• On the Limits of Decision: the Adjacent Fragment of First-Order Logic  + (114:1--114:20)
• Explicit and Implicit Indeterminism: Reasoning about uncertain and contradictory specifications of dynamic systems  + (115-119)
• A Chomsky-Schützenberger Theorem for Weighted Automata with Storage  + (115-127)
• NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces  + (116-127)
• Computing the least common subsumer in the description logic EL w.r.t. terminological cycles with descriptive semantics  + (117-130)
• On the Decidability Status of Fuzzy ALC with General Concept Inclusions  + (117-146)
• Responsibility Attribution in Parameterized Markovian Models  + (11734-11743)
• Interactive ontology revision  + (118-130)
• Logic on MARS: Ontologies for generalised property graphs  + (1188-1194)
• Weak Bisimulation for Fully Probabilistic Processes  + (119--130)
• A Concept Language for an engeneering application with part-whole relations  + (119-123)