MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Reasoning Theories." – sorted by Relevance.

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

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

475 documents found, showing 1 through 10. Next 10 →

ATOM

Planar Geometric Reasoning with the Theory of Hints
by P. A. Monney — 1991 — In BIERI H., NOLTEMEIER H. (Eds.) (1991): Computational Geometry. Methods, Algorithms and Applications. Lecture Notes in Computer Science
…Planar Geometric Reasoning with the Theory of Hints P.A. MONNEY * 1. Introduction to the Theory…
Cited by 1 (1 self) – Add To MetaCart

Cooperation of Background Reasoners in Theory Reasoning by Residue Sharing
by Cesare Tinelli — 2000 — Journal of Automated Reasoning
…Cooperation of Background Reasoners in Theory Reasoning by Residue Sharing Cesare Tinelli (tinelli…
Cited by 11 (0 self) – Add To MetaCart

Cooperation of Background Reasoners in Theory Reasoning by Residue Sharing
by Cesare Tinelli Department, Cesare Tinelli — 2000 — Journal of Automated Reasoning
…Cooperation of Background Reasoners in Theory Reasoning by Residue Sharing Cesare Tinelli…
Add To MetaCart

Composing and Controlling Search in Reasoning Theories using Mappings
by Alessandro Coglio, Fausto Giunchiglia, José Meseguer, Carolyn L. Talcott — 1998
…Composing and Controlling Search in Reasoning Theories using Mappings Alessandro Coglio 1…
Cited by 3 (3 self) – Add To MetaCart

Composing and Controlling Search in Reasoning Theories using Mappings
by Coglio Giunchiglia Meseguer, Scientifica E Tecnologica, A. Coglio, F. Giunchiglia, J. Meseguer, C. Talcott, Alessandro Coglio, Fausto Giunchiglia, Jose Meseguer, Carolyn L. Talcott — 1998
… in Reasoning Theories using Mappings A. Coglio, F. Giunchiglia, J. Meseguer, and C. Talcott June 2000 Revised…
Add To MetaCart

Composing and Controlling Search in Reasoning Theories using Mappings
by Alessandro Coglio Fausto, Fausto Giunchiglia, Jose Meseguer, Carolyn L. Talcott — 1998
…Composing and Controlling Search in Reasoning Theories using Mappings Alessandro Coglio 1…
Add To MetaCart

Automated Reasoning for Theory-Building in the Social Sciences
by By Michael, Michael Masuch, Jeroen Bruggeman, Jaap Kamps, Breannd'an O Nuall'ain
…1 Automated Reasoning for Theory-Building in the Social Sciences By Michael Masuch, Jeroen…
Add To MetaCart

DISTRIBUTED ONTOLOGICAL REASONING: THEORY, ALGORITHMS, AND APPLICATIONS
by Dr. Luciano Serafini, Andrei Tamilin, Istituto Trentino Di Cultura — 2007
… Technologies DIT - University of Trento DISTRIBUTED ONTOLOGICAL REASONING: THEORY, ALGORITHMS, AND APPLICATIONS…
Add To MetaCart

A Semantics for Contextual Reasoning: Theory and Two Relevant . . .
by Prof Maurizio Lenzerini, Dott. Ssa Fiora Pirri, Chiara Ghidini, Chiara Ghidini, Chiara Ghidini — 1998
… Ciclo -- 1998-- X-98-3 A semantics for contextual reasoning: theory and two relevant applications Chiara…
Add To MetaCart

Reasoning Theories - Towards an Architecture for Open Mechanized Reasoning Systems
by Fausto Giunchiglia, Paolo Pecchiari, Carolyn Talcott — 1994
… Reasoning Theories Towards an Architecture for Open Mechanized Reasoning Systems 1 2 Fausto…
Cited by 45 (11 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB