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
- A Chomsky-Schützenberger Theorem for Weighted Automata with Storage +
- A Closer Look at the Semantic Relationship between Datalog and Description Logics +
- A Computational Logic Approach to Syllogisms in Human Reasoning +
- A Formal Theory of Justifications +
- A Glimpse on Gerhard Brewka's Contributions to Artificial Intelligence +
- A New Computational Logic Approach to Reason with Conditionals +
- A computational logic approach to human spatial reasoning +
- ASPARTIX-D Ready for the Competition +
- Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation -- Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday +
- An A-Maze-ing SAT Solving Visualization +
- An Extension-Based Approach to Belief Revision in Abstract Argumentation +
- An Ontology Design Pattern for Data Integration in the Library Domain +
- An Ontology Design Pattern for Particle Physics Analysis +
- Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory +
- Answering EL Queries in the Presence of Preferences +
- Asynchronous Multi-Context Systems +
- Automata and Logic +
- Bound Your Models! How to Make OWL an ASP Modeling Language +
- Characterization of the Expressivity of Existential Rule Queries +
- Characterization of the Expressivity of Existential Rule Queries +
- Complexity Theory +
- Compositional Construction of Most General Controllers +
- Conjunctive Query Answering with Finitely Many Truth Degrees +
- Coordination Control of Distributed Discrete-Event Systems +
- Coordination control of discrete-event systems revisited +
- Decidable Contextualized DLs with Rigid Roles +
- Decidable Description Logics of Context with Rigid Roles +
- Deduction Systems +
- Description Logic +
- Description Logics of Context with Rigid Roles Revisited +
- Design and evaluation of an ontology-terminology model for the interchange of terminological data: an approach to multilingual conceptual modeling as exemplified in the domain of finance +
- Dismatching and Local Disunification in EL +
- Dismatching and local disunification in EL +
- Dynamic Bayesian Description Logics +
- Dynamic Bayesian Ontology Languages +
- Exact Learning Description Logic Ontologies from Data Retrieval Examples +
- Exact Learning of Multivalued Dependencies +
- Experimental Evaluation of General Concept Inclusions Learned from Textual Data +
- Exploiting SAT Technology for Axiom Pinpointing +
- Exploring Faulty Data +
- Expressiveness of Two-Valued Semantics for Abstract Dialectical Frameworks +
- Extending the Combined Approach Beyond Lightweight Description Logics +
- Formale Systeme +
- Forschungslinie +
- Foundations of Constraint Programming +
- Foundations of Databases and Query Languages +
- Foundations of Logic Programming +
- Foundations of Semantic Web Technologies +
- German Language Course +
- Heinrich Behmann's Contributions to Second-Order Quantifier Elimination from the View of Computational Logic +
