Anthony Hunter - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Weighted argument systems: Basic definitions, algorithms, and complexity resultsPaul E. Dunne, Anthony Hunter, Peter McBurney, Simon Parsons, Michael Wooldridge. ai, 175(2):457-486, 2011. [doi]

Algorithms for generating arguments and counterarguments in propositional logicVasiliki Efstathiou, Anthony Hunter. ijar, 52(6):672-704, 2011. [doi]

Instantiating abstract argumentation with classical logic arguments: Postulates and propertiesNikos Gorogiannis, Anthony Hunter. ai, 175(9-10):1479-1497, 2011. [doi]

Measuring the Good and the Bad in Inconsistent InformationJohn Grant, Anthony Hunter. IJCAI 2011: 2632-2637 [doi]

Measuring Consistency Gain and Information Loss in Stepwise Inconsistency ResolutionJohn Grant, Anthony Hunter. ecsqaru 2011: 362-373 [doi]

Modeling and reasoning with qualitative comparative clinical knowledgeJianbing Ma, Weiru Liu, Anthony Hunter. ijis, 26(1):25-46, 2011. [doi]

2010

Scalable Uncertainty Management - 4th International Conference, SUM 2010, Toulouse, France, September 27-29, 2010. ProceedingsAmol Deshpande, Anthony Hunter, editors, Volume 6379 of Lecture Notes in Computer Science, Springer, 2010. [doi]

On the measure of conflicts: Shapley Inconsistency ValuesAnthony Hunter, Sébastien Konieczny. ai, 174(14):1007-1026, 2010. [doi]

Using clinical preferences in argumentation about evidence from clinical trialsAnthony Hunter, Matthew Williams. ihi 2010: 118-127 [doi]

Qualitative Evidence Aggregation using ArgumentationAnthony Hunter, Matthew Williams. comma 2010: 287-298 [doi]

Argumentation for Aggregating Clinical EvidenceAnthony Hunter, Matthew Williams. ictai 2010: 361-368 [doi]

A survey of formalisms for representing and reasoning with scientific knowledgeAnthony Hunter, Weiru Liu. ker, 25(2):199-222, 2010. [doi]

Base Logics in ArgumentationAnthony Hunter. comma 2010: 275-286 [doi]

Inducing Probability Distributions from Knowledge Bases with (In)dependence RelationsJianbing Ma, Weiru Liu, Anthony Hunter. AAAI 2010: [doi]

2009

Encoding deductive argumentation in quantified Boolean formulaePhilippe Besnard, Anthony Hunter, Stefan Woltran. ai, 173(15):1406-1423, 2009. [doi]

An inquiry dialogue systemElizabeth Black, Anthony Hunter. AAMAS, 19(2):173-209, 2009. [doi]

An Argument-Based Approach to Using Multiple OntologiesElizabeth Black, Anthony Hunter, Jeff Z. Pan. sum 2009: 68-79 [doi]

Inconsistency tolerance in weighted argument systemsPaul E. Dunne, Anthony Hunter, Peter McBurney, Simon Parsons, Michael Wooldridge. atal 2009: 851-858 [doi]

An Algorithm for Generating Arguments in Classical Predicate LogicVasiliki Efstathiou, Anthony Hunter. ecsqaru 2009: 119-130 [doi]

Argumentation about Treatment EfficacyNikos Gorogiannis, Anthony Hunter, Vivek Patkar, Matthew Williams. aime 2010: 169-179 [doi]

An argument-based approach to reasoning with clinical knowledgeNikos Gorogiannis, Anthony Hunter, Matthew Williams. ijar, 51(1):1-22, 2009. [doi]

Knowledge Base Stratification and Merging Based on Degree of SupportAnthony Hunter, Weiru Liu. ecsqaru 2009: 383-395 [doi]

The Non-archimedean Polynomials and Merging of Stratified Knowledge BasesJianbing Ma, Weiru Liu, Anthony Hunter. ecsqaru 2009: 408-420 [doi]

2008

Computational Models of Argument: Proceedings of COMMA 2008, Toulouse, France, May 28-30, 2008Philippe Besnard, Sylvie Doutre, Anthony Hunter, editors, Volume 172 of Frontiers in Artificial Intelligence and Applications, IOS Press, 2008.

