Sciweavers

3119 search results - page 166 / 624
» General Default Logic
Sort
View
FCT
2003
Springer
14 years 4 months ago
Compositionality of Hennessy-Milner Logic through Structural Operational Semantics
This paper presents a method for the decomposition of HML formulae. It can be used to decide whether a process algebra term satisfies a HML formula, by checking whether subterms s...
Wan Fokkink, Rob J. van Glabbeek, Paulien de Wind
DLOG
2008
14 years 1 months ago
Visualization of Description Logic Models
Many visualization frameworks for ontologies in general and for concept expressions in particular are too faithful to the syntax of the languages in which those objects are represe...
Fernando Náufel do Amaral, Carlos Bazilio M...
ISMB
1994
14 years 2 days ago
A Restriction Mapping Engine Using Constraint Logic Programming
Restrictionmappinggenerallyrequires the applicationof information from various digestions by restriction enzymesto find solution sets. Weuse boththe predicate calculusandconstrain...
Trevor I. Dix, Chut N. Yee
MSCS
2007
117views more  MSCS 2007»
13 years 10 months ago
Proofs, denotational semantics and observational equivalences in Multiplicative Linear Logic
We study full completeness and syntactical separability of MLL proof nets with the mix rule. The general method we use consists first in addressing the two questions in the less ...
Michele Pagani
CORR
2010
Springer
138views Education» more  CORR 2010»
13 years 9 months ago
Feedback control logic synthesis for non safe Petri nets
– This paper addresses the problem of forbidden states of non safe Petri Net (PN) modelling discrete events systems. To prevent the forbidden states, it is possible to use condit...
Abbas Dideban, Hassane Alla