Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference (KR2008) Archives - AAAI https://aaai.org/proceeding/kr-2008/ Association for the Advancement of Artificial Intelligence Mon, 16 Oct 2023 04:05:58 +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 Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference (KR2008) Archives - AAAI https://aaai.org/proceeding/kr-2008/ 32 32 Preface https://aaai.org/papers/kr08-078-preface/ https://aaai.org/papers/kr08-078-preface/#respond Wed, 15 Mar 2023 13:35:12 +0000 https://aaai.org/papers/078-preface/ The post Preface appeared first on AAAI.

]]>
https://aaai.org/papers/kr08-078-preface/feed/ 0
Additional Reviewers https://aaai.org/papers/kr08-077-additional-reviewers/ https://aaai.org/papers/kr08-077-additional-reviewers/#respond Wed, 15 Mar 2023 13:35:12 +0000 https://aaai.org/papers/077-additional-reviewers/ The post Additional Reviewers appeared first on AAAI.

]]>
https://aaai.org/papers/kr08-077-additional-reviewers/feed/ 0
A Logic for Non-Terminating Golog Programs https://aaai.org/papers/kr08-058-a-logic-for-non-terminating-golog-programs/ https://aaai.org/papers/kr08-058-a-logic-for-non-terminating-golog-programs/#respond Wed, 15 Mar 2023 13:35:08 +0000 https://aaai.org/papers/058-a-logic-for-non-terminating-golog-programs/ The post A Logic for Non-Terminating Golog Programs appeared first on AAAI.

]]>
https://aaai.org/papers/kr08-058-a-logic-for-non-terminating-golog-programs/feed/ 0
Relational Preference Rules for Control https://aaai.org/papers/kr08-054-relational-preference-rules-for-control/ https://aaai.org/papers/kr08-054-relational-preference-rules-for-control/#respond Wed, 15 Mar 2023 13:35:08 +0000 https://aaai.org/papers/054-relational-preference-rules-for-control/ The post Relational Preference Rules for Control appeared first on AAAI.

]]>
https://aaai.org/papers/kr08-054-relational-preference-rules-for-control/feed/ 0
Reasoning about Qualitative Preferences and Cardinalities using Generalizaed Circumscription https://aaai.org/papers/kr08-055-reasoning-about-qualitative-preferences-and-cardinalities-using-generalizaed-circumscription/ https://aaai.org/papers/kr08-055-reasoning-about-qualitative-preferences-and-cardinalities-using-generalizaed-circumscription/#respond Wed, 15 Mar 2023 13:35:08 +0000 https://aaai.org/papers/055-reasoning-about-qualitative-preferences-and-cardinalities-using-generalizaed-circumscription/ The post Reasoning about Qualitative Preferences and Cardinalities using Generalizaed Circumscription appeared first on AAAI.

]]>
https://aaai.org/papers/kr08-055-reasoning-about-qualitative-preferences-and-cardinalities-using-generalizaed-circumscription/feed/ 0
Preference Modeling by Weighted Goals with Max Aggregation https://aaai.org/papers/kr08-057-preference-modeling-by-weighted-goals-with-max-aggregation/ https://aaai.org/papers/kr08-057-preference-modeling-by-weighted-goals-with-max-aggregation/#respond Wed, 15 Mar 2023 13:35:08 +0000 https://aaai.org/papers/057-preference-modeling-by-weighted-goals-with-max-aggregation/ The post Preference Modeling by Weighted Goals with Max Aggregation appeared first on AAAI.

]]>
https://aaai.org/papers/kr08-057-preference-modeling-by-weighted-goals-with-max-aggregation/feed/ 0
ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond https://aaai.org/papers/kr08-059-congolog-sin-trans-compiling-congolog-into-basic-action-theories-for-planning-and-beyond/ https://aaai.org/papers/kr08-059-congolog-sin-trans-compiling-congolog-into-basic-action-theories-for-planning-and-beyond/#respond Wed, 15 Mar 2023 13:35:08 +0000 https://aaai.org/papers/059-congolog-sin-trans-compiling-congolog-into-basic-action-theories-for-planning-and-beyond/ The post ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond appeared first on AAAI.

]]>
https://aaai.org/papers/kr08-059-congolog-sin-trans-compiling-congolog-into-basic-action-theories-for-planning-and-beyond/feed/ 0
Complex Epistemic Modalities in the Situation Calculus https://aaai.org/papers/kr08-060-complex-epistemic-modalities-in-the-situation-calculus/ https://aaai.org/papers/kr08-060-complex-epistemic-modalities-in-the-situation-calculus/#respond Wed, 15 Mar 2023 13:35:08 +0000 https://aaai.org/papers/060-complex-epistemic-modalities-in-the-situation-calculus/ The post Complex Epistemic Modalities in the Situation Calculus appeared first on AAAI.

]]>
https://aaai.org/papers/kr08-060-complex-epistemic-modalities-in-the-situation-calculus/feed/ 0
Proving Goal Achievability https://aaai.org/papers/kr08-061-proving-goal-achievability/ https://aaai.org/papers/kr08-061-proving-goal-achievability/#respond Wed, 15 Mar 2023 13:35:08 +0000 https://aaai.org/papers/061-proving-goal-achievability/ The post Proving Goal Achievability appeared first on AAAI.

]]>
https://aaai.org/papers/kr08-061-proving-goal-achievability/feed/ 0
Cartesian Situations and Knowledge Decomposition in the Situation Calculus https://aaai.org/papers/kr08-062-cartesian-situations-and-knowledge-decomposition-in-the-situation-calculus/ https://aaai.org/papers/kr08-062-cartesian-situations-and-knowledge-decomposition-in-the-situation-calculus/#respond Wed, 15 Mar 2023 13:35:08 +0000 https://aaai.org/papers/062-cartesian-situations-and-knowledge-decomposition-in-the-situation-calculus/ The post Cartesian Situations and Knowledge Decomposition in the Situation Calculus appeared first on AAAI.

]]>
https://aaai.org/papers/kr08-062-cartesian-situations-and-knowledge-decomposition-in-the-situation-calculus/feed/ 0