Using enthymemes in an inquiry dialogue systemElizabeth Black, Anthony Hunter. atal 2008: 437-444 [doi]

Focused search for Arguments from Propositional KnowledgeVasiliki Efstathiou, Anthony Hunter. comma 2008: 159-170

Algorithms for Effective Argumentation in Classical Propositional Logic: A Connection Graph ApproachVasiliki Efstathiou, Anthony Hunter. foiks 2008: 272-290 [doi]

Merging First-Order Knowledge Using Dilation OperatorsNikos Gorogiannis, Anthony Hunter. foiks 2008: 132-150 [doi]

Implementing semantic merging operators using binary decision diagramsNikos Gorogiannis, Anthony Hunter. ijar, 49(1):234-251, 2008. [doi]

Analysing inconsistent first-order knowledgebasesJohn Grant, Anthony Hunter. ai, 172(8-9):1064-1093, 2008. [doi]

Measuring Inconsistency through Minimal Inconsistent SetsAnthony Hunter, Sébastien Konieczny. kr 2008: 358-366

Reasoning about the Appropriateness of Proponents for ArgumentsAnthony Hunter. AAAI 2008: 89-94

A Context-Dependent Algorithm for Merging Uncertain Information in Possibility TheoryAnthony Hunter, Weiru Liu. tsmc, 38(6):1385-1397, 2008. [doi]

Argumentation Using Temporal KnowledgeNicholas Mann, Anthony Hunter. comma 2008: 204-215

Measuring the Ignorance and Degree of Satisfaction for Answering Queries in Imprecise Probabilistic Logic ProgramsAnbu Yue, Weiru Liu, Anthony Hunter. lipari 2008: 386-400 [doi]

2007

2006

Knowledgebase Compilation for Efficient Logical ArgumentationPhilippe Besnard, Anthony Hunter. kr 2006: 123-133

Measuring inconsistency in knowledgebasesJohn Grant, Anthony Hunter. jiis, 27(2):159-184, 2006. [doi]

Merging news reports that describe eventsAnthony Hunter, Rupert Summerton. DKE, 59(1):1-24, 2006. [doi]

How to act on inconsistent news: Ignore, resolve, or rejectAnthony Hunter. DKE, 57(3):221-239, 2006. [doi]

Contouring of Knowledge for Intelligent Searching for ArgumentsAnthony Hunter. ecai 2006: 250-254

Shapley Inconsistency ValuesAnthony Hunter, Sébastien Konieczny. kr 2006: 249-259

Merging uncertain information with semantic heterogeneity in XMLAnthony Hunter, Weiru Liu. kais, 9(2):230-258, 2006. [doi]

Fusion rules for merging uncertain informationAnthony Hunter, Weiru Liu. inffus, 7(1):97-134, 2006. [doi]

A knowledge-based approach to merging informationAnthony Hunter, Rupert Summerton. kbs, 19(8):647-674, 2006. [doi]

2005

Inconsistency Tolerance [result from a Dagstuhl seminar]Leopoldo E. Bertossi, Anthony Hunter, Torsten Schaub, editors, Volume 3300 of Lecture Notes in Computer Science, Springer, 2005.

Introduction to Inconsistency ToleranceLeopoldo E. Bertossi, Anthony Hunter, Torsten Schaub. dagstuhl 2005: 1-14 [doi]

Practical First-Order ArgumentationPhilippe Besnard, Anthony Hunter. AAAI 2005: 590-595

Evaluating violations of expectations to find exceptional informationEmma Byrne, Anthony Hunter. DKE, 54(2):97-120, 2005. [doi]

Presentation of Arguments and Counterarguments for Tentative Scientific KnowledgeAnthony Hunter. argmas 2006: 245-263 [doi]

Measuring the Quality of Uncertain Information Using Possibilistic LogicAnthony Hunter, Weiru Liu. ecsqaru 2005: 415-426 [doi]

Approaches to Measuring Inconsistent InformationAnthony Hunter, Sébastien Konieczny. dagstuhl 2005: 191-236 [doi]

2004

2003

Merging requirements from a set of ranked agentsLaurence Cholvy, Anthony Hunter. kbs, 16(2):113-126, 2003. [doi]

