Anthony Hunter

Orcid: 0000-0001-5602-7446

Affiliations:
  • University College London, UK


According to our database1, Anthony Hunter authored at least 214 papers between 1989 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Unsupervised Learning of Graph from Recipes.
CoRR, 2024

PizzaCommonSense: Learning to Model Commonsense Reasoning about Intermediate Steps in Cooking Recipes.
CoRR, 2024

2023
Logic, arguments and inconsistencies: an introduction to the festschrift in honour of Philippe Besnard.
J. Appl. Non Class. Logics, October, 2023

Automated tabulation of clinical trial results: A joint entity and relation extraction approach with transformer-based language representations.
Artif. Intell. Medicine, October, 2023

Syntactic reasoning with conditional probabilities in deductive argumentation.
Artif. Intell., August, 2023

Semantic inconsistency measures using 3-valued logics.
Int. J. Approx. Reason., May, 2023

Identifying Linear Relational Concepts in Large Language Models.
CoRR, 2023

Some Options for Instantiation of Bipolar Argument Graphs with Deductive Arguments.
CoRR, 2023

A Graphical Formalism for Commonsense Reasoning with Recipes.
CoRR, 2023

Neuro-symbolic Commonsense Social Reasoning.
CoRR, 2023

Strategic argumentation dialogues for persuasion: Framework and experiments based on modelling the beliefs and concerns of the persuadee.
Argument Comput., 2023

Understanding the Cooking Process with English Recipe Text.
Proceedings of the Findings of the Association for Computational Linguistics: ACL 2023, 2023

2022
Argument strength in probabilistic argumentation based on defeasible rules.
Int. J. Approx. Reason., 2022

Automated Reasoning with Epistemic Graphs Using SAT Solvers.
Proceedings of the Computational Models of Argument, 2022

Understanding Enthymemes in Deductive Argumentation Using Semantic Distance Measures.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

Machine Learning for Utility Prediction in Argument-Based Computational Persuasion.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021
Repurposing of Resources: from Everyday Problem Solving through to Crisis Management.
CoRR, 2021

Argument Strength in Probabilistic Argumentation Using Confirmation Theory.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2021

Addressing Popular Concerns Regarding COVID-19 Vaccination with Natural Language Argumentation Dialogues.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2021

2020
Epistemic graphs for representing and reasoning with positive and negative influences of arguments.
Artif. Intell., 2020

Reasoning with Inconsistent Knowledge using the Epistemic Approach to Probabilistic Argumentation.
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

A Bayesian Probabilistic Argumentation Framework for Learning from Online Reviews.
Proceedings of the 32nd IEEE International Conference on Tools with Artificial Intelligence, 2020

Generating Instantiated Argument Graphs from Probabilistic Information.
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Analysing Product Reviews Using Probabilistic Argumentation.
Proceedings of the Computational Models of Argument, 2020

Learning Constraints for the Epistemic Graphs Approach to Argumentation.
Proceedings of the Computational Models of Argument, 2020

A Persuasive Chatbot Using a Crowd-Sourced Argument Graph and Concerns.
Proceedings of the Computational Models of Argument, 2020

Aggregation of Perspectives Using the Constellations Approach to Probabilistic Argumentation.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019
Classifying Inconsistency Measures Using Graphs.
J. Artif. Intell. Res., 2019

Delegated updates in epistemic graphs for opponent modelling.
Int. J. Approx. Reason., 2019

The Role of Non-monotonic Reasoning in Future Development of Artificial Intelligence (Dagstuhl Perspectives Workshop 19072).
Dagstuhl Reports, 2019

Polynomial-time Updates of Epistemic States in a Fragment of Probabilistic Epistemic Argumentation (Technical Report).
CoRR, 2019

Comfort or safety? Gathering and using the concerns of a participant for better persuasion.
Argument Comput., 2019

Towards Computational Persuasion via Natural Language Argumentation Dialogues.
Proceedings of the KI 2019: Advances in Artificial Intelligence, 2019

Impact of Argument Type and Concerns in Argumentation with a Chatbot.
Proceedings of the 31st IEEE International Conference on Tools with Artificial Intelligence, 2019

Polynomial-Time Updates of Epistemic States in a Fragment of Probabilistic Epistemic Argumentation.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2019

A Model-Based Theorem Prover for Epistemic Graphs for Argumentation.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2019

Knowledge Acquisition and Corpus for Argumentation-Based Chatbots.
Proceedings of the 3rd Workshop on Advances In Argumentation In Artificial Intelligence co-located with the 18th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2019), 2019

