5378 search results - page 95 / 1076 » Base Logics in Argumentation |
181
click to vote
ENTCS
2000
15 years 5 months ago
2000
Abstract. Logic programming languages based on linear logic are of both theoretical and practical interest, particulaly because such languages can be seen as providing a logical ba...
139
click to vote
LOGCOM
2010
15 years 4 months ago
2010
We construct explicit bases of single-conclusion and multiple-conclusion admissible rules of propositional Lukasiewicz logic, and we prove that every formula has an admissibly sat...
186
click to vote
LPNMR
2007
Springer
16 years 4 days ago
2007
Springer
Abstract. In this paper, we present a logic R for rule bases by introducing a set of rule connectives. We define both the models and extensions of a rule base. The semantics of ex...
158
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
Linear constraints occur naturally in many reasoning problems and the information that they represent is often uncertain. There is a difficulty in applying many AI uncertainty for...
161
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
Ford has introduced a non-monotonic logic, System LS, inspired by an empirical study of human non-monotonic reasoning. We define here a defeasible logic FDL based on Ford’s logi...