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

• 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)
• Generalized Ultrametric Spaces in Quantitative Domain Theory  + (0304-3975)
• On a structural property in the state complexity of projected regular languages  + (0304-3975)
• Left-forbidding cooperating distributed grammar systems  + (0304-3975)
• On the descriptional complexity of scattered context grammars  + (0304-3975)
• Succinctness and tractability of closure operator representations  + (0304-3975)
• On boolean combinations forming piecewise testable languages  + (0304-3975)
• One-Variable Logic Meets Presburger Arithmetic  + (0304-3975)
• Self-Regulating Finite Automata  + (0324-721X)
• Cooperating Distributed Grammar Systems with Random Context Grammars as Components  + (0324-721X)
• On Pure Multi-Pushdown Automata that Perform Complete Pushdown Pops  + (0324-721X)
• Two Power-Decreasing Derivation Restrictions in Generalized Scattered Context Grammars  + (0324-721X)
• Real-Time Complex Event Recognition and Reasoning-a Logic Programming Approach  + (0883-9514)
• Complexity of Universality and Related Problems for Partially Ordered NFAs  + (0890-5401)
• Linear weighted tree automata with storage and inverse linear tree homomorphisms  + (0890-5401)
• Description Logic Rules  + (0922-6389)
• Coordination control of discrete-event systems revisited  + (0924-6703)
• Computation of Controllable and Coobservable Sublanguages in Decentralized Supervisory Control via Communication  + (0924-6703)

• Effektiver Algorithmus zur Lösung von inversen Aufgabenstellungen - Anwendung in der Geotechnik  + (0932-8351)

• Control of Distributed Systems: Tutorial and Overview  + (0947-3580)
• On the Correspondence between Nested Calculi and Semantic Systems for Intuitionistic Logics  + (0955-792X)
• The Basics of Display Calculi  + (10198288)
• Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is Your Friend!  + (1076 - 9757)
• On context-free rewriting with a simple restriction and its computational completeness  + (1290-385X)
• Leftmost Derivations of Propagating Scattered Context Grammars: A New Proof  + (1365-8050)
• Towards next generation sequential and parallel SAT solvers  + (1383-7133)
• Topological Entropy of Formal Languages  + (1432-2137)
• Die zwei Kulturen  + (1439-3107)
• Semantic Wikipedia  + (1439-3107)
• Display to Labeled Proofs and Back Again for Tense Logics  + (1529-3785)
• On Composing Finite Forests with Modal Logics  + (1529-3785)
• Description Logics  + (1541-1672)
• Semantic Wikipedia  + (1570-8268)
• Interactive ontology revision  + (1570-8268)
• The Incredible ELK: From Polynomial Procedures to Efficient Reasoning with ℰℒ Ontologies  + (1573-0670)
• Multi-Context Reasoning in Continuous Data-Flow Environments  + (1610-1987)
• Advanced Solving Technology for Dynamic and Reactive Applications  + (1610-1987)
• DLP isn't so bad after all  + (1613-0073)
• Third Conceptual Structures Tool Interoperability Workshop (CS-TIW 2008)  + (1613-0073)
• Refining Ontologies by Pattern-Based Completion  + (1613-0073)
• Conjunctive Queries for EL with Role Composition  + (1613-0073)
• Supplementary Proceedings of ICCS'09  + (1613-0073)
• Encoding Closure Operators into Neural Networks  + (1613-0073)
• Relational Exploration - Reconciling Plato and Aristotle  + (1613-0073)