Sciweavers

4674 search results - page 135 / 935
» cases 2008
Sort
View
OWLED
2008
15 years 7 months ago
Judging Amy: Automated Legal Assessment using OWL 2
One of the most salient tasks in law is legal assessment, and concerns the problem of determining whether some case is allowed or disallowed given an appropriate body of legal norm...
Saskia van de Ven, Rinke Hoekstra, Joost Breuker, ...
AIML
2004
15 years 7 months ago
On the Modularity of Theories
In this paper we give the notion of modularity of a theory and analyze some of its properties, especially for the case of action theories in reasoning about actions. We propose alg...
Andreas Herzig, Ivan José Varzinczak
AIML
2006
15 years 7 months ago
Bisimulation Quantified Modal Logics: Decidability
Bisimulation quantifiers are a natural extension of modal logics. They preserve the bisimulation invariance of modal logic, while allowing monadic second-order expressivity. Unfort...
Tim French
COMMA
2006
15 years 7 months ago
Translating Wigmore Diagrams
In the early 20th century, J.H. Wigmore described a new method for analysing and laying out arguments in legal cases. His proposal was the first system of argument diagramming, and...
Glenn Rowe, Chris Reed
COLING
1990
15 years 7 months ago
When Something Is Missing: Ellipsis, Coordination and the Chart
This paper deals with two linguistic phenomena which are usually considered cases of ill-formedness by the computational linguistics community: intersentential ellipsis and coordi...
Alberto Lavelli, Oliviero Stock