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
- Ontology Based Query Answering with Existential Rules + (Michaël)
- From EL to Tractable Existential Rules with Complex Role Inclusions + (Michaël)
- Towards Practical Uniform Interpolation and Forgetting for ALC TBoxes + (Michel)
- The Logical Difference for ELHr-Terminologies using Hypergraphs + (Michel)
- Detecting Conjunctive Query Differences between ELHr-Terminologies using Hypergraphs + (Michel)
- Error-Tolerant Reasoning in the Description Logic EL + (Michel)
- Brave and Cautious Reasoning in EL + (Michel)
- Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference + (Michel)
- Just: a Tool for Computing Justifications w.r.t. EL Ontologies + (Michel)
- Error-Tolerant Reasoning in the Description Logic EL + (Michel)
- ILP Operators for Propositional Connectionist Networks + (Miguel A.)
- On the Complexity of Computing Generators of Closed Sets + (Miki)
- Metric completion versus ideal completion + (Mila E.)
- Metric Completion versus Ideal Completion + (Mila E.)
- Line Drawing, Leap Years, and Euclid + (Mitchell A.)
- An Object-Centered Multi-dimensional Data Model with Hierarchically Structured Dimensions + (Mohand-Saïd)
- Representing and Reasoning on Conceptual Queries Over Image Databases + (Mohand-Saïd)
- Distributed Splicing of RE with 6 Test Tubes + (Monika)
- Verfahren zur Ausführung von mathematischen Operationen mittels eines DNA-Computers und DNA-Computer hierzu + (Monika)
- Exact Learning of Multivalued Dependencies + (Montserrat)
- Exact Learning of Multivalued Dependency Formulas + (Montserrat)
- Performance Evaluation of Thermal-Constrained Scheduling Strategies in Multi-core Systems + (Muhammad Usama)
- Sound, Complete, and Minimal Query Rewriting for Existential Rules + (Mélanie)
- On the Exploration of the Query Rewriting Space with Existential Rules + (Mélanie)
- Sound, Complete and Minimal UCQ-Rewriting for Existential Rules + (Mélanie)
- A Sound and Complete Backward Chaining Algorithm for Existential Rules + (Mélanie)
- riss 2010 Solver Description + (N.)
- Enumerating Satisfiable Propositional Formulae + (Nachum)
- Refining Ontologies by Pattern-Based Completion + (Nadejda)
- (Non-)Succinctness of uniform interpolants of general terminologies in the description logic ℰℒ + (Nadeschda)
- ExpExpExplosion: Uniform Interpolation in General EL Terminologies + (Nadeschda)
- Interactive ontology revision + (Nadeschda)
- On the (Non-)Succinctness of Uniform Interpolation in General ${\mathcal{EL + (Nadeschda)
- Reasoning-Supported Interactive Revision of Knowledge Bases + (Nadeschda)
- Reasoning-Supported Interactive Revision of Knowledge Bases + (Nadeschda)
- Reasoning-Supported Interactive Revision of Knowledge Bases + (Nadeschda)
- Wheat and Chaff -- Practically Feasible Interactive Ontology Revision + (Nadeschda)
- Stochastic Timed Automata + (Nathalie)
- Towards Propositional KLM-Style Defeasible Standpoint Logics + (Nicholas)
- Standpoint Linear Temporal Logic + (Nicola)
- Admissibility in Probabilistic Argumentation + (Nikolai)
- CPrAA -- A Checker for Probabilistic Abstract Argumentation + (Nikolai)
- Towards Mass Spectrum Analysis with ASP + (Nils)
- Towards Next Generation Sequential and Parallel SAT Solvers + (Norbert)
- The SAT Solver Framework priss (System Description) + (Norbert)
- Soundness of Inprocessing in Clause Sharing SAT Solvers + (Norbert)
- Solver submission of riss 1.0 to the SAT Competition 2011 + (Norbert)
- CDCL Solver Additions: Local Look-ahead, All-Unit-UIP Learning and On-the-fly Probing + (Norbert)
- A More Efficient Parallel Unit Propagation + (Norbert)
- Parallel SAT Solving - Using More Cores + (Norbert)
- Generating Clique Coloring Problem Formulas + (Norbert)
- Formula Simplifications as DRAT Derivations + (Norbert)
- Automated Reencoding of Boolean Formulas + (Norbert)
- A More Compact Translation of Pseudo-Boolean Constraints into CNF such that Generalized Arc Consistency is Maintained + (Norbert)
- Coprocessor - a Standalone SAT Preprocessor + (Norbert)
- Towards Improving the Resource Usage of SAT-solvers + (Norbert)
- Riss 4.27 + (Norbert)
- npSolver - a SAT based Solver for Optimization Problems (System Description) + (Norbert)
