3776 search results - page 199 / 756 » Partition-Based Logical Reasoning |
195
Voted
VMCAI
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. Logics that involve collections (sets, multisets), and cardinality constraints are useful for reasoning about unbounded data structures and concurrent processes. To make ...
240
click to vote
ICAIL
2009
ACM
16 years 1 months ago
2009
ACM
This paper describes a default-logic framework (plausibility schemas) and software tools (Decision ApprenticeTM and Legal ApprenticeTM ) for modeling, guiding and automating the r...
197
Voted
LPNMR
2007
Springer
16 years 1 months ago
2007
Springer
We show how to deploy the CIFF System 4.0 for abductive logic programming with constraints in a number of applications, ranging from combinatorial applications to web management. W...
162
Voted
JURIX
2008
15 years 8 months ago
2008
The paper presents a logic-based approach to legislative meta-drafting. A class of meta-data, corresponding to specific classes of legal provisions, is introduced and discussed. Su...
194
click to vote
AI
2007
Springer
15 years 7 months ago
2007
Springer
This paper introduces a Subjective Logic based argumentation framework primarily targeted at evidential reasoning. The framework explicitly caters for argument schemes, accrual of...