Index of /~mjs/publications

 Name                         Last modified      Size  Description
 Parent Directory                                  -   
 AuthorityCertificates.pdf    2004-09-22 16:55  127K  
 BelnapChapter.pdf            2013-12-13 15:40  444K  
 BobPortrait.pdf              2004-09-22 13:30  176K  
 British Nationality Act.pdf  2006-07-10 16:36  1.6M  
 CCS_YAWL_FMEC05_GDNfinal.pdf 2013-12-13 16:23  3.4M  
 COALA04.pdf                  2004-09-28 17:17  120K  
 CTDStudiaLogica.pdf          2004-09-27 12:02  159K  
 ContractualAccess.pdf        2004-09-22 16:49  108K  
 DIS_SL.pdf                   2004-09-20 18:47  197K  
 DrugProtocols.pdf            2004-09-27 12:06   95K  
 DyadicDeontic.pdf            2004-09-27 11:58  237K  
 ESAWlncs_camera.pdf          2013-12-13 15:50  380K  
 EuclidFlorida.pdf            2004-09-27 12:08  167K  
 GovLomSer.pdf                2004-09-20 18:45  111K  
 ICCMSE03.pdf                 2004-09-22 17:16  169K  
 IJICS_Farrell_Sergot.pdf     2005-07-12 14:53  237K  
 InstitPower.pdf              2004-09-17 10:52  209K  
 JAL_craven_sergot.pdf        2013-12-13 16:11  355K  
 JALdeon02.pdf                2004-09-20 18:44  224K  
 LomRaiSerMoChart02.pdf       2004-09-20 18:50  1.5M  
 NormPos_Handbook.pdf         2013-12-13 15:44  517K  
 NormativeSystems.pdf         2004-09-17 11:14  304K  
 OLD_OLD_selected_pubs.html   2004-10-12 10:06   13K  
 OLD_selected_pubs.html       2006-03-13 11:29   15K  
 TBvisualisation.pdf          2004-09-20 18:36  586K  
 TOCLNormPos.pdf              2004-09-17 10:49  342K  
 TechReportLUCAvMay08c.pdf    2013-12-13 16:17  433K  
 TempObjects.pdf              2004-09-27 12:08  351K  
 WEC04.pdf                    2004-09-28 17:17   96K  
 aamas02.pdf                  2004-09-22 13:22  216K  
 aamas05pitt.pdf              2005-07-12 13:19  115K  
 aose02.pdf                   2004-09-22 13:21  239K  
 artikis-DEBS12.pdf           2013-12-13 15:53  1.4M  
 artikis-EIMM10.pdf           2013-12-13 15:59  233K  
 artikis-IGPL.pdf             2013-12-13 15:56  964K  
 artikis-tocl.pdf             2013-12-13 15:59  405K  
 cptimed.pdf                  2004-09-22 09:58  260K  
 dalt04.pdf                   2004-09-22 13:19  235K  
 deon00fi_nowy.pdf            2004-09-22 17:35  165K  
 deon06.pdf                   2013-12-13 16:14  172K  
 distsuffix-cpm2003.pdf       2004-09-22 17:15  257K  
 event calculus.pdf           2006-07-10 16:37  168K  
 fast03.pdf                   2004-09-22 16:49  174K  
 finalPolicy04.pdf            2004-09-27 11:51  122K  
 flbc.pdf                     2004-09-22 17:23  407K  
 ganesh.pdf                   2004-09-22 17:13  470K  
 icail03.pdf                  2004-09-22 13:21  183K  
 ireneLPNMR05.pdf             2005-07-12 14:56  139K  
 msras.pdf                    2006-01-11 12:28  195K  
 override-fast2004.pdf        2004-09-20 14:09  140K  
 schulz_commonsense13.pdf     2014-06-20 13:49  385K  
 selected_pubs.html           2014-06-20 15:46   22K  
 sergot-richards-deon00.pdf   2026-05-20 13:12  263K  
 sergot_craven_LPNMR05.pdf    2005-07-12 14:55  183K  
 texput.log                   2013-12-13 15:51  736   
 trevor_fuzzicalc.pdf         2014-01-21 14:44  211K