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
- ILP Operators for Propositional Connectionist Networks + (103-108)
- Control of an Engineering-Structured Multilevel Discrete-Event System + (103-108)
- Gödel Negation Makes Unwitnessed Consistency Crisp + (103-113)
- Abduction in Logic Programming as Second-Order Quantifier Elimination + (103-119)
- Computing Stable Models for Nonmonotonic Existential Rules + (1031-1038)
- The classification of homomorphism homogeneous tournaments + (103142)
- Design and results of the second international competition on computational models of argumentation + (103193)
- An Abstract, Logical Approach to Characterizing Strong Equivalence in Non-monotonic Knowledge Representation Formalisms + (103680)
- From Default and Autoepistemic Logics to Disjunctive Answer Set Programs via the Logic of GK + (1039--1040)
- Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ + (1039-1044)
- Static Partial Order Reduction for Probabilistic Concurrent Systems + (104--113)
- What Is Ontology Merging? – A Category-Theoretical Perspective Using Pushouts + (104-107)
- Automata Can Show PSPACE Results for Description Logics + (1045-1056)
- Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination + (104504)
- The Consistency of a Noninterleaving and an Interleaving Model for Full TCSP + (105--120)
- Matching Trace Patterns with Regular Policies + (105-116)
- Continuity of Semantic Operators in Logic Programming and their Approximation by Artificial Neural Networks + (105-119)
- Automata-based Reasoning in Fuzzy Description Logics + (106-106)
- Quality Assessment of Design Cases within the DOM Environment + (106-113)
- Ontology-Mediated Queries for Probabilistic Databases + (1063–1069)
- Solving language equations and disequations with applications to disunification in description logics and monadic set constraints + (107-121)
- Error-Tolerant Reasoning in the Description Logic EL + (107-121)
- Approximate Computation of Exact Association Rules + (107-122)
- Supervisory Control of Distributed Discrete-Event Systems + (107-126)
- Combination of Constraint Solvers for Free and Quasi-Free Structures + (107-161)
- Solving Advanced Argumentation Problems with Answer-Set Programming + (1077-1083)
- On the descriptional complexity of scattered context grammars + (108-112)
- The Inclusion Problem for Weighted Automata on Infinite Trees + (108-122)
- Projection and Scope-Determined Circumscription + (1089-1108)
- Introduction to the TPLP Special Issue on User-oriented Logic Programming and Reasoning Paradigms + (109-104)
- PIT: A System for Reasoning with Probabilities. + (109-123)
- A Tutorial on Proof Theoretic Foundations of Logic Programming + (109-127)
- An Empirical Analysis of Optimization Techniques for Terminological Representation Systems + (109-132)
- A Family of Approximation Algorithms for the Maximum Duo-Preservation String Mapping Problem + (10:1-10:14)
- Towards Predictive Self-optimization by Situation Recognition + (11)
- Out of the Lab, Into the Wild: Growing Open Source Communities Around Academic Projects + (11-17)
- Towards the Generation of Semantically Enriched Multilingual Components of Ontology Labels + (11-22)
- Axiom Pinpointing in General Tableaux + (11-27)
- Towards Automated Configuration of Systems with Non-Functional Constraints + (111--117)
- Decentrally Coordinated Execution of Adaptations in Distributed Self-Adaptive Software Systems + (111--120)
- On the Maximal and Average Numbers of Stable Extensions + (111--126)
- Formula Simplifications as DRAT Derivations + (111-122)
- Equational Logic and Theories of Action + (111-123)
- Regulated Nondeterminism in Pushdown Automata: The Non-Regular Case + (111-124)
- OWL 2 Profiles: An Introduction to Lightweight Ontology Languages + (112-183)
- Compact Rewritings for Existential Rules + (1125-1131)
- Quantitative Characterization of Reconfigurable Transistor Logic Gates + (112598 - 112614)
- On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic + (113-119)
- Modeling and Verification of Components and Connectors + (114--147)
- Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems + (114-133)
