| 2008 |
|---|
| 86 | | Philippe Besnard,
Sylvie Doutre,
Anthony Hunter:
Computational Models of Argument: Proceedings of COMMA 2008, Toulouse, France, May 28-30, 2008.
IOS Press 2008 |
| 85 | | Anthony Hunter:
Reasoning about the Appropriateness of Proponents for Arguments.
AAAI 2008: 89-94 |
| 84 | EE | Elizabeth Black,
Anthony Hunter:
Using enthymemes in an inquiry dialogue system.
AAMAS (1) 2008: 437-444 |
| 83 | | Vasiliki Efstathiou,
Anthony Hunter:
Focused search for Arguments from Propositional Knowledge.
COMMA 2008: 159-170 |
| 82 | | Nicholas Mann,
Anthony Hunter:
Argumentation Using Temporal Knowledge.
COMMA 2008: 204-215 |
| 81 | EE | Nikos Gorogiannis,
Anthony Hunter:
Merging First-Order Knowledge Using Dilation Operators.
FoIKS 2008: 132-150 |
| 80 | EE | Vasiliki Efstathiou,
Anthony Hunter:
Algorithms for Effective Argumentation in Classical Propositional Logic: A Connection Graph Approach.
FoIKS 2008: 272-290 |
| 79 | | Anthony Hunter,
Sébastien Konieczny:
Measuring Inconsistency through Minimal Inconsistent Sets.
KR 2008: 358-366 |
| 78 | EE | Anbu Yue,
Weiru Liu,
Anthony Hunter:
Measuring the Ignorance and Degree of Satisfaction for Answering Queries in Imprecise Probabilistic Logic Programs.
SUM 2008: 386-400 |
| 77 | EE | John Grant,
Anthony Hunter:
Analysing inconsistent first-order knowledgebases.
Artif. Intell. 172(8-9): 1064-1093 (2008) |
| 76 | EE | Anthony Hunter,
Weiru Liu:
A Context-Dependent Algorithm for Merging Uncertain Information in Possibility Theory.
IEEE Transactions on Systems, Man, and Cybernetics, Part A 38(6): 1385-1397 (2008) |
| 75 | EE | Nikos Gorogiannis,
Anthony Hunter:
Implementing semantic merging operators using binary decision diagrams.
Int. J. Approx. Reasoning 49(1): 234-251 (2008) |
| 2007 |
|---|
| 74 | | Anthony Hunter:
Real Arguments Are Approximate Arguments.
AAAI 2007: 66-71 |
| 73 | EE | Elizabeth Black,
Anthony Hunter:
A generative inquiry dialogue system.
AAMAS 2007: 241 |
| 72 | EE | Anthony Hunter:
Elements of Argumentation.
ECSQARU 2007: 4 |
| 71 | EE | Anbu Yue,
Weiru Liu,
Anthony Hunter:
Approaches to Constructing a Stratified Merged Knowledge Base.
ECSQARU 2007: 54-65 |
| 70 | EE | Matt Williams,
Anthony Hunter:
Harnessing Ontologies for Argument-Based Decision-Making in Breast Cancer.
ICTAI (2) 2007: 254-261 |
| 69 | EE | Guilin Qi,
Anthony Hunter:
Measuring Incoherence in Description Logic-Based Ontologies.
ISWC/ASWC 2007: 381-394 |
| 68 | EE | Jianbing Ma,
Weiru Liu,
Anthony Hunter:
Incomplete Statistical Information Fusion and Its Application to Clinical Trials Data.
SUM 2007: 89-103 |
| 2006 |
|---|
| 67 | | Anthony Hunter:
Contouring of Knowledge for Intelligent Searching for Arguments.
ECAI 2006: 250-254 |
| 66 | | Philippe Besnard,
Anthony Hunter:
Knowledgebase Compilation for Efficient Logical Argumentation.
KR 2006: 123-133 |
| 65 | | Anthony Hunter,
Sébastien Konieczny:
Shapley Inconsistency Values.
KR 2006: 249-259 |
| 64 | EE | Anthony Hunter:
How to act on inconsistent news: Ignore, resolve, or reject.
Data Knowl. Eng. 57(3): 221-239 (2006) |
| 63 | EE | Anthony Hunter,
Rupert Summerton:
Merging news reports that describe events.
Data Knowl. Eng. 59(1): 1-24 (2006) |
| 62 | EE | Anthony Hunter,
Weiru Liu:
Fusion rules for merging uncertain information.
Information Fusion 7(1): 97-134 (2006) |
| 61 | EE | John Grant,
Anthony Hunter:
Measuring inconsistency in knowledgebases.
J. Intell. Inf. Syst. 27(2): 159-184 (2006) |
| 60 | EE | Anthony Hunter,
Weiru Liu:
Merging uncertain information with semantic heterogeneity in XML.
Knowl. Inf. Syst. 9(2): 230-258 (2006) |
| 59 | EE | Anthony Hunter,
Rupert Summerton:
A knowledge-based approach to merging information.
Knowl.-Based Syst. 19(8): 647-674 (2006) |
| 2005 |
|---|
| 58 | | Leopoldo E. Bertossi,
Anthony Hunter,
Torsten Schaub:
Inconsistency Tolerance [result from a Dagstuhl seminar]
Springer 2005 |
| 57 | | Philippe Besnard,
Anthony Hunter:
Practical First-Order Argumentation.
AAAI 2005: 590-595 |
| 56 | EE | Anthony Hunter:
Presentation of Arguments and Counterarguments for Tentative Scientific Knowledge.
ArgMAS 2005: 245-263 |
| 55 | EE | Anthony Hunter,
Weiru Liu:
Measuring the Quality of Uncertain Information Using Possibilistic Logic.
ECSQARU 2005: 415-426 |
| 54 | EE | Leopoldo E. Bertossi,
Anthony Hunter,
Torsten Schaub:
Introduction to Inconsistency Tolerance.
Inconsistency Tolerance 2005: 1-14 |
| 53 | EE | Anthony Hunter,
Sébastien Konieczny:
Approaches to Measuring Inconsistent Information.
Inconsistency Tolerance 2005: 191-236 |
| 52 | EE | Emma Byrne,
Anthony Hunter:
Evaluating violations of expectations to find exceptional information.
Data Knowl. Eng. 54(2): 97-120 (2005) |
| 2004 |
|---|
| 51 | | Anthony Hunter:
Making Argumentation More Believable.
AAAI 2004: 269-274 |
| 50 | | Anthony Hunter:
Towards Higher Impact Argumentation.
AAAI 2004: 275-280 |
| 49 | EE | Anthony Hunter:
Towards higher impact argumentation.
NMR 2004: 227-232 |
| 48 | EE | Emma Byrne,
Anthony Hunter:
Man bites dog: looking for interesting inconsistencies in structured news reports.
Data Knowl. Eng. 48(3): 265-295 (2004) |
| 47 | | Anthony Hunter,
Rupert Summerton:
Fusion Rules for Context-Dependent Aggregation of Structured News Reports.
Journal of Applied Non-Classical Logics 14(3): 329-366 (2004) |
| 46 | EE | Anthony Hunter:
Logical Comparison of Inconsistent Perspectives using Scoring Functions.
Knowl. Inf. Syst. 6(5): 528-543 (2004) |
| 2003 |
|---|
| 45 | EE | Anthony Hunter:
Probable Consistency Checking for Sets of Propositional Clauses.
ECSQARU 2003: 464-476 |
| 44 | EE | Anthony Hunter,
Rupert Summerton:
Propositional Fusion Rules.
ECSQARU 2003: 502-514 |
| 43 | | Anthony Hunter:
Evaluating Significance of Inconsistencies.
IJCAI 2003: 468-478 |
| 42 | EE | Laurence Cholvy,
Anthony Hunter:
Merging requirements from a set of ranked agents.
Knowl.-Based Syst. 16(2): 113-126 (2003) |
| 2002 |
|---|
| 41 | | Anthony Hunter:
Measuring Inconsistency in Knowledge via Quasi-Classical Models.
AAAI/IAAI 2002: 68-73 |
| 40 | EE | Anthony Hunter:
Merging structured text using temporal knowledge.
Data Knowl. Eng. 41(1): 29-66 (2002) |
| 39 | EE | Anthony Hunter:
Logical fusion rules for merging structured news reports.
Data Knowl. Eng. 42(1): 23-56 (2002) |
| 38 | EE | Ali Hessami,
Anthony Hunter:
Formalization of Weighted Factors Analysis.
Knowl.-Based Syst. 15(7): 377-390 (2002) |
| 37 | | Anthony Hunter:
Hans Kleine Büning and Theodor Lettmann, Propositional Logic: Deduction and Algorithms.
Studia Logica 71(2): 247-258 (2002) |
| 2001 |
|---|
| 36 | EE | Anthony Hunter:
A Semantic Tableau Version of First-Order Quasi-Classical Logic.
ECSQARU 2001: 544-555 |
| 35 | EE | Philippe Besnard,
Anthony Hunter:
A logic-based theory of deductive arguments.
Artif. Intell. 128(1-2): 203-235 (2001) |
| 34 | | Isabelle Bloch,
Anthony Hunter,
Alain Appriou,
André Ayoun,
Salem Benferhat,
Philippe Besnard,
Laurence Cholvy,
Roger Cooke,
Frédéric Cuppens,
Didier Dubois,
Hélène Fargier,
Michel Grabisch,
Rudolf Kruse,
Jérôme Lang,
Serafín Moral,
Henri Prade,
Alessandro Saffiotti,
Philippe Smets,
Claudio Sossai:
Fusion: General concepts and characteristics.
Int. J. Intell. Syst. 16(10): 1107-1134 (2001) |
| 33 | | Anthony Hunter:
A Default Logic Based Framework for Context-Dependent Reasoning with Lexical Knowledge.
J. Intell. Inf. Syst. 16(1): 65-87 (2001) |
| 2000 |
|---|
| 32 | | Philippe Besnard,
Anthony Hunter:
Towards a Logic-Based Theory of Argumentation.
AAAI/IAAI 2000: 411-416 |
| 31 | EE | Anthony Hunter:
Ramification Analysis Using Causal Mapping.
Data Knowl. Eng. 32(1): 1-27 (2000) |
| 30 | EE | Anthony Hunter:
Merging potentially inconsistent items of structured text.
Data Knowl. Eng. 34(3): 305-332 (2000) |
| 29 | | Anthony Hunter:
Reasoning with contradictory information using quasi-classical logic.
J. Log. Comput. 10(5): 677-703 (2000) |
| 1999 |
|---|
| 28 | | Anthony Hunter,
Simon Parsons:
Symbolic and Quantitative Approaches to Reasoning and Uncertainty, European Conference, ECSQARU'99, London, UK, July 5-9, 1999, Proceedings
Springer 1999 |
| 1998 |
|---|
| 27 | | Anthony Hunter,
Simon Parsons:
Applications of Uncertainty Formalisms
Springer 1998 |
| 26 | EE | Anthony Hunter,
Simon Parsons:
Introduction to uncertainty formalisms.
Applications of Uncertainty Formalisms 1998: 1-7 |
| 25 | EE | Simon Parsons,
Anthony Hunter:
A review of uncertainty handling formalisms.
Applications of Uncertainty Formalisms 1998: 8-37 |
| 24 | EE | Anthony Hunter,
Bashar Nuseibeh:
Managing Inconsistent Specifications: Reasoning, Analysis, and Action.
ACM Trans. Softw. Eng. Methodol. 7(4): 335-367 (1998) |
| 23 | EE | Anthony Hunter,
Peter McBrien:
Default Databases: Extending the Approach of Deductive Databases Using Default Logic.
Data Knowl. Eng. 26(2): 135-160 (1998) |
| 1997 |
|---|
| 22 | | Anthony Hunter:
Using Default Logic for Lexical Knowledge.
ECSQARU-FAPR 1997: 322-353 |
| 21 | | Laurence Cholvy,
Anthony Hunter:
Information Fusion in Logic: A Brief Overview.
ECSQARU-FAPR 1997: 86-95 |
| 20 | EE | Anthony Hunter,
Bashar Nuseibeh:
Analyzing Inconsistent Specifications.
RE 1997: 78-86 |
| 1996 |
|---|
| 19 | | Anthony Hunter:
Intelligent Text Handling Using Default Logic.
ICTAI 1996: 34-40 |
| 18 | | Philippe Besnard,
Luis Fariñas del Cerro,
Dov M. Gabbay,
Anthony Hunter:
Logical Handling of Inconsistent and Default Information.
Uncertainty Management in Information Systems 1996: 325-342 |
| 17 | EE | Howard Barringer,
Graham Gough,
Derek Brough,
Dov M. Gabbay,
Ian M. Hodkinson,
Anthony Hunter,
Richard Owens,
Peter McBrien,
Mark Reynolds,
Michael Fisher:
Languages, Meta-languages and METATEM, A Discussion Paper.
Logic Journal of the IGPL 4(2): 255-272 (1996) |
| 1995 |
|---|
| 16 | | Anthony Hunter:
Using Default Logic in Information Retrieval.
ECSQARU 1995: 235-242 |
| 15 | | Philippe Besnard,
Anthony Hunter:
Quasi-classical Logic: Non-trivializable classical reasoning from incosistent information.
ECSQARU 1995: 44-51 |
| 14 | EE | Morten Elvang-Gøransson,
Anthony Hunter:
Argumentative Logics: Reasoning with Classically Inconsistent Information.
Data Knowl. Eng. 16(2): 125-145 (1995) |
| 1994 |
|---|
| 13 | | Anthony Hunter:
Defeasible Reasoning with Structured Information.
KR 1994: 281-292 |
| 12 | EE | Anthony Finkelstein,
Dov M. Gabbay,
Anthony Hunter,
Jeff Kramer,
Bashar Nuseibeh:
Inconsistency Handling in Multperspective Specifications.
IEEE Trans. Software Eng. 20(8): 569-578 (1994) |
| 1993 |
|---|
| 11 | | James Cussens,
Anthony Hunter,
Ashwin Srinivasan:
Generating Explicit Orderings for Non-monotonic Logics.
AAAI 1993: 420-425 |
| 10 | | Dov M. Gabbay,
Anthony Hunter:
Making Inconsistency Respectable: Part 2 - Meta-level handling of inconsistency.
ECSQARU 1993: 129-136 |
| 9 | | Dov M. Gabbay,
Anthony Hunter:
Restricted Access Logics for Inconsistent Information.
ECSQARU 1993: 137-144 |
| 8 | | Anthony Finkelstein,
Dov M. Gabbay,
Anthony Hunter,
Jeff Kramer,
Bashar Nuseibeh:
Inconsistency Handling in Multi-Perspective Specifications.
ESEC 1993: 84-99 |
| 1992 |
|---|
| 7 | | James Cussens,
Anthony Hunter:
Using Maximum Entropy in a Defeasible Logic with Probabilistic Semantics.
IPMU 1992: 43-52 |
| 6 | | Anthony Hunter:
A Conceptualization of Preferences in Non-Monotonic Proof Theory.
JELIA 1992: 174-188 |
| 1991 |
|---|
| 5 | | James Cussens,
Anthony Hunter:
Using Defeasible Logic for a Window on a Probabilistic Database: Some Preliminary Notes.
ECSQARU 1991: 146-152 |
| 4 | | Dov M. Gabbay,
Anthony Hunter:
Making inconsistency respectable: a logical framework for inconsistency in reasoning.
FAIR 1991: 19-32 |
| 3 | | Anthony Hunter:
Execution of defeasible temporal clauses for building preferred models.
FAIR 1991: 84-98 |
| 2 | | Howard Barringer,
Michael Fisher,
Dov M. Gabbay,
Anthony Hunter:
Meta-Reasoning in Executable Temporal Logic.
KR 1991: 40-49 |
| 1989 |
|---|
| 1 | | Dov M. Gabbay,
Ian M. Hodkinson,
Anthony Hunter:
Using the Temporal Logic RDL for Design Specifications.
Concurrency: Theory, Language, And Architecture 1989: 64-78 |
