Suche mittels Attribut

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 Short Overview on Modern Parallel SAT-Solvers + (Proceedings of the International Conference on Advanced Computer Science and Information Systems)
Hashtag Processing for Enhanced Clustering of Tweets + (Proceedings of the International Conference on Recent Advances in Natural Language Processing (RANLP))
Combination Techniques and Decision Problems for Disunification + (Proceedings of the International Conference on Rewriting Techniques and Applications, RTA 93)
Taming Dilation in Imprecise Pooling + (Proceedings of the International Conference on Principles and Practice of Multi-Agent Systems (PRIMA))
Tableau Algorithms for Description Logics + (Proceedings of the International Conference on Automated Reasoning with Tableaux and Related Methods (Tableaux 2000))
Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment + (Proceedings of the International Conference on Automated Reasoning with Tableaux and Related Methods (Tableaux 2002))
Descriptions in the Fluent Calculus + (Proceedings of the International Conference on Artificial Intelligence)
Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics + (Proceedings of the International Joint Conference on Automated Reasoning IJCAR'01)
The Inverse Method Implements the Automata Approach for Modal Satisfiability + (Proceedings of the International Joint Conference on Automated Reasoning IJCAR'01)
The Hybrid mu-Calculus + (Proceedings of the International Joint Conference on Automated Reasoning)
NExpTime-complete Description Logics with Concrete Domains + (Proceedings of the International Joint Conference on Automated Reasoning)
Tableaux for Temporal Description Logic with Constant Domain + (Proceedings of the International Joint Conference on Automated Reasoning)
Disjunction in Resource-Oriented Deductive Planning + (Proceedings of the International Logic Programming Symposium)
Actions and Specificity + (Proceedings of the International Logic Programming Symposium)
Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog + (Proceedings of the International Semantic Web Conference (ISWC 2008))
Computing a Minimal Representation of the Subsumption Lattice of all Conjunctions of Concepts Defined in a Terminology + (Proceedings of the International Symposium on Knowledge Retrieval, Use, and Storage for Efficiency, KRUSE 95)
On the Complexity of Counting in Description Logics + (Proceedings of the International Workshop on Description Logics 1999 (DL'99))
Rewriting Concepts Using Terminologies + (Proceedings of the International Workshop on Description Logics 1999 (DL'99))
Matching in Description Logics with Existential Restrictions + (Proceedings of the International Workshop on Description Logics 1999 (DL'99))
Optimisation of Terminological Reasoning + (Proceedings of the International Workshop in Description Logics 2000 (DL2000))
Implementing the n-ary Description Logic GF1- + (Proceedings of the International Workshop in Description Logics 2000 (DL2000))
Fusions of Description Logics + (Proceedings of the International Workshop in Description Logics 2000 (DL2000))
Using lazy unfolding for the computation of least common subsumers + (Proceedings of the International Workshop in Description Logics 2001 (DL2001))
TBoxes do not yield a compact representation of least common subsumers + (Proceedings of the International Workshop in Description Logics 2001 (DL2001))
An Abstract Machine for Reasoning about Situations, Actions, and Causality + (Proceedings of the International Workshop on Extensions of Logic Programming)
Control of an Engineering-Structured Multilevel Discrete-Event System + (Proceedings of the International Workshop on Discrete Event Systems (WODES))
Towards Inconsistency Management in Reactive Multi-Context Systems + (Proceedings of the International Workshop on Defeasible and Ampliative Reasoning (DARe-16) co-located with the 22th European Conference on Artificial Intelligence (ECAI 2016), The Hague, Holland, August 29, 2016)

A Concept Language for an engeneering application with part-whole relations + (Proceedings of the International Workshop on Description Logics)
A Description Logic with Transitive and Converse Roles and Role Hierarchies + (Proceedings of the International Workshop on Description Logics)
A Suggestion for an n-ary Description Logic + (Proceedings of the International Workshop on Description Logics)
Description Logics with Aggregates and Concrete Domains + (Proceedings of the International Workshop on Description Logics)
Knowledge Representation in Process Engineering + (Proceedings of the International Workshop on Description Logics)

A Correspondance between Temporal Description Logics + (Proceedings of the International Workshop on Description Logics (DL'99))
Characterizing the semantics of terminological cycles with the help of finite automata + (Proceedings of the International Workshop on Description Logics, DL'97)
Unification of Concept Terms in Description Logics + (Proceedings of the International Workshop on Description Logics, DL'97)
The Concept Difference for EL-Terminologies using Hypergraphs + (Proceedings of the International workshop on (Document) Changes: modeling, detection, storage and visualization (DChanges 2013))
Operational Semantics for a Fuzzy Logic Programming System with Defaults and Constructive Answers + (Proceedings of the Joint 2009 International Fuzzy Systems Association World Congress and 2009 European Society of Fuzzy Logic and Technology Conference (IFSA/EUSFLAT))
Generating Rational Models + (Proceedings of the Joint International Conference and Symposium on Logic Programming (JICSLP))
Image Schemas and Conceptual Dependency Primitives: A Comparison + (Proceedings of the Joint Ontology Workshop (JOWO))
Talking about Forests: an Example of Sharing Information Expressed with Vague Terms + (Proceedings of the Joint Ontology Workshops 2017)
Using Non-standard Inferences in Description Logics — what does it buy me? + (Proceedings of the KI-2001 Workshop on Applications of Description Logics (KIDLWS'01))
An Approach for Optimized Approximation + (Proceedings of the KI-2002 Workshop on Applications of Description Logics (KIDLWS'01))
Implementing Matching in ALN + (Proceedings of the KI-2004 Workshop on Applications of Description Logics (KI-ADL'04))
Anomaly-Driven Concept Acquisition + (Proceedings of the KI98 Workshop on Machine Learning und Concept Acquisition)
Is Tractable Reasoning in Extensions of the Description Logic EL Useful in Practice? + (Proceedings of the Methods for Modalities Workshop (M4M-05))
Pushing the EL Envelope + (Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence IJCAI-05)
The Fuzzy Description Logic ALC_FLH + (Proceedings of the Ninth IASTED International Conference on Artificial Intelligence and Soft Computing)
Defaults in Action: Non-monotonic Reasoning About States in Action Calculi + (Proceedings of the Ninth International Symposium on Logical Formalizations of Commonsense Reasoning)
Default Reasoning about Conditional, Non-Local and Disjunctive Effect Actions + (Proceedings of the Ninth International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC))
Rational Models of Normal Logic Programs + (Proceedings of the Poster Session at JICSLP`96, GMD Studies)
On the Maximal and Average Numbers of Stable Extensions + (Proceedings of the Second International Workshop on Theory and Applications of Formal Argumentation (TAFA 2013))
On Automated Defeasible Reasoning with Controlled Natural Language and Argumentation + (Proceedings of the Second International Workshop on Knowledge-based Techniques for Problem Solving and Reasoning (KnowProS))
Qualifying Number Restrictions in Concept Languages + (Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, KR-91)
How to reason with OWL in a logic programming system + (Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web, RuleML2006)
General A- and AX-Unification via Optimized Combination Procedures + (Proceedings of the Second International Workshop on Word Equations and Related Topics, IWWERT-91)