2018
Empirical evaluation of abstract argumentation: Supporting the need for bipolar and probabilistic approaches.
Int. J. Approx. Reason., 2018

Non-monotonic Reasoning in Deductive Argumentation.
CoRR, 2018

Domain Modelling in Computational Persuasion for Behaviour Change in Healthcare.
CoRR, 2018

Towards a framework for computational persuasion with applications in behaviour change.
Argument Comput., 2018

Updating Belief in Arguments in Epistemic Graphs.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Strategic Dialogical Argumentation Using Multi-criteria Decision Making with Application to Epistemic and Emotional Aspects of Arguments.
Proceedings of the Foundations of Information and Knowledge Systems, 2018

Epistemic Attack Semantics.
Proceedings of the Computational Models of Argument, 2018

Biparty Decision Theory for Dialogical Argumentation.
Proceedings of the Computational Models of Argument, 2018

Argument Harvesting Using Chatbots.
Proceedings of the Computational Models of Argument, 2018

Chatbot Design for Argument Harvesting.
Proceedings of the Computational Models of Argument, 2018

Learning and Updating User Models for Subpopulations in Persuasive Argumentation Using Beta Distributions.
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

Towards a Unified Framework for Syntactic Inconsistency Measures.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017
Foundations for a logic of arguments.
J. Appl. Non Class. Logics, 2017

Probabilistic Reasoning with Abstract Argumentation Frameworks.
J. Artif. Intell. Res., 2017

Analysing inconsistent information using distance-based measures.
Int. J. Approx. Reason., 2017

Measuring Inconsistency in Argument Graphs.
CoRR, 2017

Towards Artificial Argumentation.
AI Mag., 2017

Localising iceberg inconsistencies.
Artif. Intell., 2017

Belief in Attacks in Epistemic Probabilistic Argumentation.
Proceedings of the Scalable Uncertainty Management - 11th International Conference, 2017

Invited Talk: Computational Persuasion with Applications in Behaviour Change.
Proceedings of the New Frontiers in Artificial Intelligence, 2017

Analysis of Medical Arguments from Patient Experiences Expressed on the Social Web.
Proceedings of the Advances in Artificial Intelligence: From Theory to Practice, 2017

Empirical Methods for Modelling Persuadees in Dialogical Argumentation.
Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

Updating Probabilistic Epistemic States in Persuasion Dialogues.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2017

Encoding monotonic multiset preferences using CI-nets.
Proceedings of the Datenbanksysteme für Business, 2017

Strategic Sequences of Arguments for Persuasion Using Decision Trees.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
Optimization of dialectical outcomes in dialogical argumentation.
Int. J. Approx. Reason., 2016

Encoding monotonic multi-set preferences using CI-nets: preliminary report.
CoRR, 2016

Working on the argument pipeline: Through flow issues between natural language argument, instantiated arguments, and argumentation frameworks.
Argument Comput., 2016

Persuasion Dialogues via Restricted Interfaces Using Probabilistic Argumentation.
Proceedings of the Scalable Uncertainty Management - 10th International Conference, 2016

On Partial Information and Contradictions in Probabilistic Abstract Argumentation.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Computationally Viable Handling of Beliefs in Arguments for Persuasion.
Proceedings of the 28th IEEE International Conference on Tools with Artificial Intelligence, 2016

Two Dimensional Uncertainty in Persuadee Modelling in Argumentation.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Computational Persuasion with Applications in Behaviour Change.
Proceedings of the Computational Models of Argument, 2016

2015
Extraction of evidence tables from abstracts of randomized clinical trials using a maximum entropy classifier and global constraints.
CoRR, 2015

Reasons and Options for Updating an Opponent Model in Persuasion Dialogues.
Proceedings of the Theory and Applications of Formal Argumentation, 2015

Privacy-by-Norms Privacy Expectations in Online Interactions.
Proceedings of the 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2015

Modelling the Persuadee in Asymmetric Argumentation Dialogues for Persuasion.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Optimization of Probabilistic Argumentation with Markov Decision Models.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Logical Representation and Analysis for RC-Arguments.
Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015

Using Shapley Inconsistency Values for Distributed Information Systems with Uncertainty.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2015

Representing and Reasoning About Arguments Mined from Texts and Dialogues.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2015

Aggregation of Clinical Evidence Using Argumentation: A Tutorial Introduction.
Proceedings of the Foundations of Biomedical Knowledge Representation, 2015

Supporting Physicians and Patients Through Recommendation: Guidelines and Beyond.
Proceedings of the Foundations of Biomedical Knowledge Representation, 2015

