2766 search results - page 7 / 554 » Hybridizing a Logical Framework |
AIML
2008
13 years 11 months ago
2008
In this paper we define a many-valued semantics for hybrid logic and we give a sound and complete tableau system which is prooftheoretically well-behaved, in particular, it gives r...
HYBRID
2005
Springer
14 years 3 months ago
2005
Springer
By transferring the theory of hybrid systems to a categorical framework, it is possible to develop a homology theory for hybrid systems: hybrid homology. This is achieved by consid...
CP
2005
Springer
14 years 3 months ago
2005
Springer
The eplex library of the ECLi PSe Constraint Logic Programming platform allows the integration of Mathematical Programming techniques with its native Constraint Logic Programming t...
PPDP
2009
Springer
14 years 4 months ago
2009
Springer
Hybrid is a system developed to specify and reason about logics, programming languages, and other formal systems expressed in rder abstract syntax (HOAS). An important goal of Hyb...
AAAI
2008
14 years 4 days ago
2008
In this paper, we propose the use of a neuro-fuzzy strategy to develop a Web personalization framework for the dynamic suggestion of URLs retained interesting for the currently co...