https://aaai.org/proceeding/kr-13-2012/ Association for the Advancement of Artificial Intelligence Mon, 16 Oct 2023 04:06:36 +0000 en-US hourly 1 https://wordpress.org/?v=6.7.1 https://aaai.org/wp-content/uploads/2022/12/cropped-white-logo-32x32.png https://aaai.org/proceeding/kr-13-2012/ 32 32 https://aaai.org/papers/6-5347-invited-talks/ https://aaai.org/papers/6-5347-invited-talks/#respond Wed, 22 Mar 2023 22:38:15 +0000 https://aaai.org/papers/6-invited-talks/ The post Invited Talks appeared first on AAAI.

]]> https://aaai.org/papers/6-5347-invited-talks/feed/ 0 https://aaai.org/papers/44-4552-paraconsistent-hybrid-theories/ https://aaai.org/papers/44-4552-paraconsistent-hybrid-theories/#respond Wed, 22 Mar 2023 22:38:15 +0000 https://aaai.org/papers/44-paraconsistent-hybrid-theories/ The post Paraconsistent Hybrid Theories appeared first on AAAI.

]]> https://aaai.org/papers/44-4552-paraconsistent-hybrid-theories/feed/ 0 https://aaai.org/papers/41-4553-abstract-normative-systems-semantics-and-proof-theory/ https://aaai.org/papers/41-4553-abstract-normative-systems-semantics-and-proof-theory/#respond Wed, 22 Mar 2023 22:38:15 +0000 https://aaai.org/papers/41-abstract-normative-systems-semantics-and-proof-theory/ The post Abstract Normative Systems: Semantics and Proof Theory appeared first on AAAI.

]]> https://aaai.org/papers/41-4553-abstract-normative-systems-semantics-and-proof-theory/feed/ 0 https://aaai.org/papers/22-4554-robust-equivalence-models-for-semantic-updates-of-answer-set-programs/ https://aaai.org/papers/22-4554-robust-equivalence-models-for-semantic-updates-of-answer-set-programs/#respond Wed, 22 Mar 2023 22:38:15 +0000 https://aaai.org/papers/22-robust-equivalence-models-for-semantic-updates-of-answer-set-programs/ The post Robust Equivalence Models for Semantic Updates of Answer-Set Programs appeared first on AAAI.

]]> https://aaai.org/papers/22-4554-robust-equivalence-models-for-semantic-updates-of-answer-set-programs/feed/ 0 https://aaai.org/papers/72-4555-justification-masking-in-ontologies/ https://aaai.org/papers/72-4555-justification-masking-in-ontologies/#respond Wed, 22 Mar 2023 22:38:15 +0000 https://aaai.org/papers/72-justification-masking-in-ontologies/ The post Justification Masking in Ontologies appeared first on AAAI.

]]> https://aaai.org/papers/72-4555-justification-masking-in-ontologies/feed/ 0 https://aaai.org/papers/69-4557-worst-case-optimal-reasoning-with-forest-logic-programs/ https://aaai.org/papers/69-4557-worst-case-optimal-reasoning-with-forest-logic-programs/#respond Wed, 22 Mar 2023 22:38:15 +0000 https://aaai.org/papers/69-worst-case-optimal-reasoning-with-forest-logic-programs/ The post Worst-Case Optimal Reasoning with Forest Logic Programs appeared first on AAAI.

]]> https://aaai.org/papers/69-4557-worst-case-optimal-reasoning-with-forest-logic-programs/feed/ 0 https://aaai.org/papers/53-4558-conflict-based-diagnosis-of-discrete-event-systems-theory-and-practice/ https://aaai.org/papers/53-4558-conflict-based-diagnosis-of-discrete-event-systems-theory-and-practice/#respond Wed, 22 Mar 2023 22:38:15 +0000 https://aaai.org/papers/53-conflict-based-diagnosis-of-discrete-event-systems-theory-and-practice/ The post Conflict-Based Diagnosis of Discrete Event Systems: Theory and Practice appeared first on AAAI.

]]> https://aaai.org/papers/53-4558-conflict-based-diagnosis-of-discrete-event-systems-theory-and-practice/feed/ 0 https://aaai.org/papers/7-4559-stable-models-of-formulas-with-intensional-functions/ https://aaai.org/papers/7-4559-stable-models-of-formulas-with-intensional-functions/#respond Wed, 22 Mar 2023 22:38:15 +0000 https://aaai.org/papers/7-stable-models-of-formulas-with-intensional-functions/ The post Stable Models of Formulas with Intensional Functions appeared first on AAAI.

]]> https://aaai.org/papers/7-4559-stable-models-of-formulas-with-intensional-functions/feed/ 0 https://aaai.org/papers/46-4561-from-knowledge-represented-in-frame-based-languages-to-declarative-representation-and-reasoning-via-asp/ https://aaai.org/papers/46-4561-from-knowledge-represented-in-frame-based-languages-to-declarative-representation-and-reasoning-via-asp/#respond Wed, 22 Mar 2023 22:38:15 +0000 https://aaai.org/papers/46-from-knowledge-represented-in-frame-based-languages-to-declarative-representation-and-reasoning-via-asp/ The post From Knowledge Represented in Frame-Based Languages to Declarative Representation and Reasoning via ASP appeared first on AAAI.

]]> https://aaai.org/papers/46-4561-from-knowledge-represented-in-frame-based-languages-to-declarative-representation-and-reasoning-via-asp/feed/ 0 https://aaai.org/papers/65-4563-thinking-inside-the-box-a-comprehensive-spatial-representation-for-video-analysis/ https://aaai.org/papers/65-4563-thinking-inside-the-box-a-comprehensive-spatial-representation-for-video-analysis/#respond Wed, 22 Mar 2023 22:38:15 +0000 https://aaai.org/papers/65-thinking-inside-the-box-a-comprehensive-spatial-representation-for-video-analysis/ The post Thinking Inside the Box: A Comprehensive Spatial Representation for Video Analysis appeared first on AAAI.

]]> https://aaai.org/papers/65-4563-thinking-inside-the-box-a-comprehensive-spatial-representation-for-video-analysis/feed/ 0