Logic programs with classical negation
Logic programming
A mathematical treatment of defeasible reasoning and its implementation
Artificial Intelligence
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)
The acceptability semantics for logic programs
Proceedings of the eleventh international conference on Logic programming
Prolog programming in depth
Abstract argumentation systems
Artificial Intelligence
An abstract, argumentation-theoretic approach to default reasoning
Artificial Intelligence
Progress on Room 5: a testbed for public interactive semi-formal legal argumentation
Proceedings of the 6th international conference on Artificial intelligence and law
Foundations of logic programming
Principles of knowledge representation
Normal forms for defeasible logic
JICSLP'98 Proceedings of the 1998 joint international conference and symposium on Logic programming
Representation results for defeasible logic
ACM Transactions on Computational Logic (TOCL)
ACM Computing Surveys (CSUR)
Cognitive Carpentry: A Blueprint for how to Build a Person
Cognitive Carpentry: A Blueprint for how to Build a Person
Relating defeasible and normal logic programming through transformation properties
Theoretical Computer Science
Refining Action Theories through Abductive Logic Programming
LPKR '97 Selected papers from the Third International Workshop on Logic Programming and Knowledge Representation
Reasoning with Prioritized Defaults
LPKR '97 Selected papers from the Third International Workshop on Logic Programming and Knowledge Representation
Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday)
Strong and Explicit Negation in Non-Monotonic Reasoning and Logic Programming
JELIA '96 Proceedings of the European Workshop on Logics in Artificial Intelligence
Computing the Acceptability Semantics
LPNMR '95 Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning
Contradiction: When Avoidance Equals Removal - Part II
ELP '93 Proceedings of the 4th International Workshop on Extensions of Logic Programming
Well-founded semantics for extended logic programs with dynamic preferences
Journal of Artificial Intelligence Research
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
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
SCC-recursiveness: a general schema for argumentation semantics
Artificial Intelligence
Towards an argument interchange format
The Knowledge Engineering Review
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
Applying hybrid reasoning to mine for associative features in biological data
Journal of Biomedical Informatics
User-definable rule priorities for CHR
Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
Knowledge and information distribution leveraged by intelligent agents
Knowledge and Information Systems
From desires to intentions through dialectical analysis
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Planning and defeasible reasoning
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
A generative inquiry dialogue system
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Computing Arguments and Attacks in Assumption-Based Argumentation
IEEE Intelligent Systems
International Journal of Approximate Reasoning
Using enthymemes in an inquiry dialogue system
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 1
Assumption-Based Argumentation for Epistemic and Practical Reasoning
Computable Models of the Law
ICCS '08 Proceedings of the 16th international conference on Conceptual Structures: Knowledge Visualization and Reasoning
ASBO: Argumentation System Based on Ontologies
CIA '08 Proceedings of the 12th international workshop on Cooperative Information Agents XII
Dialectical Explanations in Defeasible Argumentation
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
A review of current defeasible reasoning implementations
The Knowledge Engineering Review
Autonomous Agents and Multi-Agent Systems
Dialogues that account for different perspectives in collaborative argumentation
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Argue tuProlog: A Lightweight Argumentation Engine for Agent Applications
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
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
Decision Rules and Arguments in Defeasible Decision Making
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
Argumentation Using Temporal Knowledge
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
A Distributed Argumentation Framework using Defeasible Logic Programming
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
On the Relationship of Defeasible Argumentation and Answer Set Programming
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
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
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
Modelling Argument Accrual in Possibilistic Defeasible Logic Programming
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
HCD 09 Proceedings of the 1st International Conference on Human Centered Design: Held as Part of HCI International 2009
Logic Programming with Defaults and Argumentation Theories
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Argumentation Context Systems: A Framework for Abstract Group Argumentation
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
An Argument-Based Approach to Using Multiple Ontologies
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
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
An axiomatic account of formal 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
Reasoning from desires to intentions: a dialectical framework
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Reasoning about the appropriateness of proponents for arguments
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Argument theory change applied to defeasible logic programming
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
A lattice-based approach to computing warranted beliefs in skeptical argumentation frameworks
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Modelling well-structured argumentation lines
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
SCC-recursiveness: a general schema for argumentation semantics
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
On the accrual of arguments in defeasible logic programming
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Dialectical abstract argumentation: a characterization of the marking criterion
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Translating the Japanese Presupposed Ultimate Fact Theory into Logic Programming
Proceedings of the 2009 conference on Legal Knowledge and Information Systems: JURIX 2009: The Twenty-Second Annual Conference
Exploration of SWRL Rule Bases through Visualization, Paraphrasing, and Categorization of Rules
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
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
A taxonomy of argumentation models used for knowledge representation
Artificial Intelligence Review
An application of defeasible logic programming to decision making in a robotic environment
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
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
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
Assumption-based argumentation for closed and consistent defeasible reasoning
JSAI'07 Proceedings of the 2007 conference on New frontiers in artificial intelligence
Defeasible argumentation support for an extended BDI architecture
ArgMAS'07 Proceedings of the 4th international conference on Argumentation in multi-agent systems
ANGLE: An autonomous, normative and guidable agent with changing knowledge
Information Sciences: an International Journal
The foundations of DeLP: defeating relations, games and truth values
Annals of Mathematics and Artificial Intelligence
Using argumentation to model and deploy agent-based B2B applications
Knowledge-Based Systems
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
Using Defeasible Logic Programming for Argumentation-Based Decision Support in Private Law
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
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
Sets of boolean connectives that make argumentation easier
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
WizArg: Visual Argumentation Framework Solving Wizard
Proceedings of the 2010 conference on Artificial Intelligence Research and Development: Proceedings of the 13th International Conference of the Catalan Association for Artificial Intelligence
Towards a Logical Model of Induction from Examples and Communication
Proceedings of the 2010 conference on Artificial Intelligence Research and Development: Proceedings of the 13th International Conference of the Catalan Association for Artificial Intelligence
On judgment aggregation in abstract argumentation
Autonomous Agents and Multi-Agent Systems
An argumentation-based BDI personal assistant
IEA/AIE'10 Proceedings of the 23rd international conference on Industrial engineering and other applications of applied intelligent systems - Volume Part I
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
An argumentation machinery to reason over inconsistent ontologies
IBERAMIA'10 Proceedings of the 12th Ibero-American conference on Advances in artificial intelligence
Query-based argumentation in agent programming
IBERAMIA'10 Proceedings of the 12th Ibero-American conference on Advances in artificial intelligence
Review: on the evolving relation between belief revision and argumentation
The Knowledge Engineering Review
Instantiating abstract argumentation with classical logic arguments: Postulates and properties
Artificial Intelligence
Argumentation and answer set programming
Logic programming, knowledge representation, and nonmonotonic reasoning
On influence and contractions in defeasible logic programming
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
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
Backing and undercutting in defeasible logic programming
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
Handling exceptions in logic programming without negation as failure
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
Multiagent argumentation for cooperative planning in DeLP-POP
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
Some thoughts on using argumentation to handle trust
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
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
A heuristics-based pruning technique for argumentation trees
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
On warranted inference in argument trees based framework
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
t-DeLP: a temporal extension of the defeasible logic programming argumentative framework
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Defeasible Reasoning Based Argumentative Web-IDSS for Virtual Teams (VTs)
WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 03
An architecture for defeasible-reasoning-based cooperative distributed planning
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems - Volume Part I
Computing dialectical trees efficiently in possibilistic defeasible logic programming
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
An implementation of a lightweight argumentation engine for agent applications
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
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
Negotiation among DDeLP agents
ArgMAS'04 Proceedings of the First 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
Modelling power and trust for knowledge distribution: an argumentative approach
MICAI'05 Proceedings of the 4th Mexican international conference on Advances in Artificial Intelligence
Towards formalising agent argumentation over the viability of human organs for transplantation
MICAI'05 Proceedings of the 4th Mexican international conference on Advances in Artificial Intelligence
Knowledge distribution in large organizations using defeasible logic programming
AI'05 Proceedings of the 18th Canadian Society conference on Advances in Artificial Intelligence
Realizing argumentation in multi-agent systems using defeasible logic 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
Progressive defeat paths in abstract argumentation frameworks
AI'06 Proceedings of the 19th international conference on Advances in Artificial Intelligence: Canadian Society for Computational Studies of Intelligence
Semantically characterizing collaborative behavior in an abstract dialogue framework
FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge Systems
Towards a dialectical approach for conversational agents in selling situations
ArgMAS'10 Proceedings of the 7th international conference on Argumentation in Multi-Agent Systems
Reasoning about trust using argumentation: a position paper
ArgMAS'10 Proceedings of the 7th international conference on Argumentation in Multi-Agent Systems
An argument-based multi-agent system for information integration
ArgMAS'10 Proceedings of the 7th international conference on Argumentation in Multi-Agent Systems
Dynamic argumentation in abstract dialogue frameworks
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
On strategic argument selection in structured argumentation systems
ArgMAS'10 Proceedings of the 7th international conference on Argumentation in Multi-Agent Systems
An implemented dialogue system for inquiry and persuasion
TAFA'11 Proceedings of the First international conference on Theory and Applications of Formal Argumentation
Selective revision by deductive argumentation
TAFA'11 Proceedings of the First international conference on Theory and Applications of Formal Argumentation
Backing and undercutting in abstract argumentation frameworks
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Temporal defeasible argumentation in multi-agent planning
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Some reflections on two current trends in formal argumentation
Logic Programs, Norms and Action
Defeasible argumentation for multi-agent planning in ambient intelligence applications
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
An argumentation framework for non-monotonic reasoning in description logic
RSKT'12 Proceedings of the 7th international conference on Rough Sets and Knowledge Technology
An argumentation-based approach to cooperative multi-source epistemic conflict resolution
MATES'12 Proceedings of the 10th German conference on Multiagent System Technologies
Extending a temporal defeasible argumentation framework with possibilistic weights
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Stable semantics in logic-based argumentation
SUM'12 Proceedings of the 6th international conference on Scalable Uncertainty Management
The outcomes of logic-based argumentation systems under preferred semantics
SUM'12 Proceedings of the 6th international conference on Scalable Uncertainty Management
An approach to argumentation considering attacks through time
SUM'12 Proceedings of the 6th international conference on Scalable Uncertainty Management
ABA: argumentation based agents
ArgMAS'11 Proceedings of the 8th international conference on Argumentation in Multi-Agent Systems
A semantics for dynamic argumentation frameworks
ArgMAS'11 Proceedings of the 8th international conference on Argumentation in Multi-Agent Systems
Cooperative dialogues for defeasible argumentation-based planning
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
SBIA'12 Proceedings of the 21st Brazilian conference on Advances in Artificial Intelligence
Context-Aware Multi-Agent Planning in intelligent environments
Information Sciences: an International Journal
Information Systems Frontiers
Proceedings of the 6th International Conference on Theory and Practice of Electronic Governance
Argumentation-logic for creating and explaining medical hypotheses
Artificial Intelligence in Medicine
Structural properties for deductive argument systems
ECSQARU'13 Proceedings of the 12th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
A first approach to mining opinions as multisets through argumentation
AT'13 Proceedings of the Second international conference on Agreement Technologies
Automata for infinite argumentation structures
Artificial Intelligence
Rich preference-based argumentation frameworks
International Journal of Approximate Reasoning
Using argument strength for building dialectical bonsai
Annals of Mathematics and Artificial Intelligence
t-DeLP: an argumentation-based Temporal Defeasible Logic Programming framework
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.00 |
The work reported here introduces Defeasible Logic Programming (DeLP), a formalism that combines results of Logic Programming and Defeasible Argumentation. DeLP provides the possibility of representing information in the form of weak rules in a declarative manner, and a defeasible argumentation inference mechanism for warranting the entailed conclusions. In DeLP an argumentation formalism will be used for deciding between contradictory goals. Queries will be supported by arguments that could be defeated by other arguments. A query $q$ will succeed when there is an argument ${\mathcal A}$ for $q$ that is warranted, i.e. the argument ${\mathcal A}$ that supports $q$ is found undefeated by a warrant procedure that implements a dialectical analysis. The defeasible argumentation basis of DeLP allows to build applications that deal with incomplete and contradictory information in dynamic domains. Thus, the resulting approach is suitable for representing agent's knowledge and for providing an argumentation based reasoning mechanism to agents.