https://aaai.org/proceeding/05-aaai-22-technical-tracks-5/ Association for the Advancement of Artificial Intelligence Fri, 28 Apr 2023 14:40:25 +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/05-aaai-22-technical-tracks-5/ 32 32 https://aaai.org/papers/05809-using-conditional-independence-for-belief-revision/ https://aaai.org/papers/05809-using-conditional-independence-for-belief-revision/#respond Wed, 01 Feb 2023 19:56:44 +0000 https://aaaiprod.wpengine.com/papers/5809-5816-using-conditional-independence-for-belief-revision/ The post Using Conditional Independence for Belief Revision appeared first on AAAI.

]]> https://aaai.org/papers/05809-using-conditional-independence-for-belief-revision/feed/ 0 https://aaai.org/papers/05817-weighted-model-counting-in-fo2-with-cardinality-constraints-and-counting-quantifiers-a-closed-form-formula/ https://aaai.org/papers/05817-weighted-model-counting-in-fo2-with-cardinality-constraints-and-counting-quantifiers-a-closed-form-formula/#respond Wed, 01 Feb 2023 19:56:44 +0000 https://aaaiprod.wpengine.com/papers/5817-5824-weighted-model-counting-in-fo2-with-cardinality-constraints-and-counting-quantifiers-a-closed-form-formula/ The post Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula appeared first on AAAI.

]]> https://aaai.org/papers/05817-weighted-model-counting-in-fo2-with-cardinality-constraints-and-counting-quantifiers-a-closed-form-formula/feed/ 0 https://aaai.org/papers/05825-tempoqr-temporal-question-reasoning-over-knowledge-graphs/ https://aaai.org/papers/05825-tempoqr-temporal-question-reasoning-over-knowledge-graphs/#respond Wed, 01 Feb 2023 19:56:44 +0000 https://aaaiprod.wpengine.com/papers/5825-5833-tempoqr-temporal-question-reasoning-over-knowledge-graphs/ The post TempoQR: Temporal Question Reasoning over Knowledge Graphs appeared first on AAAI.

]]> https://aaai.org/papers/05825-tempoqr-temporal-question-reasoning-over-knowledge-graphs/feed/ 0 https://aaai.org/papers/05834-compilation-of-aggregates-in-asp-systems/ https://aaai.org/papers/05834-compilation-of-aggregates-in-asp-systems/#respond Wed, 01 Feb 2023 19:56:44 +0000 https://aaaiprod.wpengine.com/papers/5834-5841-compilation-of-aggregates-in-asp-systems/ The post Compilation of Aggregates in ASP Systems appeared first on AAAI.

]]> https://aaai.org/papers/05834-compilation-of-aggregates-in-asp-systems/feed/ 0 https://aaai.org/papers/05842-prevailing-in-the-dark-information-walls-in-strategic-games/ https://aaai.org/papers/05842-prevailing-in-the-dark-information-walls-in-strategic-games/#respond Wed, 01 Feb 2023 19:56:44 +0000 https://aaaiprod.wpengine.com/papers/5842-5850-prevailing-in-the-dark-information-walls-in-strategic-games/ The post Prevailing in the Dark: Information Walls in Strategic Games appeared first on AAAI.

]]> https://aaai.org/papers/05842-prevailing-in-the-dark-information-walls-in-strategic-games/feed/ 0 https://aaai.org/papers/05851-knowledge-compilation-meets-logical-separability/ https://aaai.org/papers/05851-knowledge-compilation-meets-logical-separability/#respond Wed, 01 Feb 2023 19:56:44 +0000 https://aaaiprod.wpengine.com/papers/5851-5860-knowledge-compilation-meets-logical-separability/ The post Knowledge Compilation Meets Logical Separability appeared first on AAAI.

]]> https://aaai.org/papers/05851-knowledge-compilation-meets-logical-separability/feed/ 0 https://aaai.org/papers/05861-propositional-encodings-of-acyclicity-and-reachability-by-using-vertex-elimination/ https://aaai.org/papers/05861-propositional-encodings-of-acyclicity-and-reachability-by-using-vertex-elimination/#respond Wed, 01 Feb 2023 19:56:44 +0000 https://aaaiprod.wpengine.com/papers/5861-5868-propositional-encodings-of-acyclicity-and-reachability-by-using-vertex-elimination/ The post Propositional Encodings of Acyclicity and Reachability by Using Vertex Elimination appeared first on AAAI.

]]> https://aaai.org/papers/05861-propositional-encodings-of-acyclicity-and-reachability-by-using-vertex-elimination/feed/ 0 https://aaai.org/papers/05869-random-vs-best-first-impact-of-sampling-strategies-on-decision-making-in-model-based-diagnosis/ https://aaai.org/papers/05869-random-vs-best-first-impact-of-sampling-strategies-on-decision-making-in-model-based-diagnosis/#respond Wed, 01 Feb 2023 19:56:44 +0000 https://aaaiprod.wpengine.com/papers/5869-5878-random-vs-best-first-impact-of-sampling-strategies-on-decision-making-in-model-based-diagnosis/ The post Random vs. Best-First: Impact of Sampling Strategies on Decision Making in Model-Based Diagnosis appeared first on AAAI.

]]> https://aaai.org/papers/05869-random-vs-best-first-impact-of-sampling-strategies-on-decision-making-in-model-based-diagnosis/feed/ 0 https://aaai.org/papers/05879-on-paraconsistent-belief-revision-in-lp/ https://aaai.org/papers/05879-on-paraconsistent-belief-revision-in-lp/#respond Wed, 01 Feb 2023 19:56:44 +0000 https://aaaiprod.wpengine.com/papers/5879-5887-on-paraconsistent-belief-revision-in-lp/ The post On Paraconsistent Belief Revision in LP appeared first on AAAI.

]]> https://aaai.org/papers/05879-on-paraconsistent-belief-revision-in-lp/feed/ 0 https://aaai.org/papers/05888-weakly-supervised-neural-symbolic-learning-for-cognitive-tasks/ https://aaai.org/papers/05888-weakly-supervised-neural-symbolic-learning-for-cognitive-tasks/#respond Wed, 01 Feb 2023 19:56:44 +0000 https://aaaiprod.wpengine.com/papers/5888-5896-weakly-supervised-neural-symbolic-learning-for-cognitive-tasks/ The post Weakly Supervised Neural Symbolic Learning for Cognitive Tasks appeared first on AAAI.

]]> https://aaai.org/papers/05888-weakly-supervised-neural-symbolic-learning-for-cognitive-tasks/feed/ 0