- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Learning action models from plan examples using weighted MAX-SAT
Artificial Intelligence 171 (2-3):107-143 (2007)
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
My notes
Similar books and articles
Learning MAX-SAT from contextual examples for combinatorial optimisation.Mohit Kumar, Samuel Kolb, Stefano Teso & Luc De Raedt - 2023 - Artificial Intelligence 314 (C):103794.
Compactly representing utility functions using weighted goals and the max aggregator.Joel Uckelman & Ulle Endriss - 2010 - Artificial Intelligence 174 (15):1222-1246.
Resolution for Max-SAT.María Luisa Bonet, Jordi Levy & Felip Manyà - 2007 - Artificial Intelligence 171 (8-9):606-618.
A logical approach to efficient Max-SAT solving.Javier Larrosa, Federico Heras & Simon de Givry - 2008 - Artificial Intelligence 172 (2-3):204-233.
Understanding the power of Max-SAT resolution through UP-resilience.Mohamed Sami Cherif, Djamal Habet & André Abramé - 2020 - Artificial Intelligence 289:103397.
Learning action models with minimal observability.Diego Aineto, Sergio Jiménez Celorrio & Eva Onaindia - 2019 - Artificial Intelligence 275 (C):104-137.
Jiang Zhongzheng.Wu Jiping zhu - 1999 - In Shuangqing Li, Yongzhen Jiang & Jiping Wu (eds.), Zhang bing lin, ou yang jing wu, liang qi chao, ma yi fu. Taibei Shi:
Learning complex action models with quantifiers and logical implications.Hankz Hankui Zhuo, Qiang Yang, Derek Hao Hu & Lei Li - 2010 - Artificial Intelligence 174 (18):1540-1569.
On the power of clause-learning SAT solvers as resolution engines.Knot Pipatsrisawat & Adnan Darwiche - 2011 - Artificial Intelligence 175 (2):512-525.
Learning hierarchical task network domains from partially observed plan traces.Hankz Hankui Zhuo, Héctor Muñoz-Avila & Qiang Yang - 2014 - Artificial Intelligence 212 (C):134-157.
Analytics
Added to PP
2020-12-22
Downloads
4 (#1,785,819)
6 months
3 (#1,655,179)
2020-12-22
Downloads
4 (#1,785,819)
6 months
3 (#1,655,179)
Historical graph of downloads
Citations of this work
Learning complex action models with quantifiers and logical implications.Hankz Hankui Zhuo, Qiang Yang, Derek Hao Hu & Lei Li - 2010 - Artificial Intelligence 174 (18):1540-1569.
Learning hierarchical task network domains from partially observed plan traces.Hankz Hankui Zhuo, Héctor Muñoz-Avila & Qiang Yang - 2014 - Artificial Intelligence 212 (C):134-157.
Action-model acquisition for planning via transfer learning.Hankz Hankui Zhuo & Qiang Yang - 2014 - Artificial Intelligence 212 (C):80-103.
Deliberation for autonomous robots: A survey.Félix Ingrand & Malik Ghallab - 2017 - Artificial Intelligence 247 (C):10-44.
Model-lite planning: Case-based vs. model-based approaches.Hankz Hankui Zhuo & Subbarao Kambhampati - 2017 - Artificial Intelligence 246 (C):1-21.
References found in this work
Strips: A new approach to the application of theorem proving to problem solving.Richard E. Fikes & Nils J. Nilsson - 1971 - Artificial Intelligence 2 (3-4):189-208.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-76d885d765-gm5tv uwo