2014
Measuring Inconsistency in Multi-Agent Systems.
Künstliche Intell., 2014

Probabilistic qualification of attack in abstract argumentation.
Int. J. Approx. Reason., 2014

Probabilistic Argumentation with Epistemic Extensions and Incomplete Information.
CoRR, 2014

Constructing argument graphs with deductive arguments: a tutorial.
Argument Comput., 2014

Introduction to structured argumentation.
Argument Comput., 2014

Probabilistic Strategies in Dialogical Argumentation.
Proceedings of the Scalable Uncertainty Management - 8th International Conference, 2014

Opportunities for Argument-Centric Persuasion in Behaviour Change.
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

Probabilistic Argumentation with Epistemic Extensions.
Proceedings of the International Workshop on Defeasible and Ampliative Reasoning, 2014

Probabilistic Argumentation with Incomplete Information.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Deepflow: Using Argument Schemes to Query Relational Databases.
Proceedings of the Computational Models of Argument, 2014

Probabilistic Argument Graphs for Argumentation Lotteries.
Proceedings of the Computational Models of Argument, 2014

2013
A probabilistic approach to modelling uncertain logical arguments.
Int. J. Approx. Reason., 2013

Meta-level Argumentation with Argument Schemes.
Proceedings of the Scalable Uncertainty Management - 7th International Conference, 2013

Modelling Uncertainty in Persuasion.
Proceedings of the Scalable Uncertainty Management - 7th International Conference, 2013

Analysis of Dialogical Argumentation via Finite State Machines.
Proceedings of the Scalable Uncertainty Management - 7th International Conference, 2013

Structural Properties for Deductive Argument Systems.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2013

Distance-Based Measures of Inconsistency.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2013

2012
A Relevance-theoretic Framework for Constructing and Deconstructing Enthymemes.
J. Log. Comput., 2012

Aggregating evidence about the positive and negative effects of treatments.
Artif. Intell. Medicine, 2012

Imprecise probabilistic query answering using measures of ignorance and degree of satisfaction.
Ann. Math. Artif. Intell., 2012

An Argumentation-Based Approach for Decision Making.
Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

Executable Logic for Dialogical Argumentation.
Proceedings of the ECAI 2012, 2012

Some Foundations for Probabilistic Abstract Argumentation.
Proceedings of the Computational Models of Argument, 2012

2011
Modeling and reasoning with qualitative comparative clinical knowledge.
Int. J. Intell. Syst., 2011

Algorithms for generating arguments and counterarguments in propositional logic.
Int. J. Approx. Reason., 2011

Instantiating abstract argumentation with classical logic arguments: Postulates and properties.
Artif. Intell., 2011

Weighted argument systems: Basic definitions, algorithms, and complexity results.
Artif. Intell., 2011

Measuring the Good and the Bad in Inconsistent Information.
Proceedings of the IJCAI 2011, 2011

Measuring Consistency Gain and Information Loss in Stepwise Inconsistency Resolution.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2011

2010
An XML Based Framework for Merging Incomplete and Inconsistent Statistical Information from Clinical Trials.
Proceedings of the Soft Computing in XML Data Management, 2010

A survey of formalisms for representing and reasoning with scientific knowledge.
Knowl. Eng. Rev., 2010

On the measure of conflicts: Shapley Inconsistency Values.
Artif. Intell., 2010

Using clinical preferences in argumentation about evidence from clinical trials.
Proceedings of the ACM International Health Informatics Symposium, 2010

Argumentation for Aggregating Clinical Evidence.
Proceedings of the 22nd IEEE International Conference on Tools with Artificial Intelligence, 2010

Qualitative Evidence Aggregation using Argumentation.
Proceedings of the Computational Models of Argument: Proceedings of COMMA 2010, 2010

Base Logics in Argumentation.
Proceedings of the Computational Models of Argument: Proceedings of COMMA 2010, 2010

Inducing Probability Distributions from Knowledge Bases with (In)dependence Relations.
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009
An argument-based approach to reasoning with clinical knowledge.
Int. J. Approx. Reason., 2009

Encoding deductive argumentation in quantified Boolean formulae.
Artif. Intell., 2009

An inquiry dialogue system.
Auton. Agents Multi Agent Syst., 2009

An Argument-Based Approach to Using Multiple Ontologies.
Proceedings of the Scalable Uncertainty Management, Third International Conference, 2009

The Non-archimedean Polynomials and Merging of Stratified Knowledge Bases.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2009

Knowledge Base Stratification and Merging Based on Degree of Support.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2009

