{"id":"W1554100114","doi":"10.1007/978-3-642-02846-5_17","title":"Merging Logic Programs under Answer Set Semantics","year":2009,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":24,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University","funders":"Deutsche Forschungsgemeinschaft","keywords":"Computer science; Multiset; Logic programming; Answer set programming; Stable model semantics; Logic program; Theoretical computer science; Programming language; Formalism (music); Semantics (computer science); Set (abstract data type); Well-founded semantics; Description logic; Operational semantics; Mathematics; Denotational semantics; Discrete mathematics","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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.0009743605,0.0007951157,0.0007340396,0.0007242429,0.0004098904,0.001082814,0.004438567,0.0005148331,0.00002349587],"category_scores_gemma":[0.00006833955,0.0006579547,0.0002396569,0.0009469406,0.0007854074,0.000656698,0.001389469,0.001086401,0.0001284071],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003274799,"about_ca_system_score_gemma":0.00056922,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001589459,"about_ca_topic_score_gemma":0.00009626536,"domain_scores_codex":[0.9949661,0.0000538587,0.0005849029,0.002047473,0.001165369,0.001182321],"domain_scores_gemma":[0.9970126,0.0002773752,0.0003475563,0.001725967,0.0003481924,0.0002882689],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000003140413,0.00006541749,0.00008219077,0.00003776381,0.00001724667,0.0001921851,0.001255818,0.008749274,0.00003810635,0.2419132,0.00006145719,0.7475842],"study_design_scores_gemma":[0.0003497927,0.0004240501,0.0001827531,0.0004965891,0.00002030889,0.0002123342,6.217786e-7,0.2983391,0.0003937102,0.6904249,0.007829491,0.001326299],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00005753021,0.0009943163,0.9748605,0.001461016,0.002291212,0.0004633454,0.000001349718,0.0004222721,0.01944849],"genre_scores_gemma":[0.3275567,0.000167731,0.6611331,0.005671997,0.001692557,0.00001562449,0.00002197744,0.00008808013,0.003652284],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7462579,"threshold_uncertainty_score":0.9999542,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02961132431946849,"score_gpt":0.2624571032124359,"score_spread":0.2328457788929674,"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."}}