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

• Design and results of the second international competition on computational models of argumentation  + (0004-3702)
• Methods for Solving Reasoning Problems in Abstract Argumentation – A Survey  + (0004-3702)
• Reactive multi-context systems: Heterogeneous reasoning in dynamic environments  + (0004-3702)

• A note on controllability of deterministic context-free systems  + (0005-1098)
• Supervisory control synthesis of discrete-event systems using a coordination scheme  + (0005-1098)
• Complexity of Infimal Observable Superlanguages  + (0018-9286)
• Complexity of Verifying Nonblockingness in Modular Supervisory Control  + (0018-9286)
• Descriptional complexity of semi-conditional grammars  + (0020-0190)
• Descriptional complexity of multi-parallel grammars  + (0020-0190)
• Concept lattices with negative information: A characterization theorem  + (0020-0255)
• Distributed computation of supremal conditionally-controllable sublanguages  + (0020-7179)
• On restricted context-free grammars  + (0022-0000)
• Simple restriction in context-free rewriting  + (0022-0000)
• Satisfiability of ECTL* with Constraints  + (0022-0000)
• Effective algorithm for parameter back calculation - Geotechnical applications  + (0038-9145)
• A Note on Limited Pushdown Alphabets in Stateless Deterministic Pushdown Automata  + (0129-0541)
• On the Terminating Derivation Mode in Cooperating Distributed Grammar Systems with Forbidding Components  + (0129-0541)
• On conditional decomposability  + (0167-6911)
• Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator  + (0167-6911)
• Neural Machine Translating from Natural Language to SPARQL  + (0167-739X)
• Computing Intensional Answers to Questions - An Inductive Logic Programming Approach  + (0169-023X)
• Blackhole Pushdown Automata  + (0169-2968)
• Bounded Number of Parallel Productions in Scattered Context Grammars with Three Nonterminals  + (0169-2968)
• Regulated Nondeterminism in Pushdown Automata: The Non-Regular Case  + (0169-2968)
• On Descriptional Complexity of Partially Parallel Grammars  + (0169-2968)
• Languages, Decidability, and Complexity  + (0170-8643)
• Supervisory Control with Complete Observations  + (0170-8643)
• Supervisory Control of Distributed Discrete-Event Systems  + (0170-8643)
• Coordination Control of Distributed Discrete-Event Systems  + (0170-8643)
• Coordination Control of Distributed Discrete-Event Systems  + (0170-8643)
• Supervisory Control of Discrete-Event Systems  + (0170-8643)
• Robust and Efficient Large-large Table Outer Joins on Distributed Infrastructures  + (0302-9743)
• Concrete Results on Abstract Rules  + (0302-9743)
• ShareAlike Your Data: Self-referential Usage Policies for the Semantic Web  + (0302-9743)
• P ≠ P: Why Some Reasoning Problems Are More Tractable Than Others  + (0302-9743)
• The Not-So-Easy Task of Computing Class Subsumptions in OWL RL  + (0302-9743)
• Quo Vadis, CS? - On the (non)-impact of Conceptual Structures on the Semantic Web  + (0302-9743)
• Reasoning in Semantic Wikis  + (0302-9743)
• Schema-Agnostic Query Rewriting in SPARQL 1.1  + (0302-9743)
• Supporting Lexical Ontology Learning by Relational Exploration  + (0302-9743)
• Concurrent Classification of EL Ontologies  + (0302-9743)
• Introducing Wikidata to the Linked Data Web  + (0302-9743)
• Tempus Fugit - Towards an Ontology Update Language  + (0302-9743)
• Using FCA for Encoding of Closure Operators into Neural Networks  + (0302-9743)
• Conjunctive Queries for a Tractable Fragment of OWL 1.1  + (0302-9743)
• Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems  + (0302-9743)
• Reduction-Based Approaches to Implement Modgil’s Extended Argumentation Frameworks  + (0302-9743)
• What Is a Reasonable Argumentation Semantics?  + (0302-9743)
• Efficient Large Outer Joins over MapReduce  + (0302-9743)
• Semantic Characterizations of AGM Revision for Tarskian Logics  + (0302-9743)