103 search results - page 13 / 21 » A Distributed Argumentation Framework using Defeasible Logic... |
118
Voted
PPDP
2007
Springer
15 years 6 months ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...
157
click to vote
PSSE
2004
Springer
15 years 5 months ago
2004
Springer
“demonic” nondeterminism, representing abstraction from (or ignorance of) which of two program fragments will be executed. By introducing probabilistic nondeterminism into GCL,...
109
Voted
CADE
2008
Springer
16 years 23 days ago
2008
Springer
Specifications of programs use auxiliary symbols to encapsulate concepts for a variety of reasons: readability, reusability, structuring and, in particular, for writing recursive d...
98
Voted
SEUS
2005
IEEE
15 years 6 months ago
2005
IEEE
In this paper, we defined the concept of the grouped distributed objects[10-14], as a logical unit of distributed application service, and developed a distributed programming deve...
127
click to vote
ASP
2005
Springer
15 years 6 months ago
2005
Springer
Possibilistic Stable model Semantics is an extension of Stable Model Semantics that allows to merge uncertain and non monotonic reasoning into a unique framework. To achieve this a...