{"id":"W2234612416","doi":"10.4230/dagrep.4.8.1","title":"Querying and Reasoning Under Expressive Constraints (Dagstuhl Seminar 14331)","year":2014,"lang":"en","type":"article","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Uniwersytet Opolski; Universität Ulm; Goethe-Universität Frankfurt am Main; Clermont Université; Universidad de Chile; University of Waterloo; Technische Universität Wien; Technische Universität Darmstadt; Libera Università di Bolzano; Universität Bremen; Vienna Science and Technology Fund; University of Oxford; Technische Universität Dresden; Imperial College London; University of Washington; University of Pennsylvania","keywords":"Decidability; Computer science; Knowledge representation and reasoning; Representation (politics); Constraint (computer-aided design); Constraint satisfaction; Constraint satisfaction problem; Programming language; Artificial intelligence; Theoretical computer science; Political science; Mathematics","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.02203769,0.002307852,0.002549635,0.003022016,0.002141512,0.009773492,0.003128074,0.003723574,0.03359967],"category_scores_gemma":[0.02100921,0.001462276,0.002295848,0.00389164,0.002861674,0.005919562,0.007592553,0.007201379,0.01814166],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.008341054,"about_ca_system_score_gemma":0.006796086,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007777967,"about_ca_topic_score_gemma":0.006725844,"domain_scores_codex":[0.9864491,0.00487409,0.0007947681,0.001593416,0.004916749,0.001371862],"domain_scores_gemma":[0.9920843,0.003276009,0.0002636525,0.0008042417,0.001784817,0.001787058],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0009091537,0.0005911625,0.0003049737,0.0006820736,0.000124342,0.0004755733,0.0008996953,0.006489332,0.003961415,0.1690419,0.6355084,0.1810119],"study_design_scores_gemma":[0.000500243,0.0001924788,0.001349494,0.0005318794,0.00006421888,0.0003594846,0.0002623645,0.01215306,0.007128406,0.1696188,0.8077016,0.0001378961],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.0315787,0.08325944,0.4271269,0.2096906,0.0508897,0.00158953,0.0134189,0.01064584,0.1718006],"genre_scores_gemma":[0.2600637,0.04488583,0.3004356,0.01566166,0.02311573,0.002499043,0.03007522,0.01092542,0.3123377],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.03359967,"threshold_uncertainty_score":0.1165478,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01147049359491268,"score_gpt":0.2441477063495849,"score_spread":0.2326772127546722,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}