- 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
Bounded treewidth as a key to tractability of knowledge representation and reasoning
Artificial Intelligence 174 (1):105-132 (2010)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Strategic reasoning with a bounded number of resources: The quest for tractability.Francesco Belardinelli & Stéphane Demri - 2021 - Artificial Intelligence 300 (C):103557.
Decomposition and tractability in qualitative spatial and temporal reasoning.Jinbo Huang, Jason Jingshi Li & Jochen Renz - 2013 - Artificial Intelligence 195 (C):140-164.
Handbook of Knowledge Representation.Frank Van Harmelen, Vladimir Lifschitz & Bruce Porter - 2008 - Elsevier.
Logics in Artificial Intelligence: European Workshop Jelia '94, York, Uk, September 5-8, 1994 : Proceedings.Craig MacNish & David A. Pearce - 1994 - Springer.
Knowledge is power: Open-world knowledge representation learning for knowledge-based visual reasoning.Wenbo Zheng, Lan Yan & Fei-Yue Wang - 2024 - Artificial Intelligence 333 (C):104147.
Knowledge representation and commonsense reasoning: Reviews of four books.Leora Morgenstern - 2006 - Artificial Intelligence 170 (18):1239-1250.
Principles of Knowledge Representation.Gerhard Brewka - 1996 - Center for the Study of Language and Inf.
Think!: A unified numerical–symbolic knowledge representation scheme and reasoning system.Christian Vilhelm, Pierre Ravaux, Daniel Calvelo, Alexandre Jaborska, Marie-Christine Chambrin & Michel Boniface - 2000 - Artificial Intelligence 116 (1-2):67-85.
Principles of Knowledge Representation.Gerhard Brewka - 1996 - Center for the Study of Language and Inf.
Case-based Reasoning and the Deep Structure Approach to Knowledge Representation, in Proceedings of the Third International Conference on.Andrej Kowalski - forthcoming - Artificial Intelligence and Law.
Analytics
Added to PP
2020-12-22
Downloads
4 (#1,645,937)
6 months
4 (#1,006,062)
2020-12-22
Downloads
4 (#1,645,937)
6 months
4 (#1,006,062)
Historical graph of downloads
Citations of this work
Algorithms and complexity results for persuasive argumentation.Eun Jung Kim, Sebastian Ordyniak & Stefan Szeider - 2011 - Artificial Intelligence 175 (9-10):1722-1736.
Backdoors to tractable answer set programming.Johannes Klaus Fichte & Stefan Szeider - 2015 - Artificial Intelligence 220 (C):64-103.
On the parameterized complexity of non-monotonic logics.Arne Meier, Irina Schindler, Johannes Schmidt, Michael Thomas & Heribert Vollmer - 2015 - Archive for Mathematical Logic 54 (5):685-710.
New width parameters for SAT and #SAT.Robert Ganian & Stefan Szeider - 2021 - Artificial Intelligence 295 (C):103460.
References found in this work
On the relationship between circumscription and negation as failure.Michael Gelfond, Halina Przymusinska & Teodor Przymusinski - 1989 - Artificial Intelligence 38 (1):75-94.
The complexity of first-order and monadic second-order logic revisited.Markus Frick & Martin Grohe - 2004 - Annals of Pure and Applied Logic 130 (1-3):3-31.
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-6686886f5-ktvwr uwo