https://aaai.org/proceeding/kr-15-2016/ Association for the Advancement of Artificial Intelligence Mon, 16 Oct 2023 04:07:15 +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-15-2016/ 32 32 https://aaai.org/papers/30-12912-decidable-reasoning-in-a-logic-of-limited-belief-with-function-symbols/ https://aaai.org/papers/30-12912-decidable-reasoning-in-a-logic-of-limited-belief-with-function-symbols/#respond Wed, 22 Mar 2023 22:38:40 +0000 https://aaai.org/papers/30-decidable-reasoning-in-a-logic-of-limited-belief-with-function-symbols/ The post Decidable Reasoning in a Logic of Limited Belief with Function Symbols appeared first on AAAI.

]]> https://aaai.org/papers/30-12912-decidable-reasoning-in-a-logic-of-limited-belief-with-function-symbols/feed/ 0 https://aaai.org/papers/37-12888-generalized-consistent-query-answering-under-existential-rules/ https://aaai.org/papers/37-12888-generalized-consistent-query-answering-under-existential-rules/#respond Wed, 22 Mar 2023 22:38:35 +0000 https://aaai.org/papers/37-generalized-consistent-query-answering-under-existential-rules/ The post Generalized Consistent Query Answering under Existential Rules appeared first on AAAI.

]]> https://aaai.org/papers/37-12888-generalized-consistent-query-answering-under-existential-rules/feed/ 0 https://aaai.org/papers/73-12885-a-multi-aspect-evaluation-framework-for-comments-on-the-social-web/ https://aaai.org/papers/73-12885-a-multi-aspect-evaluation-framework-for-comments-on-the-social-web/#respond Wed, 22 Mar 2023 22:38:35 +0000 https://aaai.org/papers/73-a-multi-aspect-evaluation-framework-for-comments-on-the-social-web/ The post A Multi-Aspect Evaluation Framework for Comments on the Social Web appeared first on AAAI.

]]> https://aaai.org/papers/73-12885-a-multi-aspect-evaluation-framework-for-comments-on-the-social-web/feed/ 0 https://aaai.org/papers/64-12887-knowledge-graph-embedding-by-flexible-translation/ https://aaai.org/papers/64-12887-knowledge-graph-embedding-by-flexible-translation/#respond Wed, 22 Mar 2023 22:38:35 +0000 https://aaai.org/papers/64-knowledge-graph-embedding-by-flexible-translation/ The post Knowledge Graph Embedding by Flexible Translation appeared first on AAAI.

]]> https://aaai.org/papers/64-12887-knowledge-graph-embedding-by-flexible-translation/feed/ 0 https://aaai.org/papers/38-12889-on-expressibility-of-non-monotone-operators-in-sparql/ https://aaai.org/papers/38-12889-on-expressibility-of-non-monotone-operators-in-sparql/#respond Wed, 22 Mar 2023 22:38:35 +0000 https://aaai.org/papers/38-on-expressibility-of-non-monotone-operators-in-sparql/ The post On Expressibility of Non-Monotone Operators in SPARQL appeared first on AAAI.

]]> https://aaai.org/papers/38-12889-on-expressibility-of-non-monotone-operators-in-sparql/feed/ 0 https://aaai.org/papers/27-12890-prompt-alternating-time-epistemic-logics/ https://aaai.org/papers/27-12890-prompt-alternating-time-epistemic-logics/#respond Wed, 22 Mar 2023 22:38:35 +0000 https://aaai.org/papers/27-prompt-alternating-time-epistemic-logics/ The post Prompt Alternating-Time Epistemic Logics appeared first on AAAI.

]]> https://aaai.org/papers/27-12890-prompt-alternating-time-epistemic-logics/feed/ 0 https://aaai.org/papers/23-12893-limiting-logical-violations-in-ontology-alignnment-through-negotiation/ https://aaai.org/papers/23-12893-limiting-logical-violations-in-ontology-alignnment-through-negotiation/#respond Wed, 22 Mar 2023 22:38:35 +0000 https://aaai.org/papers/23-limiting-logical-violations-in-ontology-alignnment-through-negotiation/ The post Limiting Logical Violations in Ontology Alignnment Through Negotiation appeared first on AAAI.

]]> https://aaai.org/papers/23-12893-limiting-logical-violations-in-ontology-alignnment-through-negotiation/feed/ 0 https://aaai.org/papers/76-12896-reasoning-about-truthfulness-of-agents-using-answer-set-programming/ https://aaai.org/papers/76-12896-reasoning-about-truthfulness-of-agents-using-answer-set-programming/#respond Wed, 22 Mar 2023 22:38:35 +0000 https://aaai.org/papers/76-reasoning-about-truthfulness-of-agents-using-answer-set-programming/ The post Reasoning about Truthfulness of Agents Using Answer Set Programming appeared first on AAAI.

]]> https://aaai.org/papers/76-12896-reasoning-about-truthfulness-of-agents-using-answer-set-programming/feed/ 0 https://aaai.org/papers/17-12897-preference-and-priorities-a-study-based-on-contrction/ https://aaai.org/papers/17-12897-preference-and-priorities-a-study-based-on-contrction/#respond Wed, 22 Mar 2023 22:38:35 +0000 https://aaai.org/papers/17-preference-and-priorities-a-study-based-on-contrction/ The post Preference and Priorities: A Study Based on Contrction appeared first on AAAI.

]]> https://aaai.org/papers/17-12897-preference-and-priorities-a-study-based-on-contrction/feed/ 0 https://aaai.org/papers/28-12899-building-epistemic-logic-from-observations-and-public-announcements/ https://aaai.org/papers/28-12899-building-epistemic-logic-from-observations-and-public-announcements/#respond Wed, 22 Mar 2023 22:38:35 +0000 https://aaai.org/papers/28-building-epistemic-logic-from-observations-and-public-announcements/ The post Building Epistemic Logic from Observations and Public Announcements appeared first on AAAI.

]]> https://aaai.org/papers/28-12899-building-epistemic-logic-from-observations-and-public-announcements/feed/ 0