Search results for "Defeasible reasoning"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Quoc Bao Vo, Norman Y. Foo, Joe Thurbon	Semantics for a theory of defeasible reasoning.	Ann. Math. Artif. Intell.	2005	DBLP DOI BibTeX RDF	argument-based systems, argumentation-theoretic semantics, defeat, justification, defeasible reasoning
2	Hui Wan, Benjamin N. Grosof, Michael Kifer, Paul Fodor, Senlin Liang	Logic Programming with Defaults and Argumentation Theories.	ICLP	2009	DBLP DOI BibTeX RDF	Defeasible reasoning, well-founded models, argumentation theory
2	Grigoris Antoniou, Nikos Dimaresis, Guido Governatori	A system for modal and deontic defeasible reasoning.	SAC	2008	DBLP DOI BibTeX RDF
2	Antonis Bikakis, Constantinos Papatheodorou, Grigoris Antoniou	The DR-Prolog Tool Suite for Defeasible Reasoning and Proof Explanation in the Semantic Web.	SETN	2008	DBLP DOI BibTeX RDF
2	Antonis Bikakis, Grigoris Antoniou	Local and Distributed Defeasible Reasoning in Multi-Context Systems.	RuleML	2008	DBLP DOI BibTeX RDF
2	Grigoris Antoniou, Antonis Bikakis	DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web.	IEEE Trans. Knowl. Data Eng.	2007	DBLP DOI BibTeX RDF	Semantic Web reasoning, Rules, nonmonotonic reasoning
2	Sanjay Modgil	An Abstract Theory of Argumentation That Accommodates Defeasible Reasoning About Preferences.	ECSQARU	2007	DBLP DOI BibTeX RDF
2	Francesca Toni	Assumption-Based Argumentation for Closed and Consistent Defeasible Reasoning.	JSAI	2007	DBLP DOI BibTeX RDF
2	Georgios K. Giannikis, Aspassia Daskalopulu	Defeasible Reasoning with e-Contracts.	IAT	2006	DBLP DOI BibTeX RDF
2	Nick Bassiliades, Efstratios Kontopoulos, Grigoris Antoniou, Ioannis P. Vlahavas	A Graphical Rule Authoring Tool for Defeasible Reasoning in the Semantic Web.	Panhellenic Conference on Informatics	2005	DBLP DOI BibTeX RDF
2	Grigoris Antoniou	A Discussion of Some Intuitions of Defeasible Reasoning.	SETN	2004	DBLP DOI BibTeX RDF
2	José Carlos Loureiro Ralha, Célia Ghedini Ralha	Towards a Natural Way of Reasoning.	SBIA	2004	DBLP DOI BibTeX RDF	argumentative systems, non-monotonic reasoning, generalized quantifiers, defeasible reasoning
2	Grigoris Antoniou, Gerd Wagner	Rules and Defeasible Reasoning on the Semantic Web.	RuleML	2003	DBLP DOI BibTeX RDF
2	Jan-R. Sieckmann	Why Non-Monotonic Logic is Inadequate to Represent Balancing Arguments.	Artif. Intell. Law	2003	DBLP DOI BibTeX RDF	internal point of view, normative arguments, weighing and balancing, argumentation, legal reasoning, defeasible reasoning
2	Juan Carlos Augusto, Guillermo Ricardo Simari	Temporal Defeasible Reasoning.	Knowl. Inf. Syst.	2001	DBLP DOI BibTeX RDF	Knowledge representation, Temporal reasoning, Defeasible reasoning
2	Michael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller	Efficient defeasible reasoning systems.	ICTAI	2000	DBLP DOI BibTeX RDF	defeasible reasoning systems, highly expressive logics, backward chaining approach, forward-chaining implementation, computational complexity, business rules, nonmonotonic reasoning, nonmonotonic reasoning, modelling language, linear complexity, query answering system, backward chaining
2	Quoc Bao Vo, Joe Thurbon	Semantics for Pollock`s Defeasible Reasoning.	Australian Joint Conference on Artificial Intelligence	1999	DBLP DOI BibTeX RDF
2	Hong-Gee Kim	Formalizing Perspectival Defeasible Reasoning.	HICSS	1997	DBLP DOI BibTeX RDF
2	Philippe Chatalic, Christine Froidevaux	Graded Logics: A Framework for Uncertain and Defeasible Knowledge.	ISMIS	1991	DBLP DOI BibTeX RDF	Graded Logic, Knowledge Representation, Uncertainty, Default Logic, Defeasible Reasoning
2	Thomas F. Gordon	Oblog-2: A Hybrid Knowledge Representation System for Defeasible Reasoning.	ICAIL	1987	DBLP DOI BibTeX RDF
1	Peter Verdée	Modelling defeasible reasoning by means of adaptive logic games.	Logic Journal of the IGPL	2012	DBLP DOI BibTeX RDF
1	Douglas Walton	Defeasible reasoning and informal fallacies.	Synthese	2011	DBLP DOI BibTeX RDF
1	Sergio Pajares Ferrando, Eva Onaindia, Alejandro Torreño	An Architecture for Defeasible-Reasoning-Based Cooperative Distributed Planning.	OTM Conferences	2011	DBLP DOI BibTeX RDF
1	Naeem Khalid Janjua, Farookh Khadeer Hussain	Defeasible Reasoning Based Argumentative Web-IDSS for Virtual Teams (VTs).	Web Intelligence/IAT Workshops	2011	DBLP DOI BibTeX RDF
1	Ho-Pun Lam, Guido Governatori	What Are the Necessity Rules in Defeasible Reasoning?	LPNMR	2011	DBLP DOI BibTeX RDF
1	Benjamin N. Grosof, Mark H. Burstein, Mike Dean, Carl Andersen, Brett Benyo, William Ferguson, Daniela Inclezan, Richard Shapiro	A SILK Graphical UI for Defeasible Reasoning, with a Biology Causal Process Example.	ISWC Posters&Demos	2010	DBLP BibTeX RDF
1	Antonis Bikakis, Grigoris Antoniou	Defeasible Contextual Reasoning with Arguments in Ambient Intelligence.	IEEE Trans. Knowl. Data Eng.	2010	DBLP DOI BibTeX RDF	contextual reasoning, argumentation systems, Ambient Intelligence, defeasible reasoning
1	Grigoris Antoniou, Nikos Dimaresis, Guido Governatori	A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems.	Expert Syst. Appl.	2009	DBLP DOI BibTeX RDF
1	Duy Hoang Pham, Guido Governatori, Subhasis Thakur	Extended Defeasible Reasoning for Common Goals in n-Person Argumentation Games.	J. UCS	2009	DBLP BibTeX RDF
1	Davide Sottara, Paola Mello, Mark Proctor	Towards Modelling Defeasible Reasoning with Imperfection in Production Rule Systems.	RuleML	2009	DBLP DOI BibTeX RDF
1	Kalliopi Kravari, Efstratios Kontopoulos, Nick Bassiliades	A Trusted Defeasible Reasoning Service for Brokering Agents in the Semantic Web.	IDC	2009	DBLP DOI BibTeX RDF
1	Daniel Bryant, Paul J. Krause	A review of current defeasible reasoning implementations.	Knowledge Eng. Review	2008	DBLP DOI BibTeX RDF
1	Sergio Alejandro Gómez, Carlos Iván Chesñevar, Guillermo Ricardo Simari	Defeasible Reasoning in Web-Based Forms through Argumentation.	International Journal of Information Technology and Decision Making	2008	DBLP DOI BibTeX RDF
1	John L. Pollock	OSCAR: An Agent Architecture Based on Defeasible Reasoning.	AAAI Spring Symposium: Emotion, Personality, and Social Behavior	2008	DBLP BibTeX RDF
1	Diego R. García, Alejandro Javier García, Guillermo Ricardo Simari	Defeasible Reasoning and Partial Order Planning.	FoIKS	2008	DBLP DOI BibTeX RDF
1	Quoc Bao Vo	An Argumentation Framework Based on Conditional Priorities.	PRICAI	2008	DBLP DOI BibTeX RDF
1	Antonis Bikakis, Grigoris Antoniou	Alternative Strategies for Contextual Reasoning with Conflicts in Ambient Computing.	RR	2008	DBLP DOI BibTeX RDF
1	Grigoris Antoniou, Nikos Dimaresis, Guido Governatori	A System for Modal and Deontic Defeasible Reasoning.	Australian Conference on Artificial Intelligence	2007	DBLP DOI BibTeX RDF
1	Diego R. García, Alejandro Javier García, Guillermo Ricardo Simari	Planning and defeasible reasoning.	AAMAS	2007	DBLP DOI BibTeX RDF	agents, planning, argumentation
1	Henry Prakken, Giovanni Sartor	Formalising arguments about the burden of persuasion.	ICAIL	2007	DBLP DOI BibTeX RDF
1	Nicolás D. Rotstein, Alejandro Javier García, Guillermo Ricardo Simari	Defeasible Argumentation Support for an Extended BDI Architecture.	ArgMAS	2007	DBLP DOI BibTeX RDF
1	Armin Hezart, Abhaya C. Nayak, Mehmet A. Orgun	Towards Context Sensitive Defeasible Rules.	CLIMA	2007	DBLP DOI BibTeX RDF
1	Ioan Alfred Letia, Adrian Groza	Structured Argumentation in a Mediator for Online Dispute Resolution.	DALT	2007	DBLP DOI BibTeX RDF
1	Grigoris Antoniou, Antonis Bikakis, Nikos Dimaresis, Manolis Genetzakis, Giannis Georgalis, Guido Governatori, Efie Karouzaki, Nikolaos Kazepis, Dimitris Kosmadakis, Manolis Kritsotakis, Giannis Lilis, Antonis Papadogiannakis, Panagiotis Pediaditis, Constantinos Terzakis, Rena Theodosaki, Dimitris Zeginis	Proof Explanation for the Semantic Web Using Defeasible Logic.	KSEM	2007	DBLP DOI BibTeX RDF
1	Sanjay Modgil	An Argumentation Based Semantics for Agent Reasoning.	LADS	2007	DBLP DOI BibTeX RDF
1	Nick Bassiliades, Grigoris Antoniou, Guido Governatori	Proof Explanation in the DR-DEVICE System.	RR	2007	DBLP DOI BibTeX RDF
1	Grigoris Antoniou	Defeasible reasoning: A discussion of some intuitions.	Int. J. Intell. Syst.	2006	DBLP DOI BibTeX RDF
1	Diego C. Martínez, Alejandro Javier García, Guillermo Ricardo Simari	Progressive Defeat Paths in Abstract Argumentation Frameworks.	Canadian Conference on AI	2006	DBLP DOI BibTeX RDF
1	Efstratios Kontopoulos, Nick Bassiliades, Grigoris Antoniou	Visualizing Defeasible Logic Rules for the Semantic Web.	ASWC	2006	DBLP DOI BibTeX RDF
1	Iara Carnevale de Almeida, José Júlio Alferes	An Argumentation-Based Negotiation for Distributed Extended Logic Programs.	CLIMA	2006	DBLP DOI BibTeX RDF
1	Efstratios Kontopoulos, Nick Bassiliades	Graphical Representation of Defeasible Logic Rules Using Digraphs.	SETN	2006	DBLP DOI BibTeX RDF
1	James P. Delgrande	On a rule-based interpretation of default conditionals.	Ann. Math. Artif. Intell.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 68T30
1	Andreas Hamfelt, Jenny Eriksson Lundström, Jørgen Fischer Nilsson	A metalogical formalisation of legal argumentation as game trees with defeasible reasoning.	ICAIL	2005	DBLP BibTeX RDF
1	Thomas Skylogiannis, Grigoris Antoniou, Nick Bassiliades, Guido Governatori	DR-NEGOTIATE - A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies.	EEE	2005	DBLP DOI BibTeX RDF
1	Quoc Bao Vo	Structure-Based Algorithms for Computing Preferred Arguments of Defeasible Knowledge Bases.	Australian Conference on Artificial Intelligence	2005	DBLP DOI BibTeX RDF
1	Damien Pellier, Humbert Fiorino	Dialectical Theory for Multi-agent Assumption-Based Planning.	CEEMAS	2005	DBLP DOI BibTeX RDF
1	Nick Bassiliades, Efstratios Kontopoulos, Grigoris Antoniou	A Visual Environment for Developing Defeasible Rule Bases for the Semantic Web.	RuleML	2005	DBLP DOI BibTeX RDF
1	Claudio Delrieux	Abductive inference in defeasible reasoning: a model for research programmes.	J. Applied Logic	2004	DBLP DOI BibTeX RDF
1	Guillermo Ricardo Simari, Alejandro Javier García, Marcela Capobianco	Actions, planning and defeasible reasoning.	NMR	2004	DBLP BibTeX RDF
1	Yannis Dimopoulos, Pavlos Moraitis, Alexis Tsoukiàs	Argumentation Based Modeling of Decision Aiding for Autonomous Agents.	IAT	2004	DBLP DOI BibTeX RDF
1	Grigoris Antoniou, Antonis Bikakis, Gerd Wagner	A Defeasible Logic Programming System for the Web.	ICTAI	2004	DBLP DOI BibTeX RDF
1	Nick Bassiliades, Grigoris Antoniou, Ioannis P. Vlahavas	DR-DEVICE: A Defeasible Logic System for the Semantic Web.	PPSWR	2004	DBLP DOI BibTeX RDF
1	Grigoris Antoniou, Antonis Bikakis, Gerd Wagner	A System for Nonmonotonic Rules on the Web.	RuleML	2004	DBLP DOI BibTeX RDF
1	Nick Bassiliades, Grigoris Antoniou, Ioannis P. Vlahavas	A Defeasible Logic Reasoner for the Semantic Web.	RuleML	2004	DBLP DOI BibTeX RDF
1	Floris Bex, Henry Prakken, Chris Reed, Douglas Walton	Towards a Formal Account of Reasoning about Evidence: Argumentation Schemes and Generalisations.	Artif. Intell. Law	2003	DBLP DOI BibTeX RDF
1	Henry Prakken	Intuitions and the modelling of defeasible reasoning: some case studies	CoRR	2002	DBLP BibTeX RDF
1	Marcelo A. Falappa, Gabriele Kern-Isberner, Guillermo Ricardo Simari	Explanations, belief revision and defeasible reasoning.	Artif. Intell.	2002	DBLP DOI BibTeX RDF
1	Henry Prakken	Intuitions and the modelling of defeasible reasoning: some case studies.	NMR	2002	DBLP BibTeX RDF
1	Grigoris Antoniou, Michael J. Maher	Embedding Defeasible Logic into Logic Programs.	ICLP	2002	DBLP DOI BibTeX RDF
1	Berilhes Borges Garcia, Samuel M. Brasil Jr.	Towards Default Reasoning through MAX-SAT.	SBIA	2002	DBLP DOI BibTeX RDF
1	Grigoris Antoniou	Nonmonotonic Rule Systems on Top of Ontology Layers.	International Semantic Web Conference	2002	DBLP DOI BibTeX RDF
1	George Antoniou	Relating Defeasible Logic to Extended Logic Programs.	SETN	2002	DBLP DOI BibTeX RDF	knowledge representation, logic programming, nonmonotonic reasoning
1	Michael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller	Efficient Defeasible Reasoning Systems.	International Journal on Artificial Intelligence Tools	2001	DBLP BibTeX RDF
1	John F. Horty	Argument construction and reinstatement in logics for defeasible reasoning.	Artif. Intell. Law	2001	DBLP DOI BibTeX RDF
1	John L. Pollock	Defeasible reasoning with variable degrees of justification.	Artif. Intell.	2001	DBLP DOI BibTeX RDF
1	Grigoris Antoniou, David Billington	Relating Defeasible and Default Logic.	Australian Joint Conference on Artificial Intelligence	2001	DBLP DOI BibTeX RDF
1	Lambèr M. M. Royakkers	Henry Prakken: Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law.	Journal of Logic, Language and Information	2000	DBLP DOI BibTeX RDF
1	John L. Pollock	Defeasible Reasoning in OSCAR	CoRR	2000	DBLP BibTeX RDF
1	Bart Verheij	Henry Prakken (1997). Logical Tools for Modelling Legal Argument. A Study of Defeasible Reasoning in Law.	Artif. Intell. Law	2000	DBLP DOI BibTeX RDF
1	Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher, Andrew Rock	A Family of Defeasible Reasoning Logics and its Implementation.	ECAI	2000	DBLP BibTeX RDF
1	Chiaki Sakama, Katsumi Inoue, Koji Iwanuma, Ken Satoh	A Defeasible Reasoning System in Multi-Agent Environment.	CL-2000 Workshop on Computational Logic in Multi-Agent Systems	2000	DBLP BibTeX RDF
1	Carlos Iván Chesñevar, Ana Gabriela Maguitman, Ronald Prescott Loui	Logical models of argument.	ACM Comput. Surv.	2000	DBLP DOI BibTeX RDF	argumentative systems, argumentation, reasoning, defeasible reasoning, defeasible argumentation
1	Michael J. Maher	A Denotational Semantics of Defeasible Logic.	Computational Logic	2000	DBLP DOI BibTeX RDF
1	Jürgen Dix, Frieder Stolzenburg, Guillermo Ricardo Simari, Pablo R. Fillottrani	Automating Defeasible Reasoning with Logic Programming.	German-Argentinian Workshop on Information Technology	1999	DBLP BibTeX RDF
1	Henry Prakken, Giovanni Sartor	A System for Defeasible Argumentation, with Defeasible Priorities.	Artificial Intelligence Today	1999	DBLP DOI BibTeX RDF
1	Katsumi Nitta, Masato Shibasaki	Defeasible Reasoning in Japanese Criminal Jurisprudence.	Artif. Intell. Law	1997	DBLP DOI BibTeX RDF
1	Arjan Foekens, Andreas Mitrakas, Yao-Hua Tan	Facilitating International Electronic Commerce by Formalising the Incoterms.	HICSS	1997	DBLP DOI BibTeX RDF
1	Lambèr M. M. Royakkers, Frank Dignum	Defeasible Reasoning with Legal Rules.	DEON	1996	DBLP BibTeX RDF
1	Young U. Ryu	Conditional Deontic Logic Augmented with Defeasible Reasoning.	Data Knowl. Eng.	1995	DBLP DOI BibTeX RDF
1	James P. Delgrande	Syntactic Conditional Closures for Defeasible Reasoning.	IJCAI	1995	DBLP BibTeX RDF
1	Gerard Vreeswijk	Interpolation of Benchmark Problems in Defeasible Reasoning.	WOCFAI	1995	DBLP BibTeX RDF
1	Anthony Hunter	Defeasible Reasoning with Structured Information.	KR	1994	DBLP BibTeX RDF
1	Philippe Besnard, Yves Moinard, Wilmer Pereira, Michael Clarke, Nic Wilson, Miguel Delgado, Serafín Moral, Juan Cano, Didier Dubois, Henri Prade, Luis Fariñas del Cerro, Jérôme Lang, Stéphane Amarger, John Fox, Paul Krause, Michael Dohnal, Christine Froidevaux, Jérôme Mengin, Ramon López de Mántaras, Lluis Godo, E. H. Mamdani, John Bigham, Simon Parsons, Rudolf Kruse, Olivier Paillet, Pierre Siegel, Philippe Smets, Yen-Teh Hsia, Alessandro Saffiotti, Robert Kennes, Hong Xu, Elizabeth Umkehrer, Kurt Sundermeyer, Chris Whitney	DRUMS: Defeasible Reasoning and Uncertainty Management Systems.	AI Commun.	1993	DBLP BibTeX RDF
1	Maria R. Cravo, João P. Martins	A Practical System for Defeasible Reasoning and Belief Revision.	ECSQARU	1993	DBLP DOI BibTeX RDF
1	Gerd Wagner	Neutralization and Preemtion in Extended Logic Programs.	LPAR	1993	DBLP DOI BibTeX RDF
1	Guillermo Ricardo Simari, Ronald Prescott Loui	A Mathematical Treatment of Defeasible Reasoning and its Implementation.	Artif. Intell.	1992	DBLP DOI BibTeX RDF
1	Yao-Hua Tan, Jan Treur	Constructive Default Logic and the Control of defeasible reasoning.	ECAI	1992	DBLP BibTeX RDF
1	Gerard Vreeswijk	Reasoning with Defeasible Arguments: Examples and Applications.	JELIA	1992	DBLP DOI BibTeX RDF
1	Ronald Prescott Loui	Workshop on Defeasible Reasoning with Specificity and Multiple Inheritance.	AI Magazine	1991	DBLP BibTeX RDF
1	Rudolf Kruse	ESPRIT - Projekt DRUMS: Defeasible Reasoning und Uncertainty Management Systems.	KI	1991	DBLP BibTeX RDF