CiteSeer.IST at NUS Home  Related articles for:  Optimised Modal Translation and Resolution - Schmidt (1997)   (Correct)

Similar documents based on text:
0.7:   Optimised Modal Translation and Resolution - Schmidt (1997)   (Correct)
0.6:   Control Flow Graphs for Real-Time System Analysis.. - Theiling (2002)   (Correct)
0.5:   Programming Constraint Services - Schulte (2002)   (Correct)
0.5:   Ontology-based Infrastructure for Intelligent Applications - Eberhart (2004)   (Correct)
0.5:   Average-Case Complexity of Shortest-Paths Problems - Priebe   (Correct)
0.5:   Superposition Theorem Proving for Commutative Algebraic Theories - Stuber (2000)   (Correct)
0.5:   Secure Group Key Agreement - Steiner (2002)   (Correct)
0.4:   MASSIVE: Software Engineering for Multiagent Systems - Lind (2000)   (Correct)
0.4:   Qualitative Scene Descriptions from Images for Integrated Speech.. - Socher (1997)   (Correct)
0.4:   Hierarchical Contextual Reasoning - Autexier (2003)   (Correct)

Related documents from co-citation:
3:   Resolution-Based Decision Procedures for Subclasses of First-Order Logic (context) - Hustadt - 1999
2:   Resolution calculi for modal logics (context) - Mints - 1989
2:   URL httpspas (context) - URL, mpi et al. - 2001
2:   Optimising description logic subsumption - Horrocks, Patel-Schneider - 1998
2:   Conjunctive query containment in Description Logics with n-ary relations - Calvanese, DeGiacomo et al. - 1997
2:   Special issue on decompositions of rst-order logic (context) - Blackburn, Seligman et al. - 1995
2:   Tree-based heuristics in modal theorem proving - Areces, Gennari et al. - 2000
2:   Logic Journal of the IGPL - Areces, Franconi et al. - 2000
2:   ACM Transactions on Computational Logic (context) - Fisher, Dixon et al. - 2001
2:   Automated Deduction - A Basis for Applications (context) - Bibel, Schmitt - 1998
2:   From description to hybrid logic (context) - Areces, de Rijke - 2001
2:   Equational reasoning in saturationbased theorem proving - Bachmair, Ganzinger - 1998
2:   Destructive modal resolution - Fitting - 1990
2:   Handbook of Automated Reasoning (context) - Voronkov, Robinson - 1999
2:   Language and Computation (context) - Areces, Blackburn et al. - 1999
2:   An overview of the KL-ONE knowledge representation system (context) - Brachman, Schmolze - 1985
2:   A resolution calculus for modal logics - Ohlbach - 1988
2:   Oxford Science Publications (context) - Gabbay, editor - 1994
2:   Accessed Apr (context) - Version, http et al. - 2001
2:   Dynamic logic - Harel - 1984

CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.