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
- Methods for Solving Reasoning Problems in Abstract Argumentation – A Survey + (220)
- Tuple-Generating Dependencies Capture Complex Values + (220)
- NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces + (220146)
- ADF - BDD : An ADF Solver Based on Binary Decision Diagrams + (220146)
- Efficient Model Construction for Horn Logic with VLog: Extended Abstract + (2211)
- Happy Ever After: Temporally Attributed Description Logics + (2211)
- Unification in a Description Logic with Transitive Closure of Roles + (2250)
- A Local System for Classical Logic + (2250)
- Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory + (226)
- A Theory of Hypothesis Finding in Clausal Logic + (2281)
- Synthesis of Reo circuits from scenario-based specifications + (229(2))
- The cf2 argumentation semantics revisited + (23)
- Keys, Nominals, and Concrete Domains + (23)
- Solving a PSPACE-complete problem by gene assembly + (23)
- Model Checking for Performability + (23)
- Encoding Closure Operators into Neural Networks + (230)
- Extracting Propositional Rules from Feed-forward Neural Networks – A New Decompositional Approach + (230)
- Towards Propositional KLM-Style Defeasible Standpoint Logics + (2326)
- Non-monotonic Extensions to Formal Concept Analysis via Object Preferences + (2326)
- An Object Oriented Simulation of Real Occurring Molecular Biological Processes for DNA Computing and Its Experimental Verification + (2340)
- The Combined Approach to Query Answering in Horn-ALCHOIQ (Extended Abstract) + (2373)
- From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment + (2373)
- Chasing Sets: How to Use Existential Rules for Expressive Reasoning (Extended Abstract) + (2373)
- Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting + (2373)
- Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints + (2373)
- Combining Decision Procedures for Positive Theories Sharing Constructors + (2378)
- Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment + (2381)
- BDD-Based Decision Procedures for K + (2392)
- The Complexity of the Graded mu-Calculus + (2392)
- A Note on Limited Pushdown Alphabets in Stateless Deterministic Pushdown Automata + (24)
- IASCAR: Incremental Answer Set Counting by Anytime Refinement + (24)
- Logics with Concrete Domains: First-Order Properties, Abstract Expressive Power, and (Un)Decidability + (24)
- Modeling the Suppression Task under Weak Completion and Well-Founded Semantics + (24)
- On Composing Finite Forests with Modal Logics + (24)
- On Monotonic Determinacy and Rewritability for Recursive Queries and Views + (24)
- Small is again Beautiful in Description Logics + (24)
- Winning Snake: Design Choices in Multi-Shot ASP + (24)
- A Purely Logical Account of Sequentiality in Proof Search + (2401)
- On rejected arguments and implicit conflicts: The hidden power of argumentation semantics + (241)
- Towards Model Theory of Ordered Logics: Expressivity and Interpolation + (241)
- Simulation for Continuous-Time Markov Chains + (2421)
- Human Syllogistic Reasoning: Towards Predicting Individuals' Reasoning Behavior based on Cognitive Principles + (2445)
- Computational Aspects of cf2 and stage2 Argumentation Semantics + (245)
- Evaluating Abstract Dialectical Frameworks with ASP + (245)
- Default Reasoning about Actions via Abstract Argumentation + (245)
- Automated Performance and Dependability Evaluation Using Model Checking + (2459)
- Incremental Fuzzy Decision Trees + (2479)
- The Well-Founded Semantics is a Stratified Fitting Semantics + (2479)
- Preface: Concept Lattices and Applications: Recent Advances and New Opportunities + (249)
- Managing Structured and Semistructured RDF Data Using Structure Indexes + (25)
- Coordination control of discrete-event systems revisited + (25)
- Conjunctive Queries for EL with Role Composition + (250)
- A Non-commutative Extension of MELL + (2514)
- A Local System for Linear Logic + (2514)
- Minimised Residue Hypotheses in Relevant Logic + (2533)
- Metric semantics for true concurrent real time + (254)
- Complexity of Universality and Related Problems for Partially Ordered NFAs + (255)
- Finite-Cliquewidth Sets of Existential Rules – Toward a General Criterion for Decidable yet Highly Expressive Querying + (255)
