3776 search results - page 171 / 756 » Partition-Based Logical Reasoning |
145
click to vote
DLOG
2006
15 years 5 months ago
2006
An important reasoning task, in addition to the standard DL reasoning services, is conjunctive query answering. In this paper, we present algorithms for conjunctive query answerin...
111
Voted
DEON
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Logical architectures combine several logics into a more complex logical system. In this paper we study a logical architecture using input/output operations corresponding...
123
click to vote
LICS
2008
IEEE
15 years 10 months ago
2008
IEEE
We present a logic for algebraic effects, based on the algebraic representation of computational effects by operations and equations. We begin with the a-calculus, a minimal calcu...
88
Voted
NMR
2004
Springer
15 years 9 months ago
2004
Springer
Unlike most non-monotonic logics Plausible Logic was designed from the very beginning with computer implementation in mind. But one aspect of implementation was neglected, namely ...
131
Voted
PRICAI
2000
Springer
15 years 7 months ago
2000
Springer
Defeasible logic is a simple but efficient rule-based non-monotonic logic. It has powerful implementations and shows promise to be applied in the areas of legal reasoning and the m...