Metaqueries: Semantics, complexity, and efficient algorithms

, &
Artificial Intelligence 149 (1):61-87 (2003)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0004-3702(03)00073-0

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,369

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Reasoning with minimal models: efficient algorithms and applications.Rachel Ben-Eliyahu-Zohary & Luigi Palopoli - 1997 - Artificial Intelligence 96 (2):421-449.
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.
SiFSO: Fish Swarm Optimization-Based Technique for Efficient Community Detection in Complex Networks.Yasir Ahmad, Mohib Ullah, Rafiullah Khan, Bushra Shafi, Atif Khan, Mahdi Zareei, Abdallah Aldosary & Ehab Mahmoud Mohamed - 2020 - Complexity 2020:1-9.
Ranking and unranking algorithms for loopless generation of t-ary trees.Amin Ahmadi-adl, Abbas Nowzari-Dalini & Hayedeh Ahrabian - 2011 - Logic Journal of the IGPL 19 (1):33-43.
On the convergence of a factorized distribution algorithm with truncation selection.Qingfu Zhang - 2004 - Complexity 9 (4):17-23.
Yet some more complexity results for default logic.Rachel Ben-Eliyahu-Zohary - 2002 - Artificial Intelligence 139 (1):1-20.
Algorithms, genetics, and populations: The schemata theorem revisited.Freddy Bugge Christiansen & Marcus W. Feldman - 1998 - Complexity 3 (3):57-64.
Tractability and the computational mind.Rineke Verbrugge & Jakub Szymanik - 2018 - In Mark Sprevak & Matteo Colombo (eds.), The Routledge Handbook of the Computational Mind. Routledge. pp. 339-353.
Interactive and probabilistic proof-checking.Luca Trevisan - 2000 - Annals of Pure and Applied Logic 104 (1-3):325-342.
Many-valued Logics in Classical and Quantum Gates.Carlos Lungarzo - 2005 - Logic Journal of the IGPL 13 (1):127-138.
On the degree of complexity of sentential logics.II. An example of the logic with semi-negation.Jacek Hawranek & Jan Zygmunt - 1984 - Studia Logica 43 (4):405 - 413.
Complexity in the Classroom: Notes on Teaching General Semantics.James Broadus - 1974 - In Donald E. Washburn & Dennis R. Smith (eds.), Coping with increasing complexity: implications of general semantics and general systems theory. New York: Gordon & Breach. pp. 121.
Study on Centroid Type-Reduction of Interval Type-2 Fuzzy Logic Systems Based on Noniterative Algorithms.Yang Chen - 2019 - Complexity 2019:1-12.
Natural Language Semantics and Computability.Richard Moot & Christian Retoré - 2019 - Journal of Logic, Language and Information 28 (2):287-307.
Hybrid Efficient Genetic Algorithm for Big Data Feature Selection Problems.Tareq Abed Mohammed, Oguz Bayat, Osman N. Uçan & Shaymaa Alhayali - 2020 - Foundations of Science 25 (4):1009-1025.

Analytics

Added to PP
2020-12-22

Downloads
5 (#1,546,014)

6 months
3 (#984,212)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Add more references