MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Complexity of Reasoning." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2,011 documents found, showing 1 through 10. Next 10 →

ATOM

Formalizing Complex Reasoning
by P. Traverso, M. J. Gordon, R. Milner, L. Morris, F. Giunchiglia, P. Pecchiari, C. Talcott, Reasoning Theories, Towards Architecture — 1996
…. Treur and Th. Wetter, editors, Formal Specification of Complex Reasoning Systems. Ellis Horwood, 1993…
Add To MetaCart

The Complexity of Reasoning with Global Constraints
by Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Toby Walsh — 2006 — Constraints
…Constraints DOI 10.1007/s10601-006-9007-3 The Complexity of Reasoning with Global Constraints…
Cited by 2 (0 self) – Add To MetaCart

On the Complexity of Reasoning in Kleene Algebra
by Dexter Kozen — 1997 — Information and Computation
…On the Complexity of Reasoning in Kleene Algebra Dexter Kozen Department of Computer Science Upson…
Cited by 8 (3 self) – Add To MetaCart

On the Complexity of Reasoning With Negation as Failure
by Riccardo Rosati — 1996 — In Proc. Workshop on deductive databases and logic programming (DDLP-96
…On the complexity of reasoning with negation as failure Riccardo Rosati Dipartimento di…
Cited by 1 (0 self) – Add To MetaCart

The Complexity of Reasoning about Spatial Congruence
by Matteo Cristani — 1999 — Journal of Artificial Intelligence Research
…/99 The Complexity of Reasoning about Spatial Congruence Matteo Cristani cristani@(email omitted); Dipartimento…
Cited by 9 (3 self) – Add To MetaCart

The complexity of reasoning with boolean modal logics
by Carsten Lutz, Ulrike Sattler — 2001 — LTCSReport 00-02, LuFG Theoretical Computer Science, RWTH
… The Complexity of Reasoning with Boolean Modal Logics (Extended Version) Carsten Lutz and Ulrike Sattler LTCS…
Cited by 27 (4 self) – Add To MetaCart

Computational Complexity of Reasoning about Plans
by Christer Bäckström, C Fl Christer Backstrom — 1992
…Computational Complexity of Reasoning about Plans c fl Christer Backstrom Dept. of Computer…
Cited by 13 (1 self) – Add To MetaCart

Data Complexity of Reasoning in Very Expressive Description Logics
by Ullrich Hustadt, Boris Motik, Forschungszentrum Informatik, Ulrike Sattler — 2005 — In Proc. IJCAI 2005
…Data Complexity of Reasoning in Very Expressive Description Logics Ullrich Hustadt Dept…
Cited by 56 (11 self) – Add To MetaCart

Comparing Formal Specification Languages for Complex Reasoning Systems
by Frank Van Harmelen, Iiia Ceab--csic, Jacek Malec — 1993
…In: Formal Specification of Complex ReasoningSystems J. Treur and Th. Wetter (eds.), pp. 257…
Cited by 3 (1 self) – Add To MetaCart

On the decidability and complexity of reasoning about only knowing
by Riccardo Rosati
…On the decidability and complexity of reasoning about only knowing Riccardo Rosati Dipartimento di…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB