3319 search results - page 83 / 664 » Subshifts, Languages and Logic |
131
click to vote
JOLLI
2006
15 years 6 months ago
2006
This paper develops an inference system for natural language within the `Natural Logic' paradigm as advocated by Van Benthem [11], S
162
click to vote
STTT
2010
15 years 28 days ago
2010
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
142
click to vote
ICLP
1999
Springer
15 years 10 months ago
1999
Springer
Knowledge representation in logics, even in the order-sorted logic that includes a sort hierarchy, tends to lose the conciseness and the nuances of natural language. If we could c...
162
click to vote
CSL
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. The relationship between automata and logics has been investigated since the 1960s. In particular, it was shown how to determine, given an automaton, whether or not it is...
145
click to vote
RULEML
2010
Springer
15 years 4 months ago
2010
Springer
We investigate the concept of norm compliance in business process modeling. In particular we propose an extension of Formal Contract Logic (FCL), a combination of defeasible logic ...