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
- Domain equations for probabilistic processes + (Mathematical Structures in Computer Science)
- Model Checking for Performability + (Mathematical Structures in Computer Science)
- Compositional matrix-space models of language: Definitions, properties, and learning methods + (Natural Language Engineering)
- Connectionist Model Generation: A First-Order Approach + (Neurocomputing)
- Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor + (Notre Dame Journal of Formal Logic)
- Decision making improves sperm chemotaxis in the presence of noise + (PLOS Computational Biology)
- Chase Termination Beyond Polynomial Time + (Proc. ACM Manag. Data)
- Restricted Chase Termination: You Want More than Fairness + (Proc. ACM Manag. Data)
- Responsibility Attribution in Parameterized Markovian Models + (Proceedings of the AAAI Conference on Artificial Intelligence)
- On context-free rewriting with a simple restriction and its computational completeness + (RAIRO - Theoretical Informatics and Applications)
- Estrategias de combinación de recursos lexicográficos en la adquisición de lenguas extranjeras (en contextos específicos) + (Revista Nebrija)
- Robust mobile robot localisation from sparse and noisy proximity readings using Hough transform and probability grids + (Robotics and Autonomous Systems)
- Distributed Splicing of RE with 6 Test Tubes + (Romanian Journal of Information Science and Technology)
- Logics with Concrete Domains: First-Order Properties, Abstract Expressive Power, and (Un)Decidability + (SIGAPP Appl. Comput. Rev.)
- ProbMela and verification of Markov decision processes + (SIGMETRICS Performance Evaluation Review)
- Model checking meets performance evaluation + (SIGMETRICS Performance Evaluation Review)
- ProbMeLa and Verification of Markov Decision Processes + (SIGMETRICS Performance Evaluation Review)
- Modeling component connectors in Reo by constraint automata + (Science of Computer Programming)
- Symbolic model checking for channel-based component connectors + (Science of Computer Programming)
- Alternating-time stream logic for multi-agent systems + (Science of Computer Programming)
- Synthesis of Reo circuits from scenario-based interaction specifications + (Science of Computer Programming)
- Order matters! Harnessing a world of orderings for reasoning over massive data + (Semantic Web)
- Stream reasoning and complex event processing in ETALIS + (Semantic Web)
- Completeness and soundness guarantees for conjunctive SPARQL queries over RDF data sources with completeness statements + (Semantic Web)
- Semantic Node-RED for rapid development of interoperable industrial IoT applications + (Semantic Web)
- A Closer Look at the Semantic Relationship between Datalog and Description Logics + (Semantic Web Journal)
- Unification in Varieties of Idempotent Semigroups + (Semigroup Forum)
- Topological Entropy of Formal Languages + (Semigroup Forum)
- Models and temporal logical specifications for timed component connectors + (Software and System Modeling)
- Lazy model checking for recursive state machines + (Software and Systems Modeling)
- An Overview of Tableau Algorithms for Description Logics + (Studia Logica)
- A Tableau Decision Algorithm for Modalized ALC with Constant Domains + (Studia Logica)
- Temporal Tableaux + (Studia Logica)
- An FCA grounded study of user dynamics through log exploration + (Studia Univ. Babes-Bolyai, Ser. Informatica)
- Classifying Software Bug Reports Using Methods from Formal Concept Analysis + (Studia Universitatis Babeş-Bolyai Informatica)
- On conditional decomposability + (Systems & Control Letters)
- Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator + (Systems & Control Letters)
- Leveraging Non-Lexical Knowledge for the Linked Open Data Web + (The Fifth RAFT'2010 The yearly bilingual publication on nonchalant research)
- Foundations of Implementations for Formal Argumentation + (The IfCoLog Journal of Logics and their Applications; Special Issue Formal Argumentation)
- Connecting Many-Sorted Theories + (The Journal of Symbolic Logic)
- Reasoning About Structured Objects: Knowledge Representation Meets Databases + (The Knowledge Engineering Review)
- Generalized Ultrametric Spaces in Quantitative Domain Theory + (Theoretical Computer Science)
- On a structural property in the state complexity of projected regular languages + (Theoretical Computer Science)
- Left-forbidding cooperating distributed grammar systems + (Theoretical Computer Science)
- On the descriptional complexity of scattered context grammars + (Theoretical Computer Science)
- Constructible differentially finite algebraic series in several variables + (Theoretical Computer Science)
- Combination of Constraint Solvers for Free and Quasi-Free Structures + (Theoretical Computer Science)
- The Complexity of Computing the Behaviour of Lattice Automata on Infinite Trees + (Theoretical Computer Science)
- Hypothesis Finding with Proof Theoretical Appropriateness Criteria + (Theoretical Computer Science)
- Generalized Metrics and Uniquely Determined Logic Programs + (Theoretical Computer Science)
- MELL in the Calculus of Structures + (Theoretical Computer Science)
