M V Martinez and A Hunter (2009)
Incorporating Classical Logic Argumentation
into Policy-based Inconsistency Management in Relational Databases,
in The Uses of Computational Argumentation Symposium,
AAAI 2009 Fall Symposium Series.
E Black, A Hunter and J Pan (2009)
An Argument-based Approach to Using Multiple Ontologies,
Third International Conference on Scalable Uncertainty Management (SUM'09),
LNCS, Springer (in press).
N Gorogiannis, A Hunter, V Patkar and M Williams (2009)
Argumentation about Treatment Efficacy,
Knowledge Representation for Health-Care: Data, Processes and Guidelines (KR4HC'09),
LNCS, Springer (in press).
N Gorogiannis, A Hunter and M Williams (2009)
An argument-based approach to reasoning with clinical knowledge,
International Journal of Approximate Reasoning
(accepted).
Ph Besnard, A Hunter and S Woltran (2009)
Encoding Deductive Argumentation in Quantified Boolean Formulae,
Artificial Intelligence,
173:1406-1423.
Ph Besnard and A Hunter (2009)
Argumentation based on classical logic,
in Argumentation in Artificial Intelligence,
edited by I Rahwan and G Simari,
Springer.
E Black and A Hunter (2009)
A relevance-theoretic framework for constructing and deconstructing enthymemes,
Journal of Logic and Computation (in press).
E Black and A Hunter (2009)
An inquiry dialogue system,
Autonomous Agents and Multi-Agent Systems, 19(2):173-209.
P Dunne, A Hunter, P McBurney, S Parsons, M Wooldridge (2009)
Inconsistency Tolerance in Weighted Argument Systems,
Proceedings of the Eighth International Joint Conference
on Autonomous Agents and Multi-Agent Systems
(AAMAS'09),
ACM Press, pages 851-858.
V Efstathiou and A Hunter (2009)
An algorithm for generating arguments in classical predicate logic,
Quantitative and Qualitative Approaches to Reasoning and Uncertainty (ECSQARU'09),
LNCS, Springer, vol 5590, pages 119-130.
A Hunter and W Liu (2009)
Knowledge Base Stratification and Merging Based on Degree of Support,
Quantitative and Qualitative Approaches to Reasoning and Uncertainty (ECSQARU'09),
LNCS, Springer, vol 5590, pages 383-395.
J Ma, W Liu and A Hunter (2009)
The Non-Archimedean Polynomials and Merging of Stratified Knowledge Bases,
Quantitative and Qualitative Approaches to Reasoning and Uncertainty (ECSQARU'09),
LNCS, Springer, vol 5590, pages 408-420.
A Hunter and W Liu (2009)
A survey of formalisms for representing and reasoning with scientific knowledge,
Knowledge Engineering Review (in press).
A Hunter and S Konieczny (2008)
Measuring inconsistency through minimal inconsistent sets,
Proceedings of the 11th International Conference on Knowledge Representation (KR'08),
pages 358-366,
AAAI Press.
J Ma, W Liu, A Hunter and W Zhang (2008)
Performing meta-analysis with incomplete statistical information in clinical trials,
BMC Medical Research Methodology, 8:56.
A Hunter (2008)
Reasoning about the appropriateness of proponents for arguments,
Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI'08),
pages 89-94,
MIT Press.
N Gorogiannis and A Hunter (2008)
Implementing semantic merging operators using binary decision diagrams,
International Journal of Approximate Reasoning 49(1): 234-251.
J Grant and A Hunter (2008)
Analysing inconsistent first-order knowledge bases,
Artificial Intelligence 172:1064-1093.
E Black and A Hunter (2008)
Using enthymemes in an inquiry dialogue system,
Proceedings of the Seventh International Joint Conference on Autonomous Agents and Multi-Agent Systems
(AAMAS'08),
pages 437-444, ACM Press.
A Hunter and W Liu (2008)
A context-dependent algorithm for merging uncertain information in possibility theory,
IEEE Transactions on Systems, Man, and Cybernetics, 38(6):1385-1398.
N Gorogiannis and A Hunter (2008)
Merging first-order knowledge using dilation operators,
Proceedings of the International Symosium
on Foundations of Information and Knowledge Systems (FOIKS'08),
LNCS volume 4932, pages 132-150, Springer.
V Efstathiou and A Hunter (2008)
Algorithms for effective argumentation in classical propositional logic,
Proceedings of the International Symosium
on Foundations of Information and Knowledge Systems (FOIKS'08),
LNCS volume 4932, pages 272-290, Springer.
V Efstathiou and A Hunter (2008)
Focused search for arguments from propositional knowledge,
Proceedings of the Second International Conference on Computational Models of Argument (COMMA'08), pages 159-170,
IOS Press.
N Mann and A Hunter (2008)
Argumentation using temporal knowledge,
Proceedings of the Second International Conference on Computational Models of Argument (COMMA'08), pages 204-215, IOS Press.
A Hunter (2007)
Real arguments are approximate arguments,
Proceedings of the 22nd AAAI Conference on Artificial Intelligence (AAAI'07),
pages 66-71,
MIT Press.
E Black and A Hunter (2007)
A generative inquiry dialogue system,
Proceedings of the Sixth International Joint Conference on Autonomous Agents and Multi-Agent Systems
(AAMAS'07),
ACM Press.
A Yue, W Liu, and A Hunter (2007)
Approaches to constructing a stratified merged knowledge base,
Quantitative and Qualitative Approaches to Reasoning and Uncertainty (ECSQARU'07),
LNCS 4724, pages 54-65, Springer.
M Williams and A Hunter (2007)
Harnessing ontologies for argument-based decision-making in breast cancer,
Proceedings of the International Conference on Tools with AI (ICTAI'07),
pages 254-261,
IEEE Press.
J Ma, W Liu, and A Hunter (2007)
Incomplete statistical information fusion and its application to clinical trials data,
First International Conference on Scalable Uncertainty Management (SUM'07),
LNCS 4772, pages 89-103, Springer.
G Qi and A Hunter (2007)
Measuring incoherence in description logic-based ontologies,
Proceedings of the International Semantic Web Conference (ISWC'07),
LNCS 4825, pages 381-394, Springer.
A Hunter (2006)
Contouring of knowledge for intelligent searching for arguments,
Proceedings of the 17th European Conference on Artificial Intelligence (ECAI'06),
pages 123-133,
IOS Press.
A Hunter (2006)
Approximate arguments for efficiency in logical argumentation,
Proceedings of the International Workshop in Non-monotonic Reasoning (NMR'06).
A Hunter and S Konieczny (2006)
Shapley inconsistency values,
Proceedings of the 10th International Conference on Knowledge Representation (KR'06),
pagse 249-259,
AAAI Press.
Ph Besnard and A Hunter (2006)
Knowledgebase compilation for efficient logical argumentation,
Proceedings of the 10th International Conference on Knowledge Representation (KR'06),
pages 123-133,
AAAI Press.
A Hunter and W Liu (2006)
Fusion rules for merging uncertain information,
Information Fusion, 7(1):97-134.
A Hunter and W Liu (2006)
Merging uncertain information with semantic heterogeneity in XML
Knowledge and Information Systems, 9(2): 230-258.
A Hunter and W Liu (2006)
A logical reasoning framework for modelling and merging uncertain semi-structured information,
in Modern Information Processing: From Theory to Applications,
edited by by B Bouchon-Meunier, G Coletti and R Yager,
Elsevier, pages 345-356, ISBN 978-0-444-52075-3.
A Hunter (2006)
How to act on inconsistent news: Ignore, resolve, or reject
Data and Knowledge Engineering, 57:221-239.
A Hunter (2006)
Presentation of arguments and counterarguments for tentative scientific knowledge,
Argumentation in Multi-agent Systems, LNCS 4049, Springer, 245-263.
J Grant and A Hunter (2006)
Measuring inconsistency in knowledgebases,
Journal of Intelligent Information Systems, 27:159-184.
A Hunter and R Summerton (2006)
Merging news reports that describe events,
Data and Knowledge Engineering, 59:1-24.
A Hunter and R Summerton (2006)
A knowledgebased approach to merging information,
Knowledge-Based Systems, 19:647-674.
Ph Besnard and A Hunter (2005)
Practical first-order argumentation,
Proc. of the 20th American National Conference on Artificial Intelligence (AAAI'2005),
pages 590-595, MIT Press.
A Hunter and W Liu (2005)
Measuring the quality of uncertain information using possibilistic logic
In Quantitative and Qualitative Approaches to Reasoning with Uncertainty,
LNCS Volume 3571, pages 415-426, Springer.
E Byrne and A Hunter (2005)
Evaluating violations of expectations to find exceptional information,
Data and Knowledge Engineering, 54(2):97-120.
A Hunter (2004)
Making argumentation more believable,
Proc. of the 19th American National Conference on Artificial Intelligence (AAAI'2004),
pages 269-274,
MIT Press.
A Hunter (2004)
Towards higher impact argumentation,
Proc. of the 19th American National Conference on Artificial Intelligence (AAAI'2004),
pages 275-280,
MIT Press.
A Hunter and R Summerton (2004)
Fusion rules for context-dependent aggregation of structured news reports,
Journal of Applied Non-classical Logic, 14(3):329-366.
E Byrne and A Hunter (2004)
Man bites dog: Looking for interesting inconsistencies in structured news reports,
Data and Knowledge Engineering,
48(3):265-285.
L Bertossi, A Hunter and T Schaub (2004)
Introduction to Inconsistency Tolerance,
in Inconsistency Tolerance. Lecture Notes in Computer Science, Volume 3300,
pages 1-14, Springer.
A Hunter and S Konieczny (2004)
Approaches to measuring inconsistent information,
in Inconsistency Tolerance. Lecture Notes in Computer Science, Volume 3300,
pages 189-234, Springer.
A Hunter and W Liu (2004)
Logical reasoning with multiple granularities of uncertainty in semi-structured information
Proceedings of the 10th International Conference on Information Processing and Management of Uncertainty in Knowledge Based Systems (IPMU'04), 1009-1016, Universita degli Studi di Perugia.
A Hunter (2004)
Logical comparison of inconsistent perspectives using scoring functions
Knowledge and Information Systems Journal, 6(5):528-543.
A Hunter (2003)
Evaluating coherence and compromise in inconsistent information
(submitted).
A Hunter (2003)
Evaluating the significance of inconsistencies,
in the Proc. of the International Joint Conference on AI (IJCAI'03),
pages 468-473, Morgan Kaufmann.
A Hunter and R Summerton (2003)
Propositional fusion rules.
In Quantitative and Qualitative Approaches to Reasoning with Uncertainty.
Lecture Notes in Computer Science, volume 2711, pages 502 - 514, Springer.
A Hunter (2003)
Probable consistency checking for sets of propositional clauses
In Quantitative and Qualitative Approaches to Reasoning with Uncertainty.
Lecture Notes in Computer Science, volume 2711, pages 464 - 476, Springer.
L Cholvy and A Hunter (2003)
Merging requirements from a set of ranked agents
Knowledge-based Systems Journal, 16(2):113-126.
A Hunter (2002)
Measuring inconsistency in knowledge via quasi-classical models
in the Proceedings of the 18th American National Conference on Artificial Intelligence (AAAI'2002),
pages 68-73, MIT Press, ISBN 0-262-51129-0.
A Hessami and A Hunter (2002)
Formalisation of weighted factor analysis
Knowledge-based Systems Journal, 15(1):377-390.
A Hunter (2002)
Logical fusion rules for merging structured news reports
Data and Knowledge Engineering, 42:23-56.
A Hunter (2002)
Merging structured text using temporal knowledge
Data and Knowledge Engineering, 41:29-66.
A Hunter (2001)
Hybrid argumentation systems for structured news reports
Knowledge Engineering Review, 16:295-329.
Ph Besnard and A Hunter (2001)
A logic-based theory of deductive arguments
Artificial Intelligence, 128:203-235.
A Hunter (2001),
A semantic tableau version of first-order quasi-classical logic.
Quantitative and Qualitative Approaches to Reasoning with Uncertainty,
Lecture Notes in Computer Science, volume 2143, pages 544-556, Springer, ISBN 3-540-42464-4.
A Hunter (2001),
Ramification analysis with structured news reports using temporal argumentation.
Proceedings of the Adventures in Argumentation Workshop (part of the Sixth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty), Institut de Recherche en Informatique de Toulouse.
A Hunter (2001)
A default logic-based framework
for context-dependent reasoning with lexical knowledge
Journal of Intelligent Information Systems, 16(1):62-87.
A Hunter (2000)
Ramification analysis using causal mapping,
Data and Knowledge Engineering, 32, 1-27.
A Hunter (2000)
Merging potentially inconsistent items of structured text
Data and Knowledge Engineering, 34(3): 305-332.
A Hunter (2000)
Reasoning with inconsistency in structured text,
Knowledge Engineering Review, 15(4):317-337.
A Hunter (2000)
Reasoning with conflicting information using quasi-classical logic,
Journal of Logic and Computation, 10(5):677-703.
Ph Besnard and A Hunter (2000)
Towards a logic-based theory of argumentation
in the Proceedings of
the 17th American National Conference on Artificial Intelligence (AAAI'2000),
pages 411 - 416,
MIT Press, ISBN 0-262-51112-6.
D Gabbay and A Hunter (1999)
Negation and contradiction,
in What is Negation?, edited by D Gabbay and H Wansing,
volume 13 of the Applied Logic Series, Kluwer, ISBN 0-7923-5569-5.
A Hunter and L Marten (1999),
Context-sensitive reasoning with lexical and world knowledge,
in SOAS Working Papers in Linguisitcs,
edited by Gary-John Scott, Evelynne Ki-Mei Mui and Hyun-Joo Lee,
volume 9, 373-386,
SOAS, London, ISBN 0-7286-0310-1.
A Hunter and P McBrien (1998)
Default databases:
Extending the approach of deductive databases using default logic,
Data and Knowledge Engineering, 26, 135-160.
A Hunter and B Nuseibeh (1998)
Managing inconsistent specifications: Reasoning, analysis and action,
ACM Transactions on Software Engineering and Methodology, 7(4), 335-367.
Ph Besnard and A Hunter (1998)
Introduction to actual and potential contradictions,
in volume 2 of the Handbook of Defeasible Reasoning and Uncertain Information, edited by D Gabbay and Ph Smets,
Kluwer, ISBN 0-7923-5161.
A Hunter (1998)
Paraconsistent logics,
in volume 2 of the Handbook of Defeasible Reasoning and Uncertain Information, edited by D Gabbay and Ph Smets, Kluwer, ISBN 0-7923-5161.
A Hunter and S Parsons (1998)
Introduction to uncertainty formalisms,
in Applications of Uncertainty Formalisms,
Lecture Notes in Computer Science, volume 1455,
Springer, ISBN 3-540-65312-0.
S Parsons and A Hunter (1998)
Review of uncertainty formalisms,
in Applications of Uncertainty Formalisms,
Lecture Notes in Computer Science, volume 1455,
Springer, ISBN 3-540-65312-0.
A Hunter and B Nuseibeh (1997)
Analysing inconsistent specifications, Proceedings of the Third IEEE International Symposium on Requirements Engineering (RE'97), pages 78-86,
IEEE Computer Society Press.
Ph Besnard, L Farinas del Cerro, D Gabbay and A Hunter (1997)
Logical handling of default and inconsistent information, in Uncertainty Management in Information Systems, edited by A Motro and Ph Smets,
pages 325-341, Kluwer, ISBN 0-7923-9803-3.
A Hunter (1997)
Using default logic for lexical knowledge,
Qualitative and Quantitative Practical Reasoning, (ECSQARU'97/FAPR'97),
Lecture Notes in Computer Science, volume 1244, pages 322-335, Springer,
ISBN 30540-63095-3.
L Cholvy and A Hunter (1997)
Information fusion in logic: A brief overview,
Qualitative and Quantitative Practical Reasoning, (ECSQARU'97/FAPR'97),
Lecture Notes in Computer Science, volume 1244, pages 86-95, Springer, ISBN 30540-63095-3.
H Barringer, D Brough, M Fisher, D Gabbay, G Gough, I Hodkinson, A Hunter, P McBrien, R Owens, and M Reynolds (1996)
Languages, meta-languages, and MetateM: A discussion paper,
Journal of the Interest Group for Pure and Applied Logic, 4(2), 255-272.
A Hunter (1996)
Intelligent text handling using default logic,
Proceedings of the Eighth IEEE International Conference on Tools with Artificial Intelligence (TAI'96), pages 34-40, IEEE Computer Society Press.
M Elvang-Goransson and A Hunter (1995)
Argumentative logics: Reasoning from classically inconsistent information, Data and Knowledge Engineering, 16, 125-145.
Ph Besnard and A Hunter (1995)
Quasi-classical logic: Non-trivializable classical reasoning from inconsistent information,
in Symbolic and Quantitative Approaches to Uncertainty (ECSQARU'95), pp44-51, edited by C Froidevaux and J Kohlas, Lecture Notes in Computer Science, volume 946, pages 44-51, Springer.
A Hunter (1995)
Using default logic in information retrieval,
Symbolic and Quantitative Approaches to Uncertainty
(ECSQARU'95), edited by C Froidevaux and J Kohlas, Lecture Notes in Computer Science, volume 946, pages 235-242, Springer.
A Finkelstein, D Gabbay, A Hunter, J Kramer and B Nuseibeh (1994)
Inconsistency handling in multi-perspective specifications,
IEEE Transactions on Software Engineering, 20(8), 569-578.
A Hunter (1994)
Defeasible reasoning with structured information,
in Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning (KR'94), edited by J Doyle, E Sandewall, and P Torasso, pages 281-292, Morgan Kaufmann.
J Cussens, A Hunter, and A Srinivasan (1993)
Generating explicit orderings for preference-based non-monotonic logics,
in the Proceedings of the American National Conference on Artificial Intelligence (AAAI'93), pages 420-425, MIT Press.
D Gabbay and A Hunter (1993)
Making inconsistency respectable 2: Meta-level handling of inconsistent data, in Symbolic and Qualitative Approaches to Reasoning and Uncertainty (ECSQARU'93), edited by M Clarke, R Kruse, and S Moral, Lecture Notes in Computer Science, volume 747, pages 129-136, Springer.
D Gabbay and A Hunter (1993)
Restricted access logics for inconsistent information,
in Symbolic and Qualitative Approaches to Reasoning and Uncertainty (ECSQARU'93), edited by M Clarke, R Kruse, and S Moral, Lecture Notes in Computer Science, volume 747, pages 137-144, Springer.
D Gabbay, D Gillies, A Hunter, S Muggleton, Y Ng, and B Richards (1992) The rule based systems project: using confirmation theory and non-monotonic logics for incremental learning, in Inductive Logic Programming, edited by S Muggleton, Academic Press.
J Cussens and A Hunter (1992)
Using maximum entropy in a defeasible logic with probabilistic semantics, in Proceedings of the International Conference in Information Processing and Management of Uncertainty in Knowledge-based Systems (IPMU'92), Lecture Notes in Computer Science, volume 682, pages 43-52, Springer.
A Finkelstein, D Gabbay, A Hunter, J Kramer and B Nuseibeh (1992)
Inconsistency handling in multi-perspective specifications,
in Proceedings of the 4th European Conference on Software Engineering (ESEC'92), edited by Ian Sommerville and M Paul, Lecture Notes in Computer Science, volume 717, pages 84-99, Springer.
A Hunter (1992) A conceptualization of preferences in non-monotonic proof-theory, in Logics in Artificial Intelligence (JELIA'92), edited by D Pearce and G Wagner, Lecture Notes in Computer Science, volume 633, pages 174-188, Springer.
A Hunter (1991) Developments in artificial intelligence reasoning,
in Artificial Intelligence in Engineering, edited by G Winstanley, pages 295-335, John Wiley.
D Gabbay, I Hodkinson and A Hunter (1991) Using the temporal logic RDL for design specifications, in Concurrency: Theory, Language and Architecture, pp64-78, Lecture Notes in Computer Science, volume 491, pages 64-78, Springer.
H Barringer, M Fisher, D Gabbay and A Hunter (1991)
Meta-reasoning in executable temporal logic,
in Principles of Knowledge Representation and Reasoning (KR'91), edited by J Allen, R Fikes, and E Sandewall, pages 40-49, Morgan Kaufmann.
A Hunter (1991) Execution of defeasible temporal clauses for building preferred models, in Foundations of Artificial Intelligence Research, edited by Ph. Jorrand and J Kelemen, Lecture Notes in Computer Science, volume 535, pages 84-98, Springer.
D Gabbay and A Hunter (1991)
Making inconsistency respectable 1: A logical framework for inconsistency in reasoning,
in Foundations of Artificial Intelligence Research, edited by Ph. Jorrand and J Kelemen, Lecture Notes in Computer Science, volume 535, pages 19-32, Springer.
J Cussens and A Hunter (1991) Using defeasible logic for a window on a probabilistic database: Some preliminary notes, in Symbolic and Quantitative Approaches for Uncertainty (ECSQAU'91), pp146-152, edited by R Kruse and P Siegel, Lecture Notes in Computer Science, volume 548, pages 146-152, Springer.