424 search results - page 31 / 85 » Majority Logic |
MEMBRANE
2004
Springer
15 years 5 months ago
2004
Springer
LMNtal (pronounced “elemental”) is a simple language model based on graph rewriting that uses logical variables to represent links and membranes to represent hierarchies. The ...
105
click to vote
FLOPS
2010
Springer
15 years 6 months ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
ILP
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. It is well known by Inductive Logic Programming (ILP) practioners that ILP systems usually take a long time to find valuable models (theories). The problem is specially ...
SEMWEB
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. After becoming a W3C Recommendation, OWL is becoming increasingly widely accepted and used. However most people still find it difficult to create and use OWL ontologies...
MKM
2004
Springer
15 years 5 months ago
2004
Springer
A major obstacle for bridging the gap between textbook mathematics and formalising it on a computer is the problem how to adequately capture the intuition inherent in the mathemati...