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
- 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)
- Stage semantics and the SCC-recursive schema for argumentation semantics + (1149-1202)
- On the Limits of Decision: the Adjacent Fragment of First-Order Logic + (114:1--114:20)
- Explicit and Implicit Indeterminism: Reasoning about uncertain and contradictory specifications of dynamic systems + (115-119)
- NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces + (116-127)
- Computing the least common subsumer in the description logic EL w.r.t. terminological cycles with descriptive semantics + (117-130)
- On the Decidability Status of Fuzzy ALC with General Concept Inclusions + (117-146)
- Responsibility Attribution in Parameterized Markovian Models + (11734-11743)
- Interactive ontology revision + (118-130)
- Logic on MARS: Ontologies for generalised property graphs + (1188-1194)
- Weak Bisimulation for Fully Probabilistic Processes + (119--130)
- A Concept Language for an engeneering application with part-whole relations + (119-123)
- Weight Monitoring with Linear Temporal Logic: Complexity and Decidability + (11:1--11:10)
- Extending Two-Variable Logic on Trees + (11:1--11:20)
- Investigating Subclasses of Abstract Dialectical Frameworks + (12-14)
- Description Logics + (12-19)
- Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers + (12-25)
- From Display to Labelled Proofs for Tense Logics + (120-139)
- (Non-)Succinctness of uniform interpolants of general terminologies in the description logic ℰℒ + (120-140)
- Datalog-Expressibility for Monadic and Guarded Second-Order Logic + (120:1-120:17)
- Iterative Variable Reordering: Taming Huge System Families + (121--133)
- The Weak Completion Semantics and Counterexamples + (121--154)
- Tableaux for Temporal Description Logic with Constant Domain + (121-136)
- Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics + (121-164)
- Modeling Role-Based Systems with Exogenous Coordination + (122--139)
- Retractable Complex Event Processing and Stream Reasoning + (122-137)
- A Sound and Complete Backward Chaining Algorithm for Existential Rules + (122-138)
- Finite Lattices Do Not Make Reasoning in ALCOI Harder + (122-141)
- Defaults in Action: Non-monotonic Reasoning About States in Action Calculi + (123--128)
