Foundations of a functional approach to knowledge representation.
Artificial Intelligence
Semantical considerations on nonmonotonic logic
Artificial Intelligence
More complicated questions about maxima and minima, and some closures of NP
International Colloquium on Automata, Languages and Programming on Automata, languages and programming
The complexity of Boolean functions
The complexity of Boolean functions
The complexity of optimization problems
Journal of Computer and System Sciences - Structure in Complexity Theory Conference, June 2-5, 1986
The Boolean hierarchy I: structural properties
SIAM Journal on Computing
On the decomposability of NC and AC
SIAM Journal on Computing
On checking versus evaluation of multiple queries
MFCS '90 Proceedings on Mathematical foundations of computer science 1990
Towards a theory of knowledge and ignorance: preliminary report
Logics and models of concurrent systems
SIAM Journal on Computing
Towards automatic autoepistemic reasoning
JELIA '90 Proceedings of the European workshop on Logics in AI
Functional oracle queries as a measure of parallel time
STACS 91 Proceedings of the 8th annual symposium on Theoretical aspects of computer science
A catalog of complexity classes
Handbook of theoretical computer science (vol. A)
Journal of the ACM (JACM)
Bounded queries to SAT and the Boolean hierarchy
Theoretical Computer Science
Generalizations of Opt P to the polynomial hierarchy
Theoretical Computer Science
On the decidability and complexity of autoepistemic reasoning
Fundamenta Informaticae - Special issue on modal logics in knowledge representation
Using the Hamiltonian path operator to capture NP
Journal of Computer and System Sciences
A note on non-monotonic modal logic
Artificial Intelligence
The Parallel Evaluation of General Arithmetic Expressions
Journal of the ACM (JACM)
The Complexity of Computing
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Characterizations of Some Complexity Classes Between Theta^p_2 and Delta^p_2
STACS '92 Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science
STACS '94 Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science
Collapsing Oracle Hierarchies, Census Functions and Logarithmically Many Queries
STACS '88 Proceedings of the 5th Annual Symposium on Theoretical Aspects of Computer Science
Two remarks on the power of counting
Proceedings of the 6th GI-Conference on Theoretical Computer Science
Nonmonotonic Reasoning is Sometimes Simpler
KGC '93 Proceedings of the Third Kurt Gödel Colloquium on Computational Logic and Proof Theory
Decision Procedure for Autoepistemic Logic
Proceedings of the 9th International Conference on Automated Deduction
Word problems requiring exponential time(Preliminary Report)
STOC '73 Proceedings of the fifth annual ACM symposium on Theory of computing
Description logics of minimal knowledge and negation as failure
ACM Transactions on Computational Logic (TOCL)
Model Checking CTL+ and FCTL is Hard
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
Towards First-Order Nonmonotonic Reasoning
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Redundancy in logic I: CNF propositional formulae
Artificial Intelligence
Complexity of the Unique Extension Problem in Default Logic
Fundamenta Informaticae
A faithful integration of description logics with logic programming
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Redundancy in logic I: CNF propositional formulae
Artificial Intelligence
Reconciling description logics and rules
Journal of the ACM (JACM)
Oracle circuits for branching-time model checking
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
Annals of Mathematics and Artificial Intelligence
A logical study of partial entailment
Journal of Artificial Intelligence Research
On the complexity of dealing with inconsistency in description logic ontologies
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Complexity of the Unique Extension Problem in Default Logic
Fundamenta Informaticae
Quantified CTL: expressiveness and model checking
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
Tractable approximations of consistent query answering for robust ontology-based data access
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |
In this paper we consider problems and complexity classes definable by interdependent queries to an oracle in NP. How the queries depend on each other is specified by a directed graph G. We first study the class of problems where G is a general dag and show that this class coincides with Dp2 .We then consider the class where G is a tree. Our main result states that this class is identical to PNP[O(log n)], the class of problems solvable in polynomial time with a logarithmic number of queries to an oracle in NP. This result has interesting applications in the fields of modal logic and artificial intelligence. In particular, we show that the following problems are all PNP[O(log n)] complete: validity-checking of formulas in Carnap's modal logic, checking whether a formula is almost surely valid over finite structures in modal logics K, T, and S4 (a problem recently considered by Halpern and Kapron [1992]), and checking whether a formula belongs to the stable set of beliefs generated by a propositional theory.We generalize the case of dags to the case where G is a general (possibly cyclic) directed graph of NP-oracle queries and show that this class corresponds to Pp2 . We show that such graphs are easily expressible in autoepistemic logic. Finally, we generalize our complexity results to higher classes of the polynomial-time hierarchy.