e-Science logo eSI logo
 
 

Automated Reasoning Workshop (ARW-05)

Original Event Webpage: www.inf.ed.ac.uk/events/conferences/arw-05

Acrobat Reader Version 5.0 is required to view some of the documents listed below.

Title Formats Available
- Panel Day 1: Luc Moreau PowerPoint Format [PPT] (3.67 MB)
- Panel Day 1: Marta Kwiatkowska PowerPoint Format [PPT] (0.41 MB)
- Panel Day 1: Pascal Hitzler PowerPoint Format [PPT] (0.79 MB)
- Panel Day 2: Mateja Jamnik PowerPoint Format [PPT] (0.15 MB)
- Panel Day 2: Ullrich Hustadt Adobe PDF Format [PDF] (0.04 MB)
- Session 1: A Bolotov. Clausal Resolution in the Framework of Social Agency PowerPoint Format [PPT] (0.03 MB)
- Session 1: A Bolotov. Clausal Resolution in the Framework of Social Agency (Abstract) Adobe PDF Format [PDF] (0.01 MB)
- Session 1: F McNeill. Dynamic Ontology Refinement [_PS] (0.45 MB)
- Session 1: F McNeill. Dynamic Ontology Refinement (Abstract) [_PS] (0.11 MB)
- Session 1: L Moreau. Towards provenance based reasoning in e-Science PowerPoint Format [PPT] (4.55 MB)
- Session 1: L Moreau. Towards provenance based reasoning in e-Science (abstract) Adobe PDF Format [PDF] (0.02 MB)
- Session 1: L Yang. Towards a Bell-Curve Calculus and its Application to e-Science Adobe PDF Format [PDF] (0.15 MB) PowerPoint Format [PPT] (0.15 MB)
- Session 1: L Yang. Towards a Bell-Curve Calculus and its Application to e-Science (abstract) Adobe PDF Format [PDF] (0.03 MB)
- Session 1: N Ferreira. A framework for uncertain agents Adobe PDF Format [PDF] (0.11 MB) [_PS] (0.32 MB)
- Session 1: N Ferreira. A framework for uncertain agents (Abstract) Adobe PDF Format [PDF] (0.03 MB) [_PS] (0.06 MB)
- Session 1: P Hitzler. Faster OWL Using Split Programs PowerPoint Format [PPT] (0.97 MB)
- Session 1: P Hitzler. Faster OWL Using Split Programs (abstract) Adobe PDF Format [PDF] (0.09 MB)
- Session 1: W Naylor. Semantic Matching and Decomposition of Mathematical Services Adobe PDF Format [PDF] (0.21 MB)
- Session 1: W Naylor. Semantic Matching and Decomposition of Mathematical Services (abstract) Adobe PDF Format [PDF] (0.06 MB)
- Session 2: A Donaldson Symmetry Reduction for Probabilistic Systems PowerPoint Format [PPT] (0.04 MB)
- Session 2: A Donaldson Symmetry Reduction for Probabilistic Systems (abstract) [_PS] (0.06 MB)
- Session 2: A Frisch. The Rules of Contraint Modelling: An Overview (abstract) Adobe PDF Format [PDF] (0.10 MB)
- Session 2: B Konev. Practical Infinite-State Verification via Temporal Reasoning Adobe PDF Format [PDF] (0.03 MB)
- Session 2: B Konev. Practical Infinite-State Verification via Temporal Reasoning (abstract) [_PS] (0.13 MB)
- Session 2: C Dixon. First-Order Theorem Priving in Practice Adobe PDF Format [PDF] (0.02 MB)
- Session 2: C Dixon. First-Order Theorem Priving in Practice (abstract) Adobe PDF Format [PDF] (0.10 MB)
- Session 2: M Kwiatkowska. Probabilistic model checking for the Grid and on the Grid PowerPoint Format [PPT] (5.18 MB)
- Session 2: M Kwiatkowska. Probabilistic model checking for the Grid and on the Grid (abstract) Adobe PDF Format [PDF] (0.01 MB)
- Session 2: P Ballarini. Automated Game Analysis vis Probabilistic Model Checking Adobe PDF Format [PDF] (0.55 MB) PowerPoint Format [PPT] (0.31 MB)
- Session 2: P Ballarini. Automated Game Analysis vis Probabilistic Model Checking (abstract) Adobe PDF Format [PDF] (0.15 MB)
- Session 2: U Endriss. Refinements of the CIFF Procedure (abstract) Adobe PDF Format [PDF] (0.09 MB)
- Session 3: A Frisch. Symmetry and the Generation of Constraint Models PowerPoint Format [PPT] (0.27 MB)
- Session 3: A Frisch. Symmetry and the Generation of Constraint Models (abstract) Adobe PDF Format [PDF] (0.04 MB)
- Session 3: A Ireland. Bridging Gaps through Proof Animation PowerPoint Format [PPT] (0.18 MB)
- Session 3: A Ireland. Bridging Gaps through Proof Animation (abstract) [_PS] (0.04 MB)
- Session 3: A Lisitsa. Verification of Parameterized Systems using Supercompilation Adobe PDF Format [PDF] (0.31 MB) PowerPoint Format [PPT] (0.06 MB)
- Session 3: A Lisitsa. Verification of Parameterized Systems using Supercompilation (abstract) [_PS] (0.02 MB)
- Session 3: J Navarro-Perez. Generation of hard non-clausal random satisfiability problems Adobe PDF Format [PDF] (0.21 MB)
- Session 3: J Navarro-Perez. Generation of hard non-clausal random satisfiability problems (abstract) [_PS] (0.16 MB)
- Session 3: M Kerber. LocModGen- Model Generation by Local Search Adobe PDF Format [PDF] (0.08 MB)
- Session 3: M Kerber. LocModGen- Model Generation by Local Search (abstract) Adobe PDF Format [PDF] (0.08 MB)
- Session 3: V Alexsic. On Arbitrary Selection Strategies for Superposition (abstract) Adobe PDF Format [PDF] (0.06 MB) [_PS] (0.19 MB)
- Session 3: V Sorge. Abstract Matrices and Constraints Adobe PDF Format [PDF] (0.07 MB)
- Session 3: V Sorge. Abstract Matrices and Constraints (abstract) [_PS] (0.08 MB)
- Session 4: A Meier. Failure Reasoning in Multiple-Strategy Proof Planning PowerPoint Format [PPT] (0.09 MB)
- Session 4: A Meier. Failure Reasoning in Multiple-Strategy Proof Planning (abstract) [_PS] (0.21 MB)
- Session 4: G Steel. Automated Deduction with XOR Constraints Adobe PDF Format [PDF] (0.15 MB)
- Session 4: G Steel. Automated Deduction with XOR Constraints (abstract) Adobe PDF Format [PDF] (0.03 MB)
- Session 4: L Meikle. Mechanical Theorem Proving in Computational Geometry PowerPoint Format [PPT] (0.06 MB)
- Session 4: L Meikle. Mechanical Theorem Proving in Computational Geometry (abstract) [_PS] (0.12 MB)
- Session 4: M Gordon. Using a theorem provider to implement a compiler [_PS] (1.15 MB)
- Session 4: M Gordon. Using a theorem provider to implement a compiler (abstract) Adobe PDF Format [PDF] (0.02 MB)
- Session 4: M Johansson. A Best-First Planner for Rippling Adobe PDF Format [PDF] (0.07 MB)
- Session 4: M Johansson. A Best-First Planner for Rippling (abstract) Adobe PDF Format [PDF] (0.06 MB)
- Session 4: S Colton. Machine Learning Case Splits for Theorem Proving PowerPoint Format [PPT] (0.11 MB)
- Session 4: S Colton. Machine Learning Case Splits for Theorem Proving (abstract) [_PS] (0.10 MB)
- Session 4: S Wilson. Geometry Explorer: Combining Dynamic Geometry, Automated Geometry Theorem Proving and Diagrammatic Proofs Adobe PDF Format [PDF] (0.20 MB)
- Session 4: S Wilson. Geometry Explorer: Combining Dynamic Geometry, Automated Geometry Theorem Proving and Diagrammatic Proofs (abstract) Adobe PDF Format [PDF] (0.19 MB)
- Summary Report Adobe PDF Format [PDF] (0.01 MB)
Last Updated: 22 Jun 12 11:02
This is an archived website, preserved and hosted by the School of Physics and Astronomy at the University of Edinburgh. The School of Physics and Astronomy takes no responsibility for the content, accuracy or freshness of this website. Please email webmaster [at] ph [dot] ed [dot] ac [dot] uk for enquiries about this archive.