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

• Cooperating Distributed Grammar Systems with Random Context Grammars as Components  + (Acta Cybernetica)
• On Pure Multi-Pushdown Automata that Perform Complete Pushdown Pops  + (Acta Cybernetica)
• Two Power-Decreasing Derivation Restrictions in Generalized Scattered Context Grammars  + (Acta Cybernetica)
• The Connection between an Event Structure Semantics and an Operational Semantics for TCSP  + (Acta Informatica)
• Metric Semantics from Partial Order Semantics  + (Acta Informatica)
• Stochastic Game Logic  + (Acta Informatica)
• On the probabilistic bisimulation spectrum with silent moves  + (Acta Informatica)
• Compositional Construction of Most General Controllers  + (Acta Informatica, Special Issue: Combining Compositionality and Concurrency: Part 2)
• Using Automata Theory for Characterizing the Semantics of Terminological Cycles  + (Annals of Mathematics and Artificial Intelligence)
• Fast algorithms for implication bases and attribute exploration using proper premises  + (Annals of Mathematics and Artificial Intelligence)
• Computing Change and Specificity with Equational Logic Programs  + (Annals of Mathematics and Artificial Intelligence)
• Real-Time Complex Event Recognition and Reasoning-a Logic Programming Approach  + (Applied Artificial Intelligence)
• An Empirical Analysis of Optimization Techniques for Terminological Representation Systems  + (Applied Intelligence)
• Approximating the Semantics of Logic Programs by Recurrent Neural Networks  + (Applied Intelligence)
• Extracting Reduced Logic Programs from Artificial Neural Networks  + (Applied Intelligence)
• Answer-set programming encodings for argumentation frameworks  + (Argument & Computation)
• Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas  + (Argument & Computation)
• Investigating subclasses of abstract dialectical frameworks  + (Argument & Computation)

• (Non-)Succinctness of uniform interpolants of general terminologies in the description logic ℰℒ  + (Artificial Intelligence)
• An Abstract, Logical Approach to Characterizing Strong Equivalence in Non-monotonic Knowledge Representation Formalisms  + (Artificial Intelligence)
• Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory  + (Artificial Intelligence)
• Approximating Operators and Semantics for Abstract Dialectical Frameworks  + (Artificial Intelligence)
• Cardinality Restrictions on Concepts  + (Artificial Intelligence)
• Combining Interval-based Temporal Reasoning with General TBoxes  + (Artificial Intelligence)
• Design and results of the second international competition on computational models of argumentation  + (Artificial Intelligence)
• E-Connections of Abstract Description Systems  + (Artificial Intelligence)
• Foundations of instance level updates in expressive description logics  + (Artificial Intelligence)
• On rejected arguments and implicit conflicts: The hidden power of argumentation semantics  + (Artificial Intelligence)
• Reactive multi-context systems: Heterogeneous reasoning in dynamic environments  + (Artificial Intelligence)
• The Limits of Decidability in Fuzzy Description Logics with General Concept Inclusions  + (Artificial Intelligence)

• Methods for Solving Reasoning Problems in Abstract Argumentation – A Survey  + (Artificial Intelligence Journal)
• Supervisory control synthesis of discrete-event systems using a coordination scheme  + (Automatica)
• A note on controllability of deterministic context-free systems  + (Automatica)
• Formal representation of complex SNOMED CT expressions  + (BMC Medical Informatics and Decision Making)
• Effektiver Algorithmus zur Lösung von inversen Aufgabenstellungen - Anwendung in der Geotechnik  + (Bautechnik)
• Effective algorithm for parameter back calculation - Geotechnical applications  + (Bautechnik)
• Study of the Polymorphism of the Patagonian Calceolaria Polyrhiza (Calceolariaceae) using Decision Tree and Sequential Covering Rule Induction  + (Botanical Journal of the Linnean Society)
• Internal and External Calculi: Ordering the Jungle without Being Lost in Translations  + (Bulletin of the Section of Logic)
• Identifying and Modelling Polysemous Senses of Spatial Prepositions in Referring Expressions  + (Cognitive Systems Research)
• Wikidata: a free collaborative knowledgebase  + (Commun. ACM)
• Performance evaluation and model checking join forces  + (Communications of the ACM)
• Towards next generation sequential and parallel SAT solvers  + (Constraints)
• Computing Intensional Answers to Questions - An Inductive Logic Programming Approach  + (Data & Knowledge Engineering)
• Using Queries as Schema-Templates for Graph Databases  + (Datenbank-Spektrum)
• On the complexity of enumerating pseudo-intents  + (Discrete Applied Mathematics)
• Preface: Concept Lattices and Applications: Recent Advances and New Opportunities  + (Discrete Applied Mathematics)
• Coordination control of discrete-event systems revisited  + (Discrete Event Dynamic Systems)
• Computation of Controllable and Coobservable Sublanguages in Decentralized Supervisory Control via Communication  + (Discrete Event Dynamic Systems)
• Leftmost Derivations of Propagating Scattered Context Grammars: A New Proof  + (Discrete Mathematics & Theoretical Computer Science)