Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• 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)