#### Filter Results:

- Full text PDF available (187)

#### Publication Year

1993

2017

- This year (8)
- Last 5 years (83)
- Last 10 years (146)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Brain Region

#### Cell Type

#### Data Set Used

#### Key Phrases

#### Method

Learn More

- Andrei Bondarenko, Phan Minh Dung, Robert A. Kowalski, Francesca Toni
- Artif. Intell.
- 1997

We present an abstract framework for default reasoning, which includes Theorist, default logic, logic prog~mming, autoe~is~mic logic, non-monotonic modal logics, and certain instances of circumscription as special cases. The framework can be understood as a generalisation of Theorist. The generalisation allows any theory formulated in a monotonic logic to… (More)

- Phan Minh Dung, Paolo Mancarella, Francesca Toni
- Artif. Intell.
- 2007

We present two dialectic procedures for the sceptical ideal semantics for argumentation. The first procedure is defined in terms of dispute trees, for abstract argumentation frameworks. The second procedure is defined in dialectical terms, for assumptionbased argumentation frameworks. The procedures are adapted from (variants of) corresponding procedures… (More)

- Phan Minh Dung, Robert A. Kowalski, Francesca Toni
- Argumentation in Artificial Intelligence
- 2009

Assumption-Based Argumentation (ABA) [4, 3, 27, 9, 12, 20, 22] was developed, starting in the 90s, as a computational framework to reconcile and generalise most existing approaches to default reasoning [24, 25, 4, 3, 27, 26]. ABA was inspired by Dung’s preferred extension semantics for logic programming [10, 7], with its dialectical interpretation of the… (More)

- Phan Minh Dung, Robert A. Kowalski, Francesca Toni
- Artif. Intell.
- 2006

We present a family of dialectic proof procedures for the admissibility semantics of assumptionbased argumentation. These proof procedures are defined for any conventional logic formulated as a collection of inference rules and show how any such logic can be extended to a dialectic argumentation system. The proof procedures find a set of assumptions, to… (More)

- Francesca Toni
- 2001

Defeasible logic is a rule-based nonmonotonic logic, with both strict and defeasible rules, and a priority relation on rules. We show that inference in the propositional form of the logic can be performed in linear time. This contrasts markedly with most other propositional nonmonotonic logics, in which inference is intractable.

- Antonis C. Kakas, Francesca Toni
- J. Log. Comput.
- 1999

In recent years, argumentation has been shown to be an appropriate framework in which logic programming with negation as failure as well as other logics for non-monotonic reasoning can be encompassed. Many of the existing semantics for negation as failure in logic programming can be understood in a uniform way using argumentation. Moreover, other logics for… (More)

- Andrei Bondarenko, Francesca Toni, Robert A. Kowalski
- LPNMR
- 1993

The notion of assumption-based framework generalises and reenes the use of abduction to give a formalisation of non-monotonic reasoning. In this framework, a sentence is a non-monotonic consequence of a theory if it can be derived monotonically from a theory extended by means of acceptable assumptions. The notion of acceptability for such assumptions is… (More)

- Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni
- J. Artif. Intell. Res.
- 2006

A multiagent system may be thought of as an artificial society of autonomous software agents and we can apply concepts borrowed from welfare economics and social choice theory to assess the social welfare of such an agent society. In this paper, we study an abstract negotiation framework where agents can agree on multilateral deals to exchange bundles of… (More)

- Fariba Sadri, Francesca Toni, Paolo Torroni
- ATAL
- 2001

This work presents a formal, logic-based approach to one-to-one agent negotiation, in the context of goal achievement in systems of agents with limited resource availability. The proposed solution is based on agent dialogues as a way, e.g., to request resources and propose resource exchanges. It relies upon agents agreeing solely upon a language for… (More)

- Fariba Sadri, Francesca Toni, P. Torroniy
- 2001

This paper proposes a logical framework for automated negotiation processes. It describes the language, the knowledge and the reasoning that is required to build negotiation dialogues between two agents, in order to obtain resources. Such knowledge is expressed in a declarative way. In particular, we represent the beliefs of agents as logic programs and… (More)