5378 search results - page 157 / 1076 » Base Logics in Argumentation |
145
click to vote
CP
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We propose a general framework for assertion-based debugging of constraint logic programs. Assertions are linguistic constructions which allow expressing properties of pr...
201
click to vote
SUM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Action-probabilistic logic programs (ap-programs), a class of probabilistic logic programs, have been applied during the last few years for modeling behaviors of entities...
179
click to vote
WOLLIC
2009
Springer
16 years 25 days ago
2009
Springer
Abstract. This paper presents a new version of the CL contract specification language. CL combines deontic logic with propositional dynamic logic but it applies the modalities exc...
160
click to vote
VL
2007
IEEE
16 years 15 days ago
2007
IEEE
Information is often represented in tabular format in everyday documents such as balance sheets, sales figures, and so on. Tables represent an interesting point in the spectrum o...
165
click to vote
LPNMR
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. We present a framework for updating logic programs under the answer-set semantics that builds on existing work on preferences in logic programming. The approach is simple...