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
- 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)
- Cardinality Restrictions on Concepts + (Artificial Intelligence)
- Combining Interval-based Temporal Reasoning with General TBoxes + (Artificial Intelligence)
- E-Connections of Abstract Description Systems + (Artificial Intelligence)
- Foundations of instance level updates in expressive description logics + (Artificial Intelligence)
- The Limits of Decidability in Fuzzy Description Logics with General Concept Inclusions + (Artificial Intelligence)
- Design and results of the second international competition on computational models of argumentation + (Artificial Intelligence)
- Reactive multi-context systems: Heterogeneous reasoning in dynamic environments + (Artificial Intelligence)
- Approximating Operators and Semantics for Abstract Dialectical Frameworks + (Artificial Intelligence)
- Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory + (Artificial Intelligence)
- On rejected arguments and implicit conflicts: The hidden power of argumentation semantics + (Artificial Intelligence)
- An Abstract, Logical Approach to Characterizing Strong Equivalence in Non-monotonic Knowledge Representation Formalisms + (Artificial Intelligence)
- Methods for Solving Reasoning Problems in Abstract Argumentation – A Survey + (Artificial Intelligence Journal)
- A note on controllability of deterministic context-free systems + (Automatica)
- Supervisory control synthesis of discrete-event systems using a coordination scheme + (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)
- Weighted Regular Tree Grammars with Storage + (Discrete Mathematics & Theoretical Computer Science)
- Model Checking for a Probabilistic Branching Time Logic with Fairness + (Distributed Computing)
- Computing Probability Bounds for Linear Time Formulas over Concurrent Probabilistic Systems + (Electron. Notes Theor. Comput. Sci.)
- On the Semantic Foundations of Probabilistic Synchronous Reactive Programs + (Electron. Notes Theor. Comput. Sci.)
- Modeling Component Connectors in Reo by Constraint Automata: (Extended Abstract) + (Electron. Notes Theor. Comput. Sci.)
- Iterative Variable Reordering: Taming Huge System Families + (Electronic Proceedings in Theoretical Computer Science)
- Next directions in experimental data for seismic hazard mitigation + (Engineering Structures)
- The classification of homomorphism homogeneous tournaments + (European Journal of Combinatorics)
