{"id":"W2277828988","doi":"10.1007/978-3-642-38457-8_32","title":"An Application of Answer Set Programming for Situational Analysis in a Maritime Traffic Domain","year":2013,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Computer science; Answer set programming; Domain (mathematical analysis); Delegate; Situation awareness; Solver; Abstraction; Set (abstract data type); Component (thermodynamics); Programming language; Situation analysis; Theoretical computer science; Artificial intelligence; Software engineering; Data mining","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001632715,0.0007764099,0.0007996678,0.001322828,0.001192966,0.002571688,0.002050976,0.00136882,0.009700535],"category_scores_gemma":[0.004629397,0.0004826944,0.001897329,0.001521796,0.001420594,0.002630241,0.002994068,0.002171188,0.001133461],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008136174,"about_ca_system_score_gemma":0.000887503,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004954496,"about_ca_topic_score_gemma":0.006264013,"domain_scores_codex":[0.9987268,0.0005263946,0.0000853813,0.0002243497,0.0003370072,0.0001000816],"domain_scores_gemma":[0.9985146,0.001149417,0.00004018316,0.0001144562,0.0001329773,0.00004835486],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002064789,0.0003487238,0.001207742,0.0004929617,0.0001194047,0.0004809619,0.001427292,0.08568048,0.006344512,0.5331489,0.0133015,0.3572409],"study_design_scores_gemma":[0.00004479886,0.00005652666,0.0004359092,0.00009024736,0.00007531983,0.0001895508,0.0003838195,0.5026665,0.003151006,0.4680666,0.02480397,0.00003563256],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008549749,0.0002134821,0.9737907,0.0006646379,0.0000723514,0.0001261742,0.0002141866,0.001545,0.01482363],"genre_scores_gemma":[0.1151759,0.0003157276,0.877604,0.0002399003,0.00008094154,0.000135956,0.0004576672,0.0003910572,0.005598808],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009700535,"threshold_uncertainty_score":0.03245151,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01307098888350552,"score_gpt":0.2567934255036776,"score_spread":0.2437224366201721,"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."}}