Sciweavers

3970 search results - page 225 / 794
» A Logic For Causal Reasoning
Sort
View
ICAIL
2009
ACM
14 years 4 months ago
Plausibility schemas: templates for legal factfinding
This paper describes a default-logic framework (plausibility schemas) and software tools (Decision ApprenticeTM and Legal ApprenticeTM ) for modeling, guiding and automating the r...
Vern R. Walker
LPNMR
2007
Springer
14 years 3 months ago
Programming Applications in CIFF
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...
Paolo Mancarella, Fariba Sadri, Giacomo Terreni, F...
JURIX
2008
13 years 11 months ago
Formal Aspects of Legislative Meta-Drafting
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...
Carlo Biagioli, Davide Grossi
AI
2007
Springer
13 years 9 months ago
Subjective logic and arguing with evidence
This paper introduces a Subjective Logic based argumentation framework primarily targeted at evidential reasoning. The framework explicitly caters for argument schemes, accrual of...
Nir Oren, Timothy J. Norman, Alun D. Preece
NMR
2004
Springer
14 years 3 months ago
A first approach to argument-based recommender systems based on defeasible logic programming
Recommender systems have evolved in the last years as specialized tools to assist users in a plethora of computermediated tasks by providing guidelines or hints. Most recommender ...
Carlos Iván Chesñevar, Ana Gabriela ...