2500 search results - page 34 / 500 » Logical Semantics of Modularisation |
143
Voted
EUSFLAT
2009
14 years 10 months ago
2009
In this paper we present the operational semantics of RFuzzy, a fuzzy Logic Programming framework that represents thruth values using real numbers from the unit interval. RFuzzy pr...
118
click to vote
JAIR
2007
15 years 15 days ago
2007
This work is a contribution to prioritized reasoning in logic programming in the presence of preference relations involving atoms. The technique, providing a new interpretation fo...
AMAI
2008
Springer
15 years 22 days ago
2008
Springer
The paper studies the relationship between logic programs with the stable model semantics and difference logic recently considered in the Satisfiability Modulo Theories framework....
104
click to vote
CONCUR
2004
Springer
15 years 6 months ago
2004
Springer
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
147
Voted
AI
2001
Springer
15 years 4 months ago
2001
Springer
The stable semantics has become a prime candidate for knowledge representation and reasoning. The rules associated with propositional logic programs and the stable semantics are no...