5378 search results - page 207 / 1076 » Base Logics in Argumentation |
205
click to vote
CORR
1998
Springer
15 years 6 months ago
1998
Springer
In this paper we reexamine the place and role of stable model semantics in logic programming and contrast it with a least Herbrand model approach to Horn programs. We demonstrate ...
220
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
The probability theory is a well-studied branch of mathematics, in order to carry out formal reasoning about probability. Thus, it is important to have a logic, both for computati...
166
click to vote
CLUSTER
2003
IEEE
15 years 12 months ago
2003
IEEE
We further increase the efficiency of Java RMI programs. Where other optimizing re-implementations of RMI use pre-processors to create stubs and skeletons and to create class spe...
159
click to vote
HPDC
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper describes PARDIS, a system containing explicit support for interoperability of PARallel DIStributed applications. PARDIS is based on the Common Object Request Broker Ar...
199
click to vote
ICST
2010
IEEE
15 years 5 months ago
2010
IEEE
— Increasingly, licensing and safety regulatory bodies require the suppliers of software-intensive, safety-critical systems to provide an explicit software safety case – a stru...