#### Filter Results:

- Full text PDF available (6)

#### Publication Year

1991

1995

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

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Paul J. Krause, Simon Ambler, Morten Elvang-Gøransson, John Fox
- Computational Intelligence
- 1995

From an inconsistent database non-trivial arguments may be constructed both for a proposition, and for the contrary of that proposition. Therefore, inconsistency in a logical database causes uncertainty about which conclusions to accept. This kind of uncertainty is called logical uncertainty. We define a concept of "acceptability" , which in duces a means… (More)

- Morten Elvang-Gøransson, Paul J. Krause, John Fox
- ECSQARU
- 1993

- Morten Elvang-Gøransson, Anthony Hunter
- Data Knowl. Eng.
- 1995

Classical logic has many appealing features for knowledge representation and reasoning. But unfortunately it is awed when reasoning about inconsistent information, since anything follows from a classical inconsistency. This problem is addressed by introducing the notions of \argument" and of \acceptability" of an argument. These notions are used to… (More)

We present the syntax and proof theory of a logic of argumentation, LA. We also outline the development of a category theoretic semantics for LA. LA is the core of a proof theoretic model for reasoning under uncertainty. In this logic, propositions are labelled with a representation of the arguments which support their validity. Arguments may then be… (More)

Argumentation is the process of constructing arguments about propositions, and the assign ment of statements of confidence to those propo sitions based on the nature and relative strength of their supporting arguments. The process is modelled as a labelled deductive system, in which propositions are doubly labelled with the grounds on which they are based… (More)

- Morten Elvang-Gøransson, Olaf Owe
- Theor. Comput. Sci.
- 1993

- Bob Fields, Morten Elvang-Gøransson
- IEEE Trans. Software Eng.
- 1992

- Morten Elvang-Gøransson
- VDM Europe
- 1991

- Morten Elvang-Gøransson, Bob Fields
- FME
- 1994

The original de nition of re nement proof obligations in VDM is reviewed and examples are discussed which while being in tuitively sensible pose problems for this de nition of re nement An extended VDM re nement relation is introduced to cope with the prob lems Some non standard applications of the extended re nement proof obligations are discussed

- ‹
- 1
- ›