An Algorithm for Generating Arguments in Classical Predicate Logic.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2009

Inconsistency tolerance in weighted argument systems.
Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

Argumentation about Treatment Efficacy.
Proceedings of the Knowledge Representation for Health-Care: Data, 2009

Incorporating Classical Logic Argumentation into Policy-based Inconsistency Management in Relational Databases.
Proceedings of the Uses of Computational Argumentation, 2009

Argumentation Based on Classical Logic.
Proceedings of the Argumentation in Artificial Intelligence, 2009

2008
A Context-Dependent Algorithm for Merging Uncertain Information in Possibility Theory.
IEEE Trans. Syst. Man Cybern. Part A, 2008

Implementing semantic merging operators using binary decision diagrams.
Int. J. Approx. Reason., 2008

Analysing inconsistent first-order knowledgebases.
Artif. Intell., 2008

Measuring the Ignorance and Degree of Satisfaction for Answering Queries in Imprecise Probabilistic Logic Programs.
Proceedings of the Scalable Uncertainty Management, Second International Conference, 2008

Measuring Inconsistency through Minimal Inconsistent Sets.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Merging First-Order Knowledge Using Dilation Operators.
Proceedings of the Foundations of Information and Knowledge Systems, 2008

Algorithms for Effective Argumentation in Classical Propositional Logic: A Connection Graph Approach.
Proceedings of the Foundations of Information and Knowledge Systems, 2008

Argumentation Using Temporal Knowledge.
Proceedings of the Computational Models of Argument: Proceedings of COMMA 2008, 2008

Focused search for Arguments from Propositional Knowledge.
Proceedings of the Computational Models of Argument: Proceedings of COMMA 2008, 2008

Using enthymemes in an inquiry dialogue system.
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

Reasoning about the Appropriateness of Proponents for Arguments.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

Elements of Argumentation.
MIT Press, ISBN: 9780262250986, 2008

Elements of Argumentation.
MIT Press, ISBN: 978-0-262-02643-7, 2008

2007
Incomplete Statistical Information Fusion and Its Application to Clinical Trials Data.
Proceedings of the Scalable Uncertainty Management, First International Conference, 2007

Measuring Incoherence in Description Logic-Based Ontologies.
Proceedings of the Semantic Web, 2007

Harnessing Ontologies for Argument-Based Decision-Making in Breast Cancer.
Proceedings of the 19th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2007), 2007

Approaches to Constructing a Stratified Merged Knowledge Base.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2007

Elements of Argumentation.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2007

A generative inquiry dialogue system.
Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

Real Arguments Are Approximate Arguments.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006
A knowledge-based approach to merging information.
Knowl. Based Syst., 2006

Merging uncertain information with semantic heterogeneity in XML.
Knowl. Inf. Syst., 2006

Measuring inconsistency in knowledgebases.
J. Intell. Inf. Syst., 2006

Fusion rules for merging uncertain information.
Inf. Fusion, 2006

Merging news reports that describe events.
Data Knowl. Eng., 2006

How to act on inconsistent news: Ignore, resolve, or reject.
Data Knowl. Eng., 2006

Shapley Inconsistency Values.
Proceedings of the Proceedings, 2006

Knowledgebase Compilation for Efficient Logical Argumentation.
Proceedings of the Proceedings, 2006

Contouring of Knowledge for Intelligent Searching for Arguments.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

2005
Evaluating violations of expectations to find exceptional information.
Data Knowl. Eng., 2005

Measuring the Quality of Uncertain Information Using Possibilistic Logic.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2005

Approaches to Measuring Inconsistent Information.
Proceedings of the Inconsistency Tolerance [result from a Dagstuhl seminar], 2005

Introduction to Inconsistency Tolerance.
Proceedings of the Inconsistency Tolerance [result from a Dagstuhl seminar], 2005

Presentation of Arguments and Counterarguments for Tentative Scientific Knowledge.
Proceedings of the Argumentation in Multi-Agent Systems, Second International Workshop, 2005

Practical First-Order Argumentation.
Proceedings of the Proceedings, 2005

2004
Logical Comparison of Inconsistent Perspectives using Scoring Functions.
Knowl. Inf. Syst., 2004

Fusion Rules for Context-Dependent Aggregation of Structured News Reports.
J. Appl. Non Class. Logics, 2004

Man bites dog: looking for interesting inconsistencies in structured news reports.
Data Knowl. Eng., 2004

Towards higher impact argumentation.
Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004

Making Argumentation More Believable.
Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

2003
Merging requirements from a set of ranked agents.
Knowl. Based Syst., 2003

