1167 search results - page 147 / 234 » A Really Temporal Logic |
130
click to vote
AMR
2007
Springer
15 years 10 months ago
2007
Springer
This paper is a critical analysis of the use of ontology as an instrument to specify the semantics of a document. The paper argue that not only is a logic of the type used in ontol...
129
click to vote
AAAI
1993
15 years 5 months ago
1993
Roughly speaking, adequatness is the property of a theorem proving method to solve simpler problems faster than more difficult ones. Automated inferencing methods are often not ad...
234
click to vote
EXACT
2009
15 years 2 months ago
2009
In this paper a representative example is chosen that is meant be fairly simple for illustrating the point that in a very common kind of instance, argument and explanation are mixe...
142
click to vote
DIGRA
2005
Springer
15 years 10 months ago
2005
Springer
Game studies methodologies which focus on the visual, narrative, and semiotic content of digital games overlook the way that embodied perception and physiological response contrib...
153
click to vote
APN
2008
Springer
15 years 6 months ago
2008
Springer
In this paper, we address the class of bounded Petri nets with stopwatches (SwPNs), which is an extension of T-time Petri nets (TPNs) where time is associated with transitions. Con...