- 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 complex action models with quantifiers and logical implications
Artificial Intelligence 174 (18):1540-1569 (2010)
Abstract
This article has no associated abstract. (fix it)Author's Profile
My notes
Similar books and articles
Action-model acquisition for planning via transfer learning.Hankz Hankui Zhuo & Qiang Yang - 2014 - Artificial Intelligence 212 (C):80-103.
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.
Bayesian Learning Models of Pain: A Call to Action.Abby Tabor & Christopher Burr - 2019 - Current Opinion in Behavioral Sciences 26:54-61.
Logical Quantifiers.Gila Sher - 2012 - In D. Graff Fara & G. Russell (eds.), Routledge Companion to Philosophy of Language. Routledge. pp. 579-595.
Is it logical to count on quantifiers? Dissociable neural networks underlying numerical and logical quantifiers.V. Troiani, J. Peelle, R. Clark & M. Grossman - 2009 - Neuropsychologia 47 (1):104--111.
Symmetric Propositions and Logical Quantifiers.R. Gregory Taylor - 2008 - Journal of Philosophical Logic 37 (6):575-591.
Quantifiers, some Problems and Ideas.M. Krynicki & M. Mostowski - 1995 - In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation. Kluwer Academic Publishers. pp. 1--21.
Quantifiers Definable by Second Order Means.M. Mostowski - 1995 - In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation. Kluwer Academic Publishers. pp. 181--214.
Henkin Quantifiers.M. Krynicki & M. Mostowski - 1995 - In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation. Kluwer Academic Publishers. pp. 193--263.
Complex demonstratives as quantifiers: objections and replies.Jeffrey C. King - 2008 - Philosophical Studies 141 (2):209-242.
Learning action models from plan examples using weighted MAX-SAT.Qiang Yang, Kangheng Wu & Yunfei Jiang - 2007 - Artificial Intelligence 171 (2-3):107-143.
On the Quantified Account of Complex Demonstratives.Nilanjan Bhowmick - 2016 - Journal of the Indian Council of Philosophical Research 33 (3):451-463.
Contingency in complex systems and eastern trinitarian divine action in creation.Arvin M. Gouw - 2015 - Dialogo 2 (1):284-294.
Action Models and their Induction.Michal Čertický - 2013 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 20 (2):206-215.
Analytics
Added to PP
2020-12-22
Downloads
9 (#1,219,856)
6 months
8 (#352,434)
2020-12-22
Downloads
9 (#1,219,856)
6 months
8 (#352,434)
Historical graph of downloads
Author's Profile
Citations of this work
Relational reinforcement learning with guided demonstrations.David Martínez, Guillem Alenyà & Carme Torras - 2017 - Artificial Intelligence 247 (C):295-312.
Action-model acquisition for planning via transfer learning.Hankz Hankui Zhuo & Qiang Yang - 2014 - Artificial Intelligence 212 (C):80-103.
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.
Model-lite planning: Case-based vs. model-based approaches.Hankz Hankui Zhuo & Subbarao Kambhampati - 2017 - Artificial Intelligence 246 (C):1-21.
Learning action models with minimal observability.Diego Aineto, Sergio Jiménez Celorrio & Eva Onaindia - 2019 - Artificial Intelligence 275 (C):104-137.
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.
Learning action models from plan examples using weighted MAX-SAT.Qiang Yang, Kangheng Wu & Yunfei Jiang - 2007 - Artificial Intelligence 171 (2-3):107-143.
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-7c76586df8-hc2g5 uwo