Evaluating Significance of Inconsistencies.
Proceedings of the IJCAI-03, 2003

Probable Consistency Checking for Sets of Propositional Clauses.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2003

Propositional Fusion Rules.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2003

2002
Hans Kleine Büning and Theodor Lettmann, Propositional Logic: Deduction and Algorithms.
Stud Logica, 2002

Formalization of Weighted Factors Analysis.
Knowl. Based Syst., 2002

Logical fusion rules for merging structured news reports.
Data Knowl. Eng., 2002

Merging structured text using temporal knowledge.
Data Knowl. Eng., 2002

Measuring Inconsistency in Knowledge via Quasi-Classical Models.
Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002

2001
Hybrid argumentation systems for structured news reports.
Knowl. Eng. Rev., 2001

A Default Logic Based Framework for Context-Dependent Reasoning with Lexical Knowledge.
J. Intell. Inf. Syst., 2001

Fusion: General concepts and characteristics.
Int. J. Intell. Syst., 2001

A logic-based theory of deductive arguments.
Artif. Intell., 2001

A Semantic Tableau Version of First-Order Quasi-Classical Logic.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2001

2000
Reasoning with contradictory information using quasi-classical logic.
J. Log. Comput., 2000

Reasoning with inconsistency in structured text.
Knowl. Eng. Rev., 2000

Merging potentially inconsistent items of structured text.
Data Knowl. Eng., 2000

Ramification Analysis Using Causal Mapping.
Data Knowl. Eng., 2000

Towards a Logic-Based Theory of Argumentation.
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

1998
Managing Inconsistent Specifications: Reasoning, Analysis, and Action.
ACM Trans. Softw. Eng. Methodol., 1998

Non-monotonic reasoning by Grigoris Antoniou, MIT Press, 1997, £29.50, ISBN 0-262-01157-3.
Knowl. Eng. Rev., 1998

Default Databases: Extending the Approach of Deductive Databases Using Default Logic.
Data Knowl. Eng., 1998

A review of uncertainty handling formalisms.
Proceedings of the Applications of Uncertainty Formalisms, 1998

Introduction to uncertainty formalisms.
Proceedings of the Applications of Uncertainty Formalisms, 1998

1997
Analyzing Inconsistent Specifications.
Proceedings of the 3rd IEEE International Symposium on Requirements Engineering (RE'97), 1997

Using Default Logic for Lexical Knowledge.
Proceedings of the Qualitative and Quantitative Practical Reasoning, 1997

Information Fusion in Logic: A Brief Overview.
Proceedings of the Qualitative and Quantitative Practical Reasoning, 1997

1996
Languages, Meta-languages and METATEM, A Discussion Paper.
Log. J. IGPL, 1996

Intelligent Text Handling Using Default Logic.
Proceedings of the Eigth International Conference on Tools with Artificial Intelligence, 1996

Logical Handling of Inconsistent and Default Information.
Proceedings of the Uncertainty Management in Information Systems: From Needs to Solution., 1996

1995
Argumentative Logics: Reasoning with Classically Inconsistent Information.
Data Knowl. Eng., 1995

Using Default Logic in Information Retrieval.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1995

Quasi-classical Logic: Non-trivializable classical reasoning from incosistent information.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1995

1994
Inconsistency Handling in Multperspective Specifications.
IEEE Trans. Software Eng., 1994

Defeasible Reasoning with Structured Information.
Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, 1994

1993
Inconsistency Handling in Multi-Perspective Specifications.
Proceedings of the Software Engineering, 1993

Restricted Access Logics for Inconsistent Information.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1993

Making Inconsistency Respectable: Part 2 - Meta-level handling of inconsistency.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1993

Generating Explicit Orderings for Non-monotonic Logics.
Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993

1992
A Conceptualization of Preferences in Non-Monotonic Proof Theory.
Proceedings of the Logics in AI, European Workshop, 1992

Using Maximum Entropy in a Defeasible Logic with Probabilistic Semantics.
Proceedings of the IPMU '92, 1992

1991
Meta-Reasoning in Executable Temporal Logic.
Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, 1991

Execution of defeasible temporal clauses for building preferred models.
Proceedings of the Fundamentals of Artificial Intelligence Research, 1991

Making inconsistency respectable: a logical framework for inconsistency in reasoning.
Proceedings of the Fundamentals of Artificial Intelligence Research, 1991

Using Defeasible Logic for a Window on a Probabilistic Database: Some Preliminary Notes.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1991

1989
Using the Temporal Logic RDL for Design Specifications.
Proceedings of the Concurrency: Theory, 1989


  Loading...