Travelled to:1 × Australia
2 × Germany
2 × USA
Collaborated with:S.Konieczny B.Nuseibeh P.Besnard ∅ D.M.Gabbay H.Barringer M.Fisher A.Finkelstein J.Kramer
Talks about:inconsist (5) specif (2) reason (2) logic (2) knowledgebas (1) structur (1) perspect (1) argument (1) shapley (1) tempor (1)
Person: Anthony Hunter
DBLP: Hunter:Anthony
Contributed to:
20082006
19971994
19931991Wrote 7 papers:
- KR-2008-HunterK #consistency #nondeterminism #set
- Measuring Inconsistency through Minimal Inconsistent Sets (AH, SK), pp. 358–366.
- KR-2006-BesnardH #compilation #knowledge base #logic #performance
- Knowledgebase Compilation for Efficient Logical Argumentation (PB, AH), pp. 123–133.
- KR-2006-HunterK #consistency #nondeterminism
- Shapley Inconsistency Values (AH, SK), pp. 249–259.
- RE-1997-HunterN #consistency #specification
- Analyzing Inconsistent Specifications (AH, BN), pp. 78–86.
- KR-1994-Hunter #reasoning
- Defeasible Reasoning with Structured Information (AH), pp. 281–292.
- ESEC-1993-FinkelsteinGHKN #consistency #multi #nondeterminism #specification
- Inconsistency Handling in Multi-Perspective Specifications (AF, DMG, AH, JK, BN), pp. 84–99.
- KR-1991-BarringerFGH #execution #logic
- Meta-Reasoning in Executable Temporal Logic (HB, MF, DMG, AH), pp. 40–49.