dblp.uni-trier.dewww.uni-trier.de

Anthony Hunter Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
93EEPaul E. Dunne, Anthony Hunter, Peter McBurney, Simon Parsons, Michael Wooldridge: Inconsistency tolerance in weighted argument systems. AAMAS (2) 2009: 851-858
92EEVasiliki Efstathiou, Anthony Hunter: An Algorithm for Generating Arguments in Classical Predicate Logic. ECSQARU 2009: 119-130
91EEAnthony Hunter, Weiru Liu: Knowledge Base Stratification and Merging Based on Degree of Support. ECSQARU 2009: 383-395
90EEJianbing Ma, Weiru Liu, Anthony Hunter: The Non-archimedean Polynomials and Merging of Stratified Knowledge Bases. ECSQARU 2009: 408-420
89EEElizabeth Black, Anthony Hunter, Jeff Z. Pan: An Argument-Based Approach to Using Multiple Ontologies. SUM 2009: 68-79
88EEPhilippe Besnard, Anthony Hunter, Stefan Woltran: Encoding deductive argumentation in quantified Boolean formulae. Artif. Intell. 173(15): 1406-1423 (2009)
87EEElizabeth Black, Anthony Hunter: An inquiry dialogue system. Autonomous Agents and Multi-Agent Systems 19(2): 173-209 (2009)
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
84EEElizabeth 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
81EENikos Gorogiannis, Anthony Hunter: Merging First-Order Knowledge Using Dilation Operators. FoIKS 2008: 132-150
80EEVasiliki 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
78EEAnbu Yue, Weiru Liu, Anthony Hunter: Measuring the Ignorance and Degree of Satisfaction for Answering Queries in Imprecise Probabilistic Logic Programs. SUM 2008: 386-400
77EEJohn Grant, Anthony Hunter: Analysing inconsistent first-order knowledgebases. Artif. Intell. 172(8-9): 1064-1093 (2008)
76EEAnthony 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)
75EENikos 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
73EEElizabeth Black, Anthony Hunter: A generative inquiry dialogue system. AAMAS 2007: 241
72EEAnthony Hunter: Elements of Argumentation. ECSQARU 2007: 4
71EEAnbu Yue, Weiru Liu, Anthony Hunter: Approaches to Constructing a Stratified Merged Knowledge Base. ECSQARU 2007: 54-65
70EEMatt Williams, Anthony Hunter: Harnessing Ontologies for Argument-Based Decision-Making in Breast Cancer. ICTAI (2) 2007: 254-261
69EEGuilin Qi, Anthony Hunter: Measuring Incoherence in Description Logic-Based Ontologies. ISWC/ASWC 2007: 381-394
68EEJianbing 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
64EEAnthony Hunter: How to act on inconsistent news: Ignore, resolve, or reject. Data Knowl. Eng. 57(3): 221-239 (2006)
63EEAnthony Hunter, Rupert Summerton: Merging news reports that describe events. Data Knowl. Eng. 59(1): 1-24 (2006)
62EEAnthony Hunter, Weiru Liu: Fusion rules for merging uncertain information. Information Fusion 7(1): 97-134 (2006)
61EEJohn Grant, Anthony Hunter: Measuring inconsistency in knowledgebases. J. Intell. Inf. Syst. 27(2): 159-184 (2006)
60EEAnthony Hunter, Weiru Liu: Merging uncertain information with semantic heterogeneity in XML. Knowl. Inf. Syst. 9(2): 230-258 (2006)
59EEAnthony 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
56EEAnthony Hunter: Presentation of Arguments and Counterarguments for Tentative Scientific Knowledge. ArgMAS 2005: 245-263
55EEAnthony Hunter, Weiru Liu: Measuring the Quality of Uncertain Information Using Possibilistic Logic. ECSQARU 2005: 415-426
54EELeopoldo E. Bertossi, Anthony Hunter, Torsten Schaub: Introduction to Inconsistency Tolerance. Inconsistency Tolerance 2005: 1-14
53EEAnthony Hunter, Sébastien Konieczny: Approaches to Measuring Inconsistent Information. Inconsistency Tolerance 2005: 191-236
52EEEmma 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
49EEAnthony Hunter: Towards higher impact argumentation. NMR 2004: 227-232
48EEEmma 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)
46EEAnthony Hunter: Logical Comparison of Inconsistent Perspectives using Scoring Functions. Knowl. Inf. Syst. 6(5): 528-543 (2004)
2003
45EEAnthony Hunter: Probable Consistency Checking for Sets of Propositional Clauses. ECSQARU 2003: 464-476
44EEAnthony Hunter, Rupert Summerton: Propositional Fusion Rules. ECSQARU 2003: 502-514
43 Anthony Hunter: Evaluating Significance of Inconsistencies. IJCAI 2003: 468-478
42EELaurence 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
40EEAnthony Hunter: Merging structured text using temporal knowledge. Data Knowl. Eng. 41(1): 29-66 (2002)
39EEAnthony Hunter: Logical fusion rules for merging structured news reports. Data Knowl. Eng. 42(1): 23-56 (2002)
38EEAli 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
36EEAnthony Hunter: A Semantic Tableau Version of First-Order Quasi-Classical Logic. ECSQARU 2001: 544-555
35EEPhilippe 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
31EEAnthony Hunter: Ramification Analysis Using Causal Mapping. Data Knowl. Eng. 32(1): 1-27 (2000)
30EEAnthony 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
26EEAnthony Hunter, Simon Parsons: Introduction to uncertainty formalisms. Applications of Uncertainty Formalisms 1998: 1-7
25EESimon Parsons, Anthony Hunter: A review of uncertainty handling formalisms. Applications of Uncertainty Formalisms 1998: 8-37
24EEAnthony Hunter, Bashar Nuseibeh: Managing Inconsistent Specifications: Reasoning, Analysis, and Action. ACM Trans. Softw. Eng. Methodol. 7(4): 335-367 (1998)
23EEAnthony 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
20EEAnthony 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
17EEHoward 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
14EEMorten 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
12EEAnthony 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
6EEAnthony 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
1EEDov M. Gabbay, Ian M. Hodkinson, Anthony Hunter: Using the Temporal Logic RDL for Design Specifications. Concurrency: Theory, Language, And Architecture 1989: 64-78

