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