Dialectic semantics for argumentation frameworks
ICAIL '99 Proceedings of the 7th international conference on Artificial intelligence and law
ACM Computing Surveys (CSUR)
ACM Computing Surveys (CSUR)
An Extension to GCWA and Query Evaluation for Disjunctive Deductive Databases
Journal of Intelligent Information Systems
An argument-based approach to reasoning with specificity
Artificial Intelligence
Logic programming and knowledge representation-the A-prolog perspective
Artificial Intelligence
On the computational complexity of assumption-based argumentation for default reasoning
Artificial Intelligence
Coherence in finite argument systems
Artificial Intelligence
Nonmonotonic Reasoning as Prioritized Argumentation
IEEE Transactions on Knowledge and Data Engineering
Production Systems with Negation as Failure
IEEE Transactions on Knowledge and Data Engineering
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
The Role of Logic in Computational Models of Legal Argument: A Critical Survey
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Representing Knowledge in A-Prolog
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Semantics for Pollock`s Defeasible Reasoning
AI '99 Proceedings of the 12th Australian Joint Conference on Artificial Intelligence: Advanced Topics in Artificial Intelligence
Solving the Qualification Problem
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Credulous and Sceptical Argument Games for Preferred Semantics
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
E-RES: Reasoning about Actions, Events and Observations
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
An Argumentation Framework of Reasoning about Actions and Change
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
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
Selected papers from the ESPRIT Project ModelAge Final Workshop on Formal Models of Agents
Solving the Ramification Problem: Causal Propagation in an Argumentation-Theoretic Approach
PRICAI '02 Proceedings of the 7th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Default Reasoning with Specificity
CL '00 Proceedings of the First International Conference on Computational Logic
Preferred Extensions of Argumentation Frameworks: Query Answering and Computation
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Argumentation based decision making for autonomous agents
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Resource-Bounded Paraconsistent Inference
Annals of Mathematics and Artificial Intelligence
Two party immediate response disputes: properties and efficiency
Artificial Intelligence
Artificial argument assistants for defeasible argumentation
Artificial Intelligence - Special issue on AI and law
Towards a formalization of disease-specific ontologies for neuroinformatics
Neural Networks - Special issue: Neuroinformatics
Hybrid argumentation systems for structured news reports
The Knowledge Engineering Review
Argument-based applications to knowledge engineering
The Knowledge Engineering Review
A tutorial on default reasoning
The Knowledge Engineering Review
Defeasible logic programming: an argumentative approach
Theory and Practice of Logic Programming
Using methods of declarative logic programming for intelligent information agents
Theory and Practice of Logic Programming
Theory and Practice of Logic Programming
Semantics for a theory of defeasible reasoning
Annals of Mathematics and Artificial Intelligence
On the meta-logic of arguments
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Dialectic proof procedures for assumption-based, admissible argumentation
Artificial Intelligence
A temporal argumentative system
AI Communications
Audiences in argumentation frameworks
Artificial Intelligence
A hybrid model for diagnosing multiple disorders
International Journal of Hybrid Intelligent Systems
On the evaluation of argumentation formalisms
Artificial Intelligence
Argumentation in artificial intelligence
Artificial Intelligence
Computing ideal sceptical argumentation
Artificial Intelligence
Computational properties of argument systems satisfying graph-theoretic constraints
Artificial Intelligence
An executable specification of a formal argumentation protocol
Artificial Intelligence
The Carneades model of argument and burden of proof
Artificial Intelligence
Computing Arguments and Attacks in Assumption-Based Argumentation
IEEE Intelligent Systems
Preferred extensions as stable models*
Theory and Practice of Logic Programming
Argumentation-based agents for eProcurement
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: industrial track
Assumption-Based Argumentation for Epistemic and Practical Reasoning
Computable Models of the Law
An Argumentation Based Semantics for Agent Reasoning
Languages, Methodologies and Development Tools for Multi-Agent Systems
ASBO: Argumentation System Based on Ontologies
CIA '08 Proceedings of the 12th international workshop on Cooperative Information Agents XII
Computational Complexity of Semi-stable Semantics in Abstract Argumentation Frameworks
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
A Game-Theoretic Measure of Argument Strength for Abstract Argumentation
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
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
Dialectical Proof Theories for the Credulous Prudent Preferred Semantics of Argumentation
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
An Abstract Theory of Argumentation That Accommodates Defeasible Reasoning About Preferences
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Towards Context Sensitive Defeasible Rules
Computational Logic in Multi-Agent Systems
Assumption-Based Argumentation for Selection and Composition of Services
Computational Logic in Multi-Agent Systems
An Argumentation Framework Based on Conditional Priorities
PRICAI '08 Proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Argumentation Based Resolution of Conflicts between Desires and Normative Goals
Argumentation in Multi-Agent Systems
A review of current defeasible reasoning implementations
The Knowledge Engineering Review
Agreeing on Institutional Goals for Multi-agent Societies
Coordination, Organizations, Institutions and Norms in Agent Systems IV
Reasoning about preferences in argumentation frameworks
Artificial Intelligence
Default logic generalized and simplified
Annals of Mathematics and Artificial Intelligence
Skepticism relations for comparing argumentation semantics
International Journal of Approximate Reasoning
A multi-agent system for service discovery, selection and negotiation
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
A Compact Argumentation System for Agent System Specification
Proceedings of the 2006 conference on STAIRS 2006: Proceedings of the Third Starting AI Researchers' Symposium
Complexity Properties of Restricted Abstract Argument Systems
Proceedings of the 2006 conference on Computational Models of Argument: Proceedings of COMMA 2006
Computing Preferred Extensions for Argumentation Systems with Sets of Attacking Arguments
Proceedings of the 2006 conference on Computational Models of Argument: Proceedings of COMMA 2006
Reasoning in Argumentation Frameworks Using Quantified Boolean Formulas
Proceedings of the 2006 conference on Computational Models of Argument: Proceedings of COMMA 2006
A dialectic procedure for sceptical, assumption-based argumentation
Proceedings of the 2006 conference on Computational Models of Argument: Proceedings of COMMA 2006
Towards argumentation-based contract negotiation
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
The Computational Complexity of Ideal Semantics I: Abstract Argumentation Frameworks
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Hybrid argumentation and its properties
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Basic influence diagrams and the liberal stable semantics
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
OSCAR: An Architecture for Generally Intelligent Agents
Proceedings of the 2008 conference on Artificial General Intelligence 2008: Proceedings of the First AGI Conference
Legal reasoning with argumentation schemes
Proceedings of the 12th International Conference on Artificial Intelligence and Law
Logic Programming with Defaults and Argumentation Theories
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Knowledge Qualification through Argumentation
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Computational Logic in Multi-Agent Systems
Reasoning about action: an argumentation-theoretic approach
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
Preferred arguments are harder to compute than stable extensions
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
On the Acceptability of Meta-arguments
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
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
The computational complexity of ideal semantics
Artificial Intelligence
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Modular argumentation for modelling legal doctrines in common law of contract
Artificial Intelligence and Law
Expert Systems with Applications: An International Journal
An argumentation-based negotiation for distributed extended logic programs
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Argumentation semantics for defeasible logics
PRICAI'00 Proceedings of the 6th Pacific Rim international conference on Artificial intelligence
Connecting databases with argumentation
INAP'01 Proceedings of the Applications of prolog 14th international conference on Web knowledge management and decision support
Approved models for normal logic programs
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Assumption-based argumentation for closed and consistent defeasible reasoning
JSAI'07 Proceedings of the 2007 conference on New frontiers in artificial intelligence
Preferences and assumption-based argumentation for conflict-free normative agents
ArgMAS'07 Proceedings of the 4th international conference on Argumentation in multi-agent systems
Using argumentation to model and deploy agent-based B2B applications
Knowledge-Based Systems
A formal analysis of the AIF in terms of the ASPIC framework
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Towards (Probabilistic) Argumentation for Jury-based Dispute Resolution
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Some design guidelines for practical argumentation systems
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Two-Agent Conflict Resolution with Assumption-Based Argumentation
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Reasoning about Preferences in Structured Extended Argumentation Frameworks
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Argumentation Mechanism Design for Preferred Semantics
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Knowledge representation and non-monotonic reasoning
A 25-year perspective on logic programming
A hybrid formal theory of arguments, stories and criminal evidence
Artificial Intelligence and Law
Change in abstract argumentation frameworks: adding an argument
Journal of Artificial Intelligence Research
Obligationes as Formal Dialogue Systems
Proceedings of the 2010 conference on STAIRS 2010: Proceedings of the Fifth Starting AI Researchers' Symposium
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
Instantiating abstract argumentation with classical logic arguments: Postulates and properties
Artificial Intelligence
Algorithms and complexity results for persuasive argumentation
Artificial Intelligence
Dynamics of argumentation systems: A division-based method
Artificial Intelligence
Closure and consistency rationalities in logic-based argumentation
Logic programming, knowledge representation, and nonmonotonic reasoning
Argumentation and answer set programming
Logic programming, knowledge representation, and nonmonotonic reasoning
Argumentation-based fault diagnosis for home networks
Proceedings of the 2nd ACM SIGCOMM workshop on Home networks
Reasoning about Exceptions to Contracts
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Maximal ideal recursive semantics for defeasible argumentation
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Argumentation frameworks with necessities
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Partial semantics of argumentation
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
On the acceptability of arguments in preference-based argumentation
UAI'98 Proceedings of the Fourteenth conference on Uncertainty in artificial intelligence
Using argumentation logic for firewall policy specification and analysis
DSOM'06 Proceedings of the 17th IFIP/IEEE international conference on Distributed Systems: operations and management
Combining credibility in a source sensitive argumentation system
SETN'06 Proceedings of the 4th Helenic conference on Advances in Artificial Intelligence
Structure-based algorithms for computing preferred arguments of defeasible knowledge bases
AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
Inference from controversial arguments
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
A logic of abstract argumentation
ArgMAS'05 Proceedings of the Second international conference on Argumentation in Multi-Agent Systems
On the meta-logic of arguments
ArgMAS'05 Proceedings of the Second international conference on Argumentation in Multi-Agent Systems
On the complexity of paraconsistent inference relations
Inconsistency Tolerance
Symmetric argumentation frameworks
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
The KGP model of agency for global computing: computational model and prototype implementation
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
Dominant decisions by argumentation agents
ArgMAS'09 Proceedings of the 6th international conference on Argumentation in Multi-Agent Systems
Computing abductive argumentation in answer set programming
ArgMAS'09 Proceedings of the 6th international conference on Argumentation in Multi-Agent Systems
Approaches to text mining arguments from legal cases
Semantic Processing of Legal Texts
Augmenting tractable fragments of abstract argumentation
Artificial Intelligence
TAFA'11 Proceedings of the First international conference on Theory and Applications of Formal Argumentation
A first step towards argumentation dialogues for discovery
TAFA'11 Proceedings of the First international conference on Theory and Applications of Formal Argumentation
Assumption-based argumentation dialogues
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
Revisiting preferences and argumentation
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Augmenting tractable fragments of abstract argumentation
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Some reflections on two current trends in formal argumentation
Logic Programs, Norms and Action
The Multivariate Algorithmic Revolution and Beyond
Supporting argumentation systems by graph representation and computation
GKR'11 Proceedings of the Second international conference on Graph Structures for Knowledge Representation and Reasoning
Minimal hypotheses: extension-based semantics to argumentation
Annals of Mathematics and Artificial Intelligence
The outcomes of logic-based argumentation systems under preferred semantics
SUM'12 Proceedings of the 6th international conference on Scalable Uncertainty Management
Aggregating evidence about the positive and negative effects of treatments
Artificial Intelligence in Medicine
Dimensions of argumentation in social media
EKAW'12 Proceedings of the 18th international conference on Knowledge Engineering and Knowledge Management
ABA: argumentation based agents
ArgMAS'11 Proceedings of the 8th international conference on Argumentation in Multi-Agent Systems
SBIA'12 Proceedings of the 21st Brazilian conference on Advances in Artificial Intelligence
A general account of argumentation with preferences
Artificial Intelligence
A generalised framework for dispute derivations in assumption-based argumentation
Artificial Intelligence
Formalizing dialectical explanation support for argument-based reasoning in knowledge-based systems
Expert Systems with Applications: An International Journal
Automata for infinite argumentation structures
Artificial Intelligence
Hi-index | 0.00 |