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

• Combination of Compatible Reduction Orderings that are Total on Ground Terms  + (CIS, Universität München)
• Wissen als Code: Die Welt der Wissensgraphen und Ontologien  + (COMPUTEC MEDIA)
• A Family of Approximation Algorithms for the Maximum Duo-Preservation String Mapping Problem  + (CPM 2017)
• A Tableau Algorithm for the Clique Guarded Fragment  + (CSLI Publications)
• The Complexity of Reasoning with Boolean Modal Logics  + (CSLI Publications, Stanford)
• Term Rewriting and All That  + (Cambridge University Press)
• Relationship with other Formalisms  + (Cambridge University Press)
• Extensions to Description Logics  + (Cambridge University Press)
• Basic Description Logics  + (Cambridge University Press)
• Description Logic Terminology  + (Cambridge University Press)
• The Description Logic Handbook: Theory, Implementation, and Applications  + (Cambridge University Press)
• Fuzzy Answer Sets Approximations  + (Cambridge University Press)
• The Description Logic Handbook: Theory, Implementation and Applications.  + (Cambridge University Press)
• Term Rewriting and All That  + (Cambridge University Press)
• Introduction to the TPLP Special Issue on User-oriented Logic Programming and Reasoning Paradigms  + (Cambridge University Press)
• Compositional matrix-space models of language: Definitions, properties, and learning methods  + (Cambridge University Press)
• IASCAR: Incremental Answer Set Counting by Anytime Refinement  + (Cambridge University Press)
• A Brief Introduction to Formal Concept Analysis  + (Chapman & Hall)
• Foundations of Semantic Web Technologies  + (Chapman & Hall/CRC)
• A Lexico-Logical Approach to Ontology Engineering  + (Chapman & Hall/CRC)
• Initial Computability Algebraic Specifications and Partial Algebras  + (Clarendon Press)
• Dynamic Bayesian Ontology Languages  + (CoRR)
• Proceedings of the Second Summer School on Argumentation: Computational and Linguistic Perspectives (SSA'16)  + (CoRR)
• Proceedings of the First International Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning (Arg-LPNMR 2016)  + (CoRR)
• The DIAMOND system for argumentation: Preliminary report  + (CoRR)

• A Computational Logic Approach to the Suppression Task  + (Cognitive Science Society)

• Kinesthetic Mind Reader: A Method to Identify Image Schemas in Natural Language  + (Cognitive Systems Foundation)
• Conservative Extensions in Modal Logics  + (College Publications)
• Foundations of Implementations for Formal Argumentation  + (College Publications)
• Foundations of Implementations for Formal Argumentation  + (College Publications)
• Abstract Dialectical Frameworks. An Overview  + (College Publications)
• Abstract Dialectical Frameworks  + (College Publications)
• The Varieties of Ought-implies-Can and Deontic STIT Logic  + (College Publications)
• The Weak Completion Semantics and Counterexamples  + (College Publications UK)
• The Inclusion Problem for Weighted Automata on Infinite Trees  + (College of Nyíregyháza)
• Application of Hierarchical Hybrid Encodings to Efficient Translation of CSPs to SAT  + (Conference Publishing Services)
• On topological hierarchies of temporal properties  + (DIMACS/AMS)
• Approximate OWL Instance Retrieval with Screech  + (Dagstuhl)
• Dismatching and local disunification in EL  + (Dagstuhl Publishing)
• Business lexicography  + (De Gruyter Mouton)
• FABEL  + (Deutsche Forschungsanstalt für Luft- und Raumfahrt, Berlin)
• Terminologie und Multilinguales Semantic Web in Symbiose – TBX, RDF und OWL  + (Deutsches Institut für Terminologie (DIT))
• Russian Learner Corpus: Towards Error-Cause Annotation for L2 Russian  + (ELRA and ICCL)
• Epistemic Queries for OWL Knowledge Bases  + (ESWC 2011)
• Generic CDCL – A Formalization of Modern Propositional Satisfiability Solvers  + (EasyChair)
• Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers  + (EasyChair)
• New CNF Features and Formula Classification  + (EasyChair)
• Temporal Query Answering in DL-Lite with Negation  + (EasyChair)
• On conditionals  + (EasyChair)
• The Triguarded Fragment of First-Order Logic  + (EasyChair)
• The Weak Completion Semantics and Equality  + (EasyChair)