551 search results - page 56 / 111 » Realizability of Real-Time Logics |
171
click to vote
EJC
2010
15 years 23 days ago
2010
As a computational model of natural language communication, Database Semantics1 (DBS) includes a hearer mode and a speaker mode. For the content to be mapped into language expressi...
135
click to vote
JDCTA
2010
15 years 21 days ago
2010
This study employed WebAccess software to construct a remote graphic surveillance system, which was developed differently from previous remote monitoring systems. Advantech WebAcc...
175
click to vote
JAR
2002
15 years 5 months ago
2002
Abstract. Can theorem proving in mathematical logic be addressed by classical mathematical techniques like the calculus of variations? The answer is surprisingly in the affirmative...
189
click to vote
JAPLL
2011
15 years 26 days ago
2011
Due to the fact that a large number of our ethical and behavioural norms have a conditional form, it is of great importance that deontic logics give an account of deontic commitme...
180
click to vote
DAGSTUHL
2004
15 years 7 months ago
2004
In the last years we have developed a platform for the realization of embodied (conversational) agents, in a distributed logic programming framework. In this paper we will present...