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
- Refining Labelled Systems for Modal and Constructive Logics with Applications + (Lyon)
- Nested Sequents for Intuitionistic Modal Logics via Structural Refinement + (Lyon)
- A Framework for Intuitionistic Grammar Logics + (Lyon)
- Automating Reasoning with Standpoint Logic via Nested Sequents + (Lyon)
- Uniform and Modular Sequent Systems for Description Logics + (Lyon)
- Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules + (Lyon)
- Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics + (Lyon)
- Nested Sequents for Quantified Modal Logics + (Lyon)
- Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets + (Lyon)
- Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents + (Lyon)
- Proof Theory and Decision Procedures for Deontic STIT Logics + (Lyon)
- Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents + (Lyon)
- Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations + (Lyon)
- On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic + (Lyon)
- Internal and External Calculi: Ordering the Jungle without Being Lost in Translations + (Lyon)
- Propositional Dynamic Logic with Recursive Programs + (Löding)
- Tempus Fugit - Towards an Ontology Update Language + (Lösch)
- High Quality Data Generation: An Ontology Reasoning based Approach + (Ma)
- Semantic Annotation in Specific Domains with rich Ontologies (in French) + (Ma)
- Concept Adjustment for Description Logics + (Ma)
- Learning Formal Definitions for Snomed CT from Text + (Ma)
- Measuring Incompleteness under Multi-Valued Semantics by Partial MaxSAT Solvers + (Ma)
- Towards Parallel Repair: An Ontology Decomposition-based Approach + (Ma)
- Learning Formal Definitions for Snomed CT from Text + (Ma)
- Towards Parallel Repair Using Decompositions + (Ma)
- Image Schemas and Conceptual Dependency Primitives: A Comparison + (Macbeth)
- A rule-based ontological framework for the classification of molecules + (Magka)
- Computing Stable Models for Nonmonotonic Existential Rules + (Magka)
- Nonmonotonic Existential Rules for Non-Tree-Shaped Ontological Modelling + (Magka)
- Paraconsistent OWL and Related Logics + (Maier)
- Employing DL-LiteR-Reasoners for Fuzzy Query Answering + (Mailis)
- Conjunctive Query Answering in Finitely-valued Fuzzy Description Logics + (Mailis)
- Metric completion versus ideal completion + (Majster-Cederbaum)
- Metric Completion versus Ideal Completion + (Majster-Cederbaum)
- Getting the Most out of Wikidata: Semantic Technology Usage in Wikipedia’s Knowledge Graph + (Malyshev)
- A framework for connection calculi + (Mantel)
- Towards Next Generation Sequential and Parallel SAT Solvers + (Manthey)
- The SAT Solver Framework priss (System Description) + (Manthey)
- Soundness of Inprocessing in Clause Sharing SAT Solvers + (Manthey)
- Solver submission of riss 1.0 to the SAT Competition 2011 + (Manthey)
- CDCL Solver Additions: Local Look-ahead, All-Unit-UIP Learning and On-the-fly Probing + (Manthey)
- A More Efficient Parallel Unit Propagation + (Manthey)
- Parallel SAT Solving - Using More Cores + (Manthey)
- Generating Clique Coloring Problem Formulas + (Manthey)
- Formula Simplifications as DRAT Derivations + (Manthey)
- Automated Reencoding of Boolean Formulas + (Manthey)
- A More Compact Translation of Pseudo-Boolean Constraints into CNF such that Generalized Arc Consistency is Maintained + (Manthey)
- Coprocessor - a Standalone SAT Preprocessor + (Manthey)
- riss 2010 Solver Description + (Manthey)
- Towards Improving the Resource Usage of SAT-solvers + (Manthey)
- Riss 4.27 + (Manthey)
- npSolver - a SAT based Solver for Optimization Problems (System Description) + (Manthey)
- Solver Description of RISS 2.0 and PRISS 2.0 + (Manthey)
