3658 search results - page 340 / 732 » The logic of proofs, semantically |
178
Voted
ICLP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The system presented in this paper aims at using Contextual Logic Programming as a computational hub for knowledge modeled by web ontologies and enable querying that repr...
158
Voted
AMAST
2004
Springer
16 years 8 days ago
2004
Springer
We present a logic for reasoning about LOTOS behaviours which allows properties involving repeated patterns over actions and data to be expressed. The semantics of the logic is giv...
144
click to vote
DEON
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. By making use of modal logic techniques, the paper disentangles two semantically different readings of statements of the type X counts as Y in context C (the classificato...
170
Voted
ISMVL
2010
IEEE
15 years 8 months ago
2010
IEEE
—In this paper we examine different possibilities of defining reduced products and ultraproducts in fuzzy predicate logics. We present analogues to the Łos Theorem for these no...
171
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
The Sematic Web is vitally dependant on a formal meaning for the constructs of its languages. For Semantic Web languages to work well together their formal meanings must employ a ...