#### Filter Results:

- Full text PDF available (5)

#### Publication Year

1996

2000

- This year (0)
- Last 5 years (0)
- Last 10 years (0)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Hadassa Jakobovits, Dirk Vermeir
- J. Log. Comput.
- 1999

We suggest a so-called “robust” semantics for a model of argumentation which represents arguments and their interactions, called “argumentation frameworks”. We study a variety of additional definitions of acceptability of arguments; we explore the properties of these definitions; we describe their inter-relationships: e.g. robust models can be characterized… (More)

- Hadassa Jakobovits, Dirk Vermeir
- ICAIL
- 1999

We provide a formalism for the study of dialogues, where a dialogue is a two-person game, initiated by the proponent who defends a proposed thesis. We examine several different winning criteria and several different dialogue types, where a dialogue type is determined by a set of positions, an attack relation between positions and a legal-move function. We… (More)

- Hadassa Jakobovits, Dirk Vermeir
- Logic in Databases
- 1996

We propose a new semantics for general logic programs which stems from rst principles of logic-programming semantics. Our theory uniies previous approaches and is applicable to some useful programs which are not properly handled by existing semantics.

- H. Jakobovits
- 1996

We present a theory of argumentation that can deal with contradiction within an argumentation framework, thus solving a problem posed in [1]. By representing logic programs as sets of interacting arguments, we can apply our results for general argumentation frameworks to logicprogramming semantics. This yields a new semantics for logic programs that… (More)

argumentation has been developed in a theoretical way, in noteworthy works such as [Tou58], [Fel84], [Dun95], [KT96], [BDKT97], [KMD94], [Pol94], [Vre97], [PS96a], [PS97], and [Ver96]. Argumentation-theoretic interpretations and proof-procedures are applicable in practical reasoning, legal reasoning ([KT96], [PS95]), mediation systems ([GK96], [BG94]),… (More)

- ‹
- 1
- ›