Searching for authors named "Mark Ryan" – sorted by Relevance.
52 documents found, showing 1 through 10.
Next 10 →
-
FireWorks - Technical Report for Year 2
- … Coordinator: Mark Ryan, School of Computer Science, University of Birmingham, Birmingham B15 2TT, UK. Tel: +44…
- Add To MetaCart
-
Belief Revision and Ordered Theory Presentations
- …Belief revision and ordered theory presentations Mark Ryan y Abstract The standard theory…
- Cited by 6 (1 self) – Add To MetaCart
-
Feature-oriented programming: A case study using the SMV language
- …Feature-oriented programming: A case study using the SMV language Mark Ryan School of Computer…
- Cited by 3 (0 self) – Add To MetaCart
-
Prioritising Preference Relations
- …Prioritising Preference Relations Mark Ryan Department of Computing, Imperial College 180 Queens…
- Cited by 5 (3 self) – Add To MetaCart
-
Defaults and Revision in Structured Theories
- …Defaults and Revision in Structured Theories Mark Ryan y Abstract Starting from a logic which…
- Cited by 33 (16 self) – Add To MetaCart
-
Defaults in Specifications
- …Defaults in Specifications Mark Ryan Department of Computing Imperial College London SW7 2BZ E…
- Cited by 14 (2 self) – Add To MetaCart
-
Representing Defaults as Sentences with Reduced Priority
- …Representing Defaults as Sentences with Reduced Priority Mark Ryan Department of Computing…
- Cited by 28 (5 self) – Add To MetaCart
-
The feature construct for SMV: semantics
- …The feature construct for SMV: semantics Malte Plath and Mark Ryan School of Computer Science…
- Cited by 2 (0 self) – Add To MetaCart
-
Intertranslating Counterfactuals and Updates
- …Intertranslating Counterfactuals and Updates Mark Ryan 1 and Pierre-Yves Schobbens 2 Abstract…
- Cited by 3 (1 self) – Add To MetaCart
-
A Feature Construct for PROMELA
- …A Feature Construct for Promela Malte Plath and Mark Ryan School of Computer Science University…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
