2962 search results - page 378 / 593 » Reasoning on Association Rules |
175
click to vote
LPAR
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Permutative logic (PL) is a noncommutative variant of multiplicative linear logic (MLL) arising from recent investigations concerning the topology of linear proofs. Permu...
176
click to vote
LPNMR
2007
Springer
16 years 22 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...
165
click to vote
LPNMR
2007
Springer
16 years 22 days ago
2007
Springer
Practically all programming languages used in software engineering allow to split a program into several modules. For fully declarative and nonmonotonic logic programming languages...
178
click to vote
LPNMR
2007
Springer
16 years 22 days ago
2007
Springer
Recently, the stable model semantics was extended to the syntax of arbitrary propositional formulas, which are beyond the traditional rule form. Cabalar and Ferraris, as well as Ca...
182
click to vote
SEKE
2007
Springer
16 years 21 days ago
2007
Springer
Developing user interfaces for a heterogeneous environment is a difficult challenge. Partial distribution of the user interface is an event harder one. Specifically providing de...