Search
Now showing items 1-10 of 96
Extended conformal symmetries and U(1) currents
(1989)
The authors investigate the structure of extended conformal algebras generated by local chiral fields of spin 1,2,. . .,n using the Gelfand-Dickey algebra of formal pseudodifferential operators for the gl(n) algebra. The ...
Using argumentation logic for firewall policy specification and analysis
(2006)
Firewalls are important perimeter security mechanisms that imple-ment an organisation's network security requirements and can be notoriously difficult to configure correctly. Given their widespread use, it is crucial that ...
Using argumentation logic for firewall configuration management
(2009)
Firewalls remain the main perimeter security protection for corporate networks. However, network size and complexity make firewall configuration and maintenance notoriously difficult. Tools are needed to analyse firewall ...
The scientific contribution of marek sergot
(2012)
Marek Sergot's technical contributions range over different subjects. He has developed a series of novel ideas and formal methods bridging different research domains, such as artificial intelligence, computational logic, ...
Quantum mechanics of non-linear systems
(1987)
A generalisation of Weyl's correspondence rule and the associated Moyal bracket for systems with non-linear phase spaces that admit symplectic transitive group actions is presented. This provides a simple account with ...
Virasoro algebra anomalies and deformations
(1987)
The authors relate the anomalies of string theories to the mathematical obstructions of Dirac's canonical quantisation. The cohomological features of the deformation approach to the quantisation procedure determine the ...
The KGP model of agency for Global Computing: Computational model and prototype implementation
(2005)
We present the computational counterpart of the KGP (Knowledge, Goals, Plan) declarative model of agency for Global Computing. In this context, a computational entity is seen as an agent developed using Computational Logic ...
Crafting the mind of prosocs agents
(2006)
PROSOCS agents are software agents that are built according to the KGP model of agency. KGP is used as a model for the mind of the agent, so that the agent can act autonomously using a collection of logic theories, providing ...
Inference of gene relations from microarray data by abduction
(2005)
We describe an application of Abductive Logic Programming (ALP) to the analysis of an important class of DNA microarray experiments. We develop an ALP theory that provides a simple and general model of how gene interactions ...