5378 search results - page 237 / 1076 » Base Logics in Argumentation |
157
click to vote
MFCS
1999
Springer
15 years 11 months ago
1999
Springer
We propose so called clausal tableau systems for the common modal logics K4, KD4 and S4. Basing on these systems, we give more efficient decision procedures than those hitherto kno...
185
Voted
ECAI
1998
Springer
15 years 10 months ago
1998
Springer
We present probabilistic logic programming under inheritance with overriding. This approach is based on new notions of entailment for reasoning with conditional constraints, which...
164
click to vote
IJCAI
1993
15 years 8 months ago
1993
The paper is concerned with the design of a module system for logic programming so as to satisfy many of the requirements of software en gineering. The design is based on the la...
180
click to vote
ENTCS
2010
15 years 4 months ago
2010
A previously introduced combination of the bialgebraic approach to structural operational semantics with aic modal logic is re-examined and improved in some aspects. Firstly, a mo...
161
click to vote
FSS
2010
15 years 4 months ago
2010
CADIAG-2 is a successful expert system assisting in the differential diagnosis in internal medicine. With its aid, conjectures about present diseases are derived from possibly vag...