3319 search results - page 145 / 664 » Subshifts, Languages and Logic |
103
Voted
RC
2002
15 years 12 days ago
2002
Existing interval constraint logic programming languages, such as BNR Prolog, work under the framework of interval narrowing and are deficient in solving systems of linear constrai...
104
click to vote
APLAS
2006
ACM
15 years 4 months ago
2006
ACM
We present a modal language for distributed computation which addresses the safety of mobile values as well as mobile code. The safety of mobile code is achieved with the modality...
81
Voted
JOLLI
2002
15 years 13 days ago
2002
A concept language with role intersection and number restriction is defined and its modal equivalent is provided. The main reasoning tasks of satisfiability and subsumption checkin...
100
click to vote
LPAR
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Recently, graded modalities have been added to the semantics of two of the logics most commonly used by the computer science community:
103
Voted
LPAR
2010
Springer
14 years 10 months ago
2010
Springer
In this paper we introduce an extension of propositional logic that allows clauses to be weighted with values from a generic semiring. The main interest of this extension is that ...