Attribut:Veranstaltungsart

This property defines the type of an event as a string.

The possible values for this property are:

Vortrag: a talk or public lecture; this includes public talks given as part of a habilitation or dissertation
Verteidigung Studienarbeit: a student's presentation of a thesis (final or intermediate)
Sommerschule: a summer school
Konferenz: a conference (or workshop)
sonstige Veranstaltung: somehting that does not fit any of the other types

Annotationen349Dateneinschränkungsschema

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.

"

"Most of" leads to undecidability: Failure of adding frequencies to LTL +

Vortrag +

1

11th European Conference on Logics in Artificial Intelligence (JELIA-2008) +

Konferenz +

12. EMCL Workshop +

sonstige Veranstaltung +

17. WLP - Workshop Logische Programmierung +

Vortrag +

2

22nd Workshop on (Constraint) Logic Programming 2008 +

Konferenz +

29th Workshop on (Constraint) Logic Programming (WLP 2015) +

Konferenz +

3

38th German Conference on Artificial Intelligence +

Konferenz +

9

9th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA) +

Konferenz +

A

A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic +

Vortrag +

A Dichotomy for Evaluating Simple Regular Path Queries +

Vortrag +

A Distributed Blockchain Model of Selfish Mining +

Vortrag +

A Glimpse into Propositional Model Counting +

Vortrag +

A Logic-based Reasoning Framework for Graph Databases +

Vortrag +

A Pitch Rich with Width-Witchcraft – Model-Theoretic Criteria for Decidable Query Entailment +

Vortrag +

A SHACL primer for KR researchers +

Vortrag +

A Semantic Characterization of Belief Base Revision for Arbitrary Monotonic Logics +

Vortrag +

A Single Approach to Decide Chase Termination on Linear Existential Rules +

Vortrag +

A diamond in the rough: Theorizing column stores +

Vortrag +

A gentle introduction to partition width +

Vortrag +

A pragmatic approach to translation: Vocabulary alignment through Multiagent Interaction and Observation +

Vortrag +

{"type": "PROPERTY_CONSTRAINT_SCHEMA",
-
"constraints": {"type_constraint": "_txt",
-
"allowed_values": ["Vortrag",
"Konferenz",
"Verteidigung Studienarbeit",
"Sommerschule",
"sonstige Veranstaltung"
]
}
}