NMR
2004
Springer
14 years 5 months ago
2004
Springer
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting a...
NMR
2004
Springer
14 years 5 months ago
2004
Springer
The action language A is a simple high-level language for describing transition systems. In this paper, we extend the action language A by allowing a unary modal operator in the u...
NMR
2004
Springer
14 years 5 months ago
2004
Springer
conflicts between goals and plans in Dung’s abstract argumentation framework. Argumentation theory has traditionally been used to deal with conflicts between defaults and beli...
NMR
2004
Springer
14 years 5 months ago
2004
Springer
Probabilistic reasoning with multiply sectioned Bayesian networks (MSBNs) has been successfully applied in static domains under the cooperative multiagent paradigm. Probabilistic ...
NMR
2004
Springer
14 years 5 months ago
2004
Springer
Until now, AI argumentation-based systems have been mainly developed for handling inconsistency. In that explanation-oriented perspective, only one type of argument has been consi...
NMR
2004
Springer
14 years 5 months ago
2004
Springer
In this paper, we propose a survey of the use of bipolarity in argumentation frameworks, i.e. the presence of two kinds of entities (a positive entity and a negative entity). An a...
NMR
2004
Springer
14 years 5 months ago
2004
Springer
Current literature offers a number of different approaches to what could generally be called “probabilistic logic programming”. These are usually based on Horn clauses. Here, ...
MOZ
2004
Springer
14 years 5 months ago
2004
Springer
The analysis of biochemical networks consists in studying the interactions between biological entities cooperating in complex cellular processes. To facilitate the expression of an...
MOZ
2004
Springer
14 years 5 months ago
2004
Springer
ional Abstractions for Search Factories Guido Tack, Didier Le Botlan MOZ 2004 Presented at International Mozart/Oz Conference (MOZ 2004) Charleroi, Belgium October 2004 Published i...
MOZ
2004
Springer
14 years 5 months ago
2004
Springer
Abstract. The design and implementation of a capability secure multiparadigm language should be guided from its conception by proven principles of secure language design. In this p...