Concepedia

Simon Ambler

SA

Statistics

Publications

6

Citations

433

H-Index

6

Active since

1992

Affiliations

University of Leicester(Current)

Simon Ambler is an author at University of Leicester specializing in automated reasoning, engineering, and formal methods.

Top concepts

Automated ReasoningEngineeringFormal MethodsLanguageReasoningSemanticsSyntaxLinguisticsEpistemologyArgumentation

Publications per year

1992–2003

6

Publications

6

A LOGIC OF ARGUMENTATION FOR REASONING UNDER UNCERTAINTY

Paul Krause, Simon Ambler, Morten Elvang-Gøransson et al. · Computational Intelligence · 1995 · 266 citations

Engineering, Defeasible Logic, Aggregation Techniques +17

Arguments, contradictions and practical reasoning

John Fox, Paul Krause, Simon Ambler · European Conference on Artificial Intelligence · 1992 · 90 citations

Reasoning, Automated Reasoning, Practical Reasoning +5

A categorical approach to the semantics of argumentation

Simon Ambler · Mathematical Structures in Computer Science · 1996 · 21 citations

Categorical Approach, Engineering, Argumentation Analysis +18

A definitional approach to primitivexs recursion over higher order abstract syntax

Simon Ambler, Roy L. Crole, Alberto Momigliano · 2003 · 20 citations · Full text

Engineering, Automated Proof, Higher-order Logic +19

A Hybrid Encoding of Howe's Method for Establishing Congruence of Bisimilarity

Alberto Momigliano, Simon Ambler, Roy L. Crole · Electronic Notes in Theoretical Computer Science · 2002 · 18 citations · Full text

Engineering, Hybrid Encoding, Automated Reasoning +13

1–5 of 6