Evaluating Significance of InconsistenciesAnthony Hunter. IJCAI 2003: 468-478

Probable Consistency Checking for Sets of Propositional ClausesAnthony Hunter. ecsqaru 2003: 464-476 [doi]

Propositional Fusion RulesAnthony Hunter, Rupert Summerton. ecsqaru 2003: 502-514 [doi]

2002

Formalization of Weighted Factors AnalysisAli Hessami, Anthony Hunter. kbs, 15(7):377-390, 2002. [doi]

Merging structured text using temporal knowledgeAnthony Hunter. DKE, 41(1):29-66, 2002. [doi]

Measuring Inconsistency in Knowledge via Quasi-Classical ModelsAnthony Hunter. AAAI 2002: 68-73

Hans Kleine Büning and Theodor Lettmann, Propositional Logic: Deduction and AlgorithmsAnthony Hunter. sLogica, 71(2):247-258, 2002.

Logical fusion rules for merging structured news reportsAnthony Hunter. DKE, 42(1):23-56, 2002. [doi]

2001

2000

Towards a Logic-Based Theory of ArgumentationPhilippe Besnard, Anthony Hunter. AAAI 2000: 411-416

Merging potentially inconsistent items of structured textAnthony Hunter. DKE, 34(3):305-332, 2000. [doi]

Reasoning with contradictory information using quasi-classical logicAnthony Hunter. logcom, 10(5):677-703, 2000.

Ramification Analysis Using Causal MappingAnthony Hunter. DKE, 32(1):1-27, 2000. [doi]

1999

Symbolic and Quantitative Approaches to Reasoning and Uncertainty, European Conference, ECSQARU 99, London, UK, July 5-9, 1999, ProceedingsAnthony Hunter, Simon Parsons, editors, Volume 1638 of Lecture Notes in Computer Science, Springer, 1999.

1998

Applications of Uncertainty FormalismsAnthony Hunter, Simon Parsons, editors, Volume 1455 of Lecture Notes in Computer Science, Springer, 1998.

Introduction to uncertainty formalismsAnthony Hunter, Simon Parsons. drums 1998: 1-7 [doi]

Default Databases: Extending the Approach of Deductive Databases Using Default LogicAnthony Hunter, Peter McBrien. DKE, 26(2):135-160, 1998. [doi]

Managing Inconsistent Specifications: Reasoning, Analysis, and ActionAnthony Hunter, Bashar Nuseibeh. TOSEM, 7(4):335-367, 1998. [doi]

A review of uncertainty handling formalismsSimon Parsons, Anthony Hunter. drums 1998: 8-37 [doi]

1997

Information Fusion in Logic: A Brief OverviewLaurence Cholvy, Anthony Hunter. ecsqaru 1997: 86-95

Analyzing Inconsistent SpecificationsAnthony Hunter, Bashar Nuseibeh. RE 1997: 78-86 [doi]

Using Default Logic for Lexical KnowledgeAnthony Hunter. ecsqaru 1997: 322-353

1996

1995

Quasi-classical Logic: Non-trivializable classical reasoning from incosistent informationPhilippe Besnard, Anthony Hunter. ecsqaru 1995: 44-51

Argumentative Logics: Reasoning with Classically Inconsistent InformationMorten Elvang-Gøransson, Anthony Hunter. DKE, 16(2):125-145, 1995. [doi]

Using Default Logic in Information RetrievalAnthony Hunter. ecsqaru 1995: 235-242

1994

Inconsistency Handling in Multperspective SpecificationsAnthony Finkelstein, Dov M. Gabbay, Anthony Hunter, Jeff Kramer, Bashar Nuseibeh. TSE, 20(8):569-578, 1994. [doi]

Defeasible Reasoning with Structured InformationAnthony Hunter. kr 1994: 281-292

1993

Generating Explicit Orderings for Non-monotonic LogicsJames Cussens, Anthony Hunter, Ashwin Srinivasan. AAAI 1993: 420-425

Inconsistency Handling in Multi-Perspective SpecificationsAnthony Finkelstein, Dov M. Gabbay, Anthony Hunter, Jeff Kramer, Bashar Nuseibeh. ESEC/FSE 1993: 84-99

PreviousNext