Semantical considerations on nonmonotonic logic
Artificial Intelligence
Some expert systems need common sense
Proc. of a symposium on Computer culture: the scientific, intellectual, and social impact of the computer
Support for policy makers: formulating legislation with the aid of logical models
ICAIL '87 Proceedings of the 1st international conference on Artificial intelligence and law
Oblog-2: A hybrid knowledge representation system for defeasible reasoning
ICAIL '87 Proceedings of the 1st international conference on Artificial intelligence and law
Reasoning about change: time and causation from the standpoint of artificial intelligence
Reasoning about change: time and causation from the standpoint of artificial intelligence
Defeasible reasoning and decision support systems
Decision Support Systems
A logical framework for default reasoning
Artificial Intelligence
Exploring artificial intelligence
Deep models, normative reasoning and legal expert systems
ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
Logic programs with classical negation
Logic programming
Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
SIBYL: A qualitative decision management system
Artificial intelligence at MIT expanding frontiers
A tool in modelling disagreement in law: preferring the most specific argument
ICAIL '91 Proceedings of the 3rd international conference on Artificial intelligence and law
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Warren's abstract machine: a tutorial reconstruction
Warren's abstract machine: a tutorial reconstruction
Aquanet: a hypertext tool to hold your knowledge in place
HYPERTEXT '91 Proceedings of the third annual ACM conference on Hypertext
A mathematical treatment of defeasible reasoning and its implementation
Artificial Intelligence
Conditional entailment: bridging two approaches to default reasoning
Artificial Intelligence
Resolving ambiguity in nonmonotonic inheritance hierarchies
Artificial Intelligence
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
BankXX: a program to generate argument through case-base research
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
A simple computational model for nonmonotonic and adversarial legal reasoning
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
An argumentation semantics for logic programming with explicit negation
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
An assumption-based framework for non-monotonic reasoning
Proceedings of the second international workshop on Logic programming and non-monotonic reasoning
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Making argument systems computationally attractive: argument construction and maintenance
Proceedings of the 13th international conference on Computer science 2 : research and applications: research and applications
Philosophical foundations of deontic logic and the logic of defeasible conditionals
Deontic logic in computer science
Argumentative logics: reasoning with classically inconsistent information
Data & Knowledge Engineering
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
Teleological reasoning in reason-based logic
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
Hart's critics on defeasible concepts and ascriptivism
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
PLAID: proactive legal assistance
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
DiaLaw: a dialogical framework for modeling legal reasoning
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
New HELIC-II: a software tool for legal reasoning
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
Nonmonotonic reasoning, conditional objects and possibility theory
Artificial Intelligence
An abstract, argumentation-theoretic approach to default reasoning
Artificial Intelligence
The Zeno argumentation framework
Proceedings of the 6th international conference on Artificial intelligence and law
Proceedings of the 6th international conference on Artificial intelligence and law
Evaluating a learning environment for case-based argumentation skills
Proceedings of the 6th international conference on Artificial intelligence and law
Legal merit arguments, legal semiotics and the design of legal knowledge-based systems
Proceedings of the 6th international conference on Artificial intelligence and law
Progress on Room 5: a testbed for public interactive semi-formal legal argumentation
Proceedings of the 6th international conference on Artificial intelligence and law
Some arguments about legal arguments
Proceedings of the 6th international conference on Artificial intelligence and law
Design rationale
Reaching agreements through argumentation: a logical model and implementation
Artificial Intelligence
Automated argument assistance for lawyers
ICAIL '99 Proceedings of the 7th international conference on Artificial intelligence and law
Cognitive Carpentry: A Blueprint for how to Build a Person
Cognitive Carpentry: A Blueprint for how to Build a Person
Modeling Legal Arguments: Reasoning with Cases and Hypotheticals
Modeling Legal Arguments: Reasoning with Cases and Hypotheticals
Understanding Editorial Text: A Computer Model of Argument Comprehension
Understanding Editorial Text: A Computer Model of Argument Comprehension
A Unified Framework for Hypothetical and Practical Reasoning (1): Theoretical Foundations
FAPR '96 Proceedings of the International Conference on Formal and Applied Practical Reasoning
A System for Defeasible Argumentation, with Defeasible Priorities
FAPR '96 Proceedings of the International Conference on Formal and Applied Practical Reasoning
An Argumentation Based Framework for Defeasible and Qualitative Reasoning
SBIA '96 Proceedings of the 13th Brazilian Symposium on Artificial Intelligence: Advances in Artificial Intelligence
Computing the Acceptability Semantics
LPNMR '95 Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning
EVID: A System for Interactive Defeasible Reasoning
EVID: A System for Interactive Defeasible Reasoning
A mathematical treatment of defeasible reasoning and its implementation
A mathematical treatment of defeasible reasoning and its implementation
Defeasible reasoning with variable degrees of justification
Artificial Intelligence
Representing Epistemic Uncertainty by Means of Dialectical Argumentation
Annals of Mathematics and Artificial Intelligence
Explanation and Argumentation Capabilities: Towards the Creation of More Persuasive Agents
Artificial Intelligence Review
Relating defeasible and normal logic programming through transformation properties
Theoretical Computer Science
An Argumentation Framework for Merging Conflicting Knowledge Bases
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Dialectical Proof Theories for the Credulous Preferred Semantics of Argumentation Frameworks
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Towards interest-based negotiation
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Argument transformation for growing agents with mobility
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Artificial argument assistants for defeasible argumentation
Artificial Intelligence - Special issue on AI and law
Hybrid argumentation systems for structured news reports
The Knowledge Engineering Review
Argument-based applications to knowledge engineering
The Knowledge Engineering Review
Defeasible logic programming: an argumentative approach
Theory and Practice of Logic Programming
A Logic of Multiple-Valued Argumentation
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Logic of Argumentation based on Tetralemma with an Eastern Mind
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3
Argumentation-based negotiation
The Knowledge Engineering Review
Using arguments for making decisions: a possibilistic logic approach
UAI '04 Proceedings of the 20th conference on Uncertainty in artificial intelligence
A logic programming framework for possibilistic argumentation with vague knowledge
UAI '04 Proceedings of the 20th conference on Uncertainty in artificial intelligence
Theory and Practice of Logic Programming
Interoperability from electronic commerce to litigation using XML rules
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
Semantics for a theory of defeasible reasoning
Annals of Mathematics and Artificial Intelligence
Argumentation and the Dynamics of Warranted Beliefs in Changing Environments
Autonomous Agents and Multi-Agent Systems
Guest Editorial: Argumentation in Multi-Agent Systems
Autonomous Agents and Multi-Agent Systems
Dialectic proof procedures for assumption-based, admissible argumentation
Artificial Intelligence
A metalogic formalization of legal argumentation as game trees with defeasible reasoning
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Towards an argument interchange format
The Knowledge Engineering Review
Transforming Natural Arguments in Araucaria to Formal Arguments in LMA
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Reasoning about attitudes of complaining customers
Knowledge-Based Systems
Argument-based critics and recommenders: a qualitative perspective on user support systems
Data & Knowledge Engineering - Special issue: WIDM 2004
On the evaluation of argumentation formalisms
Artificial Intelligence
An Integrated Argumentation Environment for Arguing Agents
WI '06 Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence
An argumentation framework for merging conflicting knowledge bases
International Journal of Approximate Reasoning
Knowledge and information distribution leveraged by intelligent agents
Knowledge and Information Systems
Argumentation in artificial intelligence
Artificial Intelligence
An executable specification of a formal argumentation protocol
Artificial Intelligence
Laying the foundations for a World Wide Argument Web
Artificial Intelligence
Argument diagramming in logic, law and artificial intelligence
The Knowledge Engineering Review
Guest Editors' Introduction: Argumentation Technology
IEEE Intelligent Systems
An Argumentation Framework for Communities of Web Services
IEEE Intelligent Systems
International Journal of Approximate Reasoning
Modelling coalitions: ATL + argumentation
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
A dialogue mechanism for public argumentation using conversation policies
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 1
Alternative Dispute Resolution in Virtual Organizations
Engineering Societies in the Agents World VIII
ICCS '08 Proceedings of the 16th international conference on Conceptual Structures: Knowledge Visualization and Reasoning
Folk Arguments, Numerical Taxonomy and Case-Based Reasoning
ECCBR '08 Proceedings of the 9th European conference on Advances in Case-Based Reasoning
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Handling Ignorance in Argumentation: Semantics of Partial Argumentation Frameworks
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Applying the Logic of Multiple-Valued Argumentation to Social Web: SNS and Wikipedia
PRIMA '08 Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems
Strategic Agent Communication: An Argumentation-Driven Approach
Declarative Agent Languages and Technologies VI
Argumentation-Based Information Exchange in Prediction Markets
Argumentation in Multi-Agent Systems
An Argumentative Approach for Modelling Coalitions Using ATL
Argumentation in Multi-Agent Systems
A Dialogue Mechanism for Public Argumentation Using Conversation Policies
Argumentation in Multi-Agent Systems
A review of current defeasible reasoning implementations
The Knowledge Engineering Review
Dialogue games that agents play within a society
Artificial Intelligence
Agent Dialogue as Partial Argumentation and Its Fixpoint Semantics
Agent Computing and Multi-Agent Systems
Automatic Argumentation Detection and its Role in Law and the Semantic Web
Proceedings of the 2009 conference on Law, Ontologies and the Semantic Web: Channelling the Legal Information Flood
Towards Representing and Querying Arguments on the Semantic Web
Proceedings of the 2006 conference on Computational Models of Argument: Proceedings of COMMA 2006
An algorithm to compute minimally grounded and admissible defence sets in argument systems
Proceedings of the 2006 conference on Computational Models of Argument: Proceedings of COMMA 2006
On Acceptability in Abstract Argumentation Frameworks with an Extended Defeat Relation
Proceedings of the 2006 conference on Computational Models of Argument: Proceedings of COMMA 2006
The Logic of Multiple-Valued Argumentation and its Applications to Web TechnologyExtended Abstract
Proceedings of the 2006 conference on Computational Models of Argument: Proceedings of COMMA 2006
Legal rules and argumentation in a metalogic framework
Proceedings of the 2007 conference on Legal Knowledge and Information Systems: JURIX 2007: The Twentieth Annual Conference
A Common Framework for Board Games and Argumentation Games
Proceedings of the 2009 conference on Information Modelling and Knowledge Bases XX
On Warranted Inference in Possibilistic Defeasible Logic Programming
Proceedings of the 2005 conference on Artificial Intelligence Research and Development
A Level-based Approach to Computing Warranted Arguments in Possibilistic Defeasible Programming
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Focused search for arguments from propositional knowledge
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Argumentation Using Temporal Knowledge
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Arguments in OWL: A Progress Report
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Argument Theory Change: Revision Upon Warrant
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Agent Dialogue as Partial Uncertain Argumentation and its Fixpoint Semantics
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Recommender System Technologies based on Argumentation 1
Proceedings of the 2007 conference on Emerging Artificial Intelligence Applications in Computer Engineering: Real Word AI Systems with Applications in eHealth, HCI, Information Retrieval and Pervasive Technologies
An Argument-Based Approach to Deal with Wastewater Discharges
Proceedings of the 2007 conference on Artificial Intelligence Research and Development
Contouring of Knowledge for Intelligent Searching for Arguments
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Arguing with Confidential Information
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
An Algorithm for Generating Arguments in Classical Predicate Logic
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Encoding deductive argumentation in quantified Boolean formulae
Artificial Intelligence
Making argumentation more believable
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
HCD 09 Proceedings of the 1st International Conference on Human Centered Design: Held as Part of HCI International 2009
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
Practical first-order argumentation
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Real arguments are approximate arguments
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Propositional argumentation and causal reasoning
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Dialectic proof procedures for assumption-based, admissible argumentation
Artificial Intelligence
An argument-based approach to reasoning with clinical knowledge
International Journal of Approximate Reasoning
Argumentation system with changes of an agent's knowledge base
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
A core ontology for requirements
Applied Ontology
Heterogeneity and Context in Semantic-Web-Enabled HCLS Systems
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part II
Syncretic Argumentation by Means of Lattice Homomorphism
PRIMA '09 Proceedings of the 12th International Conference on Principles of Practice in Multi-Agent Systems
A taxonomy of argumentation models used for knowledge representation
Artificial Intelligence Review
An argumentative reasoning service for deliberative agents
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
CRIWG'07 Proceedings of the 13th international conference on Groupware: design implementation, and use
Tracing the rationale behind UML model change through argumentation
ER'07 Proceedings of the 26th international conference on Conceptual modeling
Aggregation of attack relations: a social-choice theoretical analysis of defeasibility criteria
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
An alternative foundation for DeLP: defeating relations and truth values
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Algorithms for effective argumentation in classical propositional logic: a connection graph approach
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Defeasible reasoning and partial order planning
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
An integrated argumentation environment for arguing agents
KES-AMSTA'08 Proceedings of the 2nd KES International conference on Agent and multi-agent systems: technologies and applications
A hybrid argumentation of symbolic and neural net argumentation (Part I)
ArgMAS'07 Proceedings of the 4th international conference on Argumentation in multi-agent systems
A hybrid argumentation of symbolic and neural net argumentation (Part II)
ArgMAS'07 Proceedings of the 4th international conference on Argumentation in multi-agent systems
The foundations of DeLP: defeating relations, games and truth values
Annals of Mathematics and Artificial Intelligence
The Knowledge Engineering Review
A characterization of collective conflict for defeasible argumentation
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Argument Theory Change Through Defeater Activation
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
An Argumentation-based Approach to Database Repair
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Sets of boolean connectives that make argumentation easier
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Change in abstract argumentation frameworks: adding an argument
Journal of Artificial Intelligence Research
A computational method for defeasible argumentation based on a recursive warrant semantics
IBERAMIA'10 Proceedings of the 12th Ibero-American conference on Advances in artificial intelligence
Extending DeLP with attack and support for defeasible rules
IBERAMIA'10 Proceedings of the 12th Ibero-American conference on Advances in artificial intelligence
Algorithms for generating arguments and counterarguments in propositional logic
International Journal of Approximate Reasoning
Instantiating abstract argumentation with classical logic arguments: Postulates and properties
Artificial Intelligence
Towards a dynamic metalogic implementation of legal argumentation
Proceedings of the 13th International Conference on Artificial Intelligence and Law
Towards argument representational tools for hybrid argumentation systems
HCII'11 Proceedings of the 1st international conference on Human interface and the management of information: interacting with information - Volume Part II
A dynamic metalogic argumentation framework implementation
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Assessing plausibility of explanation and meta-explanation in inter-human conflicts
Engineering Applications of Artificial Intelligence
A brief overview of research in argumentation systems
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Maximal ideal recursive semantics for defeasible argumentation
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Computing dialectical trees efficiently in possibilistic defeasible logic programming
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
An argument-based framework to model an agent’s beliefs in a dynamic environment
ArgMAS'04 Proceedings of the First international conference on Argumentation in Multi-Agent Systems
Argumentation in bayesian belief networks
ArgMAS'04 Proceedings of the First international conference on Argumentation in Multi-Agent Systems
Negotiation among DDeLP agents
ArgMAS'04 Proceedings of the First international conference on Argumentation in Multi-Agent Systems
Liberalizing protocols for argumentation in multi-agent systems
ArgMAS'05 Proceedings of the Second international conference on Argumentation in Multi-Agent Systems
Presentation of arguments and counterarguments for tentative scientific knowledge
ArgMAS'05 Proceedings of the Second international conference on Argumentation in Multi-Agent Systems
Argumentation-Supported information distribution in a multiagent system for knowledge management
ArgMAS'05 Proceedings of the Second international conference on Argumentation in Multi-Agent Systems
Deliberate soccer agents powered by resource-bounded argumentation
PRIMA'06 Proceedings of the 9th Pacific Rim international conference on Agent Computing and Multi-Agent Systems
Using ambient intelligence for disaster management
KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
Introduction to inconsistency tolerance
Inconsistency Tolerance
Approaches to measuring inconsistent information
Inconsistency Tolerance
An argumentation-based approach to multiple criteria decision
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
On the acceptability of arguments in bipolar argumentation frameworks
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Knowledge distribution in large organizations using defeasible logic programming
AI'05 Proceedings of the 18th Canadian Society conference on Advances in Artificial Intelligence
AASLMA: an automated argument system based on logic of multiple-valued argumentation
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part IV
How agents should exploit tetralemma with an eastern mind in argumentation
PRIMA'04 Proceedings of the 7th Pacific Rim international conference on Intelligent Agents and Multi-Agent Systems
Argumentation for decision support
DEXA'06 Proceedings of the 17th international conference on Database and Expert Systems Applications
A more expressive softgoal conceptualization for quality requirements analysis
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
A case for folk arguments in case-based reasoning
ICCBR'10 Proceedings of the 18th international conference on Case-Based Reasoning Research and Development
An argument-based multi-agent system for information integration
ArgMAS'10 Proceedings of the 7th international conference on Argumentation in Multi-Agent Systems
Argumentation system allowing suspend/resume of an argumentation line
ArgMAS'10 Proceedings of the 7th international conference on Argumentation in Multi-Agent Systems
The process of reaching agreement in meaning negotiation
Transactions on Computational Collective Intelligence VII
A semantics for dynamic argumentation frameworks
ArgMAS'11 Proceedings of the 8th international conference on Argumentation in Multi-Agent Systems
Using argumentation to reason with and about trust
ArgMAS'11 Proceedings of the 8th international conference on Argumentation in Multi-Agent Systems
ONTOarg: A decision support framework for ontology integration based on argumentation
Expert Systems with Applications: An International Journal
Proceedings of the Winter Simulation Conference
Formalizing dialectical explanation support for argument-based reasoning in knowledge-based systems
Expert Systems with Applications: An International Journal
Exhaustive simulation of consecutive mental states of human agents
Knowledge-Based Systems
A first approach to mining opinions as multisets through argumentation
AT'13 Proceedings of the Second international conference on Agreement Technologies
Demo: making plans scrutable with argumentation and natural language generation
Proceedings of the companion publication of the 19th international conference on Intelligent User Interfaces
Probabilistic qualification of attack in abstract argumentation
International Journal of Approximate Reasoning
| Hi-index | 0.01 |
Logical models of arguement formalize commonsense reasoning while taking process and computation seriously. This survey discusses the main ideas that characterize different logical models of argument. It presents the formal features of a few features of a few main approaches to the modeling of argumentation. We trace the evolution of argumentation from the mid-1980s, when argument systems emerged as an alternative to nonmonotonic formalisms based on classical logic, to the present, as argument in embedded in different complex systems for real-world applications, and allow more formal work to be done in different areas, such as AI and Law, case-based reasoning and negotiation among intelligent agents.