2002_aisb_automated_reasoning

There are 33 entries in this file. Use ‘View Page Source’ in the top right hand corner of the page for the raw bibtex. Entries are coloured according to their type:

  • Journal Articles
  • Books > Chapters
  • Proceedings > Proceeding Papers
  • Reports > Tech Reports
  • Theses
  • Standards & Technical Manuals
  • Online > Blog Posts & Social Media Threads
  • Videos
  • Collections > Datasets
  • Software > Games
  • Legal Cases > Judicial Opinions
  • Laws
OAV-VVT Expert Integrated Verification and Validation Tool For Knowledge Base System
(abdollahzadeh-barforoush02__oav_vvt_exper_integ_verif_)
Abdollahzadeh-Barforoush, Ahmad and Dadhkah, Chitra
A Solution To The Problem Of Contradiction In Knowledge Discovery Applications
(anderson02__solut_to_probl_of_contr_)
Anderson, David
Towards Automated Generation Of Beliefs In BDI Agents
(basukoski02__towar_autom_gener_of_belief_)
Basukoski, A. and Bolotov, Alexander
Agent-Based Theorem Proving
(benzmueller02_)
Benzmüller, Christoph and Sorge, Volker
Solving Multiple Containment Tests For Linear Constraints Over Integers
(chubarov02__solvin_multip_contain_tests_for_)
Chubarov, Dmitri and Voronkov, Andrei
On Learning Typed-Unification Grammars
(ciortuz02__learn_typed_unific_gramm_)
Ciortuz, Liviu
Semi-Automated Discovery In Zariski Spaces (A Proposal)
(colton02__semi_autom_discov_in_zaris_spaces_propos_)
Colton, Simon and McCasland, Roy and Bundy, Alan and Walsh, Toby
Planning The Whiskey Problem
(dennis02__plann_whisk_probl_)
Dennis, Louise A. and Bundy, Alan
The Relationship Ebtween Temporal Logic Normal Forms And Alternating Automata
(dixon02__relat_ebtween_tempor_logic_normal_)
Dixon, Clare and Bolotov, Alexander and Fisher, Michael
Comparing SAT Preprocessing Techniques
(drake02__compar_sat_prepr_techn_)
Drake, Lyndon and Frisch, Alan
Adding A Zoom To Linear Temporal Logic
(endriss02__addin_zoom_to_linear_tempor_logic_)
Endriss, Ulrich
Automatically Transforming Constraint Satisfaction Problems: Further Progress
(frisch02__autom_trans_const_satis_probl_)
Frisch, Alan M. and Miguel, Ian and Walsh, Toby
Algorithms For Guiding Clausal Temporal Resolution
(gago02__algor_for_guidin_claus_tempor_resol_)
Gago, M. Carmen Fernández
On The Relationship Between Decidable Fragemtns, Non-Classical Logics, And Description Logics
(georgieva02__relat_between_decid_fragem_non_)
Georgieva, Lilia and Hustadt, Ulrich and Schmidt, Renate A.
Using SPASS For Proving Theorems Within Mereotopology
(hazarika02__using_spass_for_provin_theor_within_mereot_)
Hazarika, Shyamanta M. and Cohn, Anthony G.
Fast Normalization In The HOL Theorem Prover
(hurd02__fast_normal_in_hol_theor_prover_)
Hurd, Joe
An Investigation Into Proof Automation For The SPARK Approach To High Integrity Ada
(ireland02__inves_into_proof_autom_for_)
Ireland, Andrew and Ellis, Bill J. and Richardson, Julian
Automatic Learning Of Proof Methods In Proof Planning
(jamnik02__autom_learn_of_proof_method_)
Jamnik, Mateja and Kerber, Manfred and Pollet, Martin and Benzmüller, Christoph
TRP++: Implementation Of Clausal Resolution For Propositional Linear-Time Temporal Logic
(konev02__trp_)
Konev, Boris
Temporalising Tableaux
(kontchakov02__tempor_tableaux_)
Kontchakov, Roman and Lutz, Carsten and Wolter, Frank and Zakharyaschev, Michael
The Decidability Of The First-Order Theory Of The Knuth-Bendix Orders In The Case Of Unary Signatures
(korovin02__decid_of_first_order_theor_)
Korovin, Konstantin and Voronkov, Andrei
CONCEPTOOL: Intelligent Support To Knowledge Management
(meisel02__concep_)
Meisel, Helmut and Compatangelo, Ernesto
A Hypersequent Calculus For Abelian Logic
(metcalfe02__hyers_calcul_for_abelian_logic_)
Metcalfe, George
Resolution For Temporal Logics Of Knowledge With Interactions
(nalon02__resol_for_tempor_logic_of_)
Nalon, Cláudia and Dixon, Clare and Fischer, Michael
Lakatos-Style Reasoning
(pease02__lakat_style_reason_)
Pease, Alison and Colton, Simon and Smaill, Alan and Lee, John
Interactive Proving In Theorema
(piroi02__inter_provin_in_theor_)
Piroi, Florina and Jebelean, Tudor
Using A Chart To Record Intermediate Results In A Model Generation Theorem Prover
(ramsay02__using_chart_to_recor_inter_)
Ramsay, Allan
BRAIN: Backward Reachability Analysis With INtegers
(rybina02__brain_)
Rybina, Tatiana and Voronkov, Andrei
Substitutions, Test and Knowledge In Axiomatic Products Of PDL and S5
(schmidt02__subst_test_knowl_in_axiom_)
Schmidt, Renate A. and Tishkovsky, Dmitry
Proof Planning Diagonalisation Theorems Via Category Theory
(smaill02__proof_plann_diagon_theor_via_categ_theor_)
Smaill, Alan
Using Implict Induction To Guide A Parallel Search For Inconsistency
(steel02__using_implic_induc_to_guide_)
Steel, Graham and Bundy, Alan and Denney, Ewen
Embedding A Quanitifed Logic For Spatial Reasoning In Isabelle-HOL
(torrini02__embed_quanit_logic_for_spatial_)
Torrini, Paolo and Fleuriot, Jacques D. and Stell, John G. and Bennett, Brandon
Proceedings of the 9th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice
(walsh02:_proceed_works_autom_reason_)
Walsh, Toby (eds).
URL: Link