3385 search results - page 269 / 677 » Language, Logic, and the Brain |
195
click to vote
CONCUR
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. We consider linear time temporal logic enriched with semiextended regular expressions through various operators that have been proposed in the literature, in particular i...
189
click to vote
TABLEAUX
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications (e.g., configuration and information...
166
click to vote
ECAI
2004
Springer
16 years 4 days ago
2004
Springer
In description logics, concrete domains are used to model concrete properties such as weight, name, or age, having concrete values such as integers or strings, with built-in predic...
159
click to vote
ICALP
2004
Springer
16 years 4 days ago
2004
Springer
In multi-valued model checking, a temporal logic formula is interpreted relative to a structure not as a truth value but as a lattice element. In this paper we present new algorith...
165
click to vote
ANSS
2003
IEEE
16 years 1 days ago
2003
IEEE
In this work, we present a computational behavioral model for logic gates called Internode (Internal Node Logic Computational Model) that considers the functionality of the gate a...