Attribut:Booktitle

Dies ist eine Eigenschaft des Typs Zeichenkette.

Annotationen1421

vorherige 20 20 50 100 250 500 nächste 20

Filter<p>Der <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Property_page/Filter">Filter für die Suche nach Datenwerten zu Attributen</a> unterstützt die Nutzung von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Query_expressions">Abfrageausdrücken</a> wie bpsw. <code>~</code> oder <code>!</code>. Je nach genutzter <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Query_engine">Abfragedatenbank</a> werden auch die groß- und kleinschreibungsunabhängige Suche oder auch folgende weitere Abfrageausdrücke unterstützt:</p><ul><li><code>in:</code>: Das Ergebnis soll den angegebenen Begriff enthalten, wie bspw. <code>in:Foo</code></li></ul><ul><li><code>not:</code>: Das Ergebnis soll den angegebenen Begriff nicht enthalten, wie bpsw. <code>not:Bar</code></li></ul>

Unterhalb werden 20 Seiten angezeigt, auf denen für dieses Attribut ein Datenwert gespeichert wurde.

A

A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic +

Proc. of the 13th Int. Symp. on Frontiers of Combining Systems (FROCOS 2021) +

A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms +

Logic and Argumentation +

A Declarative Framework for Matching Iterative and Aggregative Patterns against Event Streams +

5th International Symposium on Rule-Based Reasoning, Programming, and Applications (RuleML 2011) +

A Deduction Calculus for Cumulated Clauses on FLE Concept Descriptions +

Inspiration and Application - Contributions to ICCS 2006 +

A Description Logic Based Approach to Reasoning about Web Services +

Proceedings of the WWW 2005 Workshop on Web Service Semantics (WSS2005) +

A Description Logic Primer +

Perspectives on Ontology Learning +

A Description Logic for Vague Knowledge +

Proceedings of the 13th biennial European Conference on Artificial Intelligence (ECAI'98) +

A Description Logic of Change +

Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07) +

A Description Logic with Transitive and Converse Roles and Role Hierarchies +

Proceedings of the International Workshop on Description Logics +

A Family of Approximation Algorithms for the Maximum Duo-Preservation String Mapping Problem +

28th Annual Symposium on Combinatorial Pattern Matching (CPM 2017) +

A Finite Basis for the Set of EL-Implications Holding in a Finite Model +

Proceedings of the 6th International Conference on Formal Concept Analysis, (ICFCA 2008) +

A First Order System with Finite Choice of Premises +

First-Order Logic Revisited +

A Formal Definition for Expressive Power of Knowledge Representation Languages +

Proceedings of the 9th European Conference on Artificial Intelligence, ECAI-90 +

A Formal Theory of Justifications +

Proceedings of the Thirteenth International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR) +

A Framework For Evaluating Visual SLAM +

Proc. BMVC'09 +

A Framework for Intuitionistic Grammar Logics +

Logic and Argumentation +

A Framework for Reasoning about Dynamic Axioms in Description Logics +

Proceedings of the 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI 2020) +

A Framework for Semantic-based Similarity Measures for ELH-Concepts +

Proceedings of the 13th European Conference on Logics in Artificial Intelligence +

A Fully Connectionist Model Generator for Covered First-Order Logic Programs +

Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07) +

A Fully Parallel Framework for Fast Analyzing RDF Data +

P&D Track of the 13th International Semantic Web Conference (ISWC'14) +