Coauthor Index

1Alain Appriou [34]
2André Ayoun [34]
3Howard Barringer [2] [17]
4Salem Benferhat [34]
5Leopoldo E. Bertossi [54] [58]
6Philippe Besnard [15] [18] [32] [34] [35] [57] [66] [86] [88]
7Elizabeth Black [73] [84] [87] [89]
8Isabelle Bloch [34]
9Derek Brough [17]
10Emma Byrne [48] [52]
11Luis Fariñas del Cerro [18]
12Laurence Cholvy [21] [34] [42]
13Roger Cooke [34]
14Frédéric Cuppens [34]
15James Cussens [5] [7] [11]
16Sylvie Doutre [86]
17Didier Dubois [34]
18Paul E. Dunne (Paul E. S. Dunne) [93]
19Vasiliki Efstathiou [80] [83] [92]
20Morten Elvang-Gøransson [14]
21Hélène Fargier [34]
22Anthony Finkelstein [8] [12]
23Michael Fisher [2] [17]
24Dov M. Gabbay [1] [2] [4] [8] [9] [10] [12] [17] [18]
25Nikos Gorogiannis [75] [81]
26Graham Gough [17]
27Michel Grabisch [34]
28John Grant [61] [77]
29Ali Hessami [38]
30Ian M. Hodkinson [1] [17]
31Sébastien Konieczny [53] [65] [79]
32Jeff Kramer [8] [12]
33Rudolf Kruse [34]
34Jérôme Lang [34]
35Weiru Liu [55] [60] [62] [68] [71] [76] [78] [90] [91]
36Jianbing Ma [68] [90]
37Nicholas Mann [82]
38Peter McBrien [17] [23]
39Peter McBurney [93]
40Serafín Moral [34]
41Bashar Nuseibeh [8] [12] [20] [24]
42Richard Owens [17]
43Jeff Z. Pan [89]
44Simon Parsons [25] [26] [27] [28] [93]
45Henri Prade [34]
46Guilin Qi [69]
47Mark Reynolds [17]
48Alessandro Saffiotti [34]
49Torsten Schaub [54] [58]
50Philippe Smets [34]
51Claudio Sossai [34]
52Ashwin Srinivasan [11]
53Rupert Summerton [44] [47] [59] [63]
54Matt Williams [70]
55Stefan Woltran [88]
56Michael Wooldridge (Michael J. Wooldridge) [93]
57Anbu Yue [71] [78]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)