1174 search results - page 37 / 235 » A Logical Approach to Abstract Algebra |
AB
2008
Springer
13 years 12 months ago
2008
Springer
Abstract. Among all the modeling approaches dedicated to cellular biology, differential algebra is particularly related to the well-established one based on nonlinear differential ...
CSL
2010
Springer
13 years 11 months ago
2010
Springer
Our goal is to identify families of relations that are useful for reasoning about software. We describe such families using decidable quantifier-free classes of logical constraints...
OTM
2007
Springer
14 years 4 months ago
2007
Springer
In this paper we describe a fuzzy Description Logic reasoner which implements resolution in order to provide reasoning services for expressive fuzzy DLs. The main innovation of thi...
DLOG
2008
14 years 7 days ago
2008
Abstract. We show that subsumption problems in EL and related description logics can be expressed as uniform word problems in classes of semilattices with monotone operators. We us...
FSEN
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. ToolBus allows to connect tools via a software bus. Programming is done using the scripting language Tscript, which is based on the process algebra ACP. In previous work ...