Sciweavers

DAM
1999
89views more  DAM 1999»
14 years 7 days ago
Accuracy of Techniques for the Logical Analysis of Data
We analyse the generalisation accuracy of standard techniques for the `logical analysis of data', within a probabilistic framework.
Martin Anthony
CIC
2004
101views Communications» more  CIC 2004»
14 years 2 months ago
Lexicons in TIL and Verb Valency Frames
Abstract--The types of lexicons necessary for Transparent Intensional Logic (TIL) logical analysis will be described. We will show the algorithm for analysing the TIL verbal object...
Ales Horák, Karel Pala
DEON
2010
Springer
14 years 3 months ago
A Logical Model of Private International Law
We provide a logical analysis of private international law, the body of law establishing when courts of a country should decide a case (jurisdiction) and what legal system they sho...
Phan Minh Dung, Giovanni Sartor