1083 search results - page 161 / 217 » Using Contextual Logic Programming for Temporal Reasoning |
129
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...
136
click to vote
ASP
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Ordered Choice Logic Programming (OCLP) allows for preferencebased decision-making with multiple alternatives and without the burden of any form of negation. This complet...
117
click to vote
ECOOP
2010
Springer
15 years 6 months ago
2010
Springer
Recently, object-oriented languages, such as C , have been extended with language features prevalent in most functional languages: parametric polymorphism and higher-order function...
112
click to vote
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
We present Phantm, a static analyzer that uses a flowsensitive analysis to detect type errors in PHP applications. Phantm can infer types for nested arrays, and can leverage runti...
124
click to vote
IADIS
2004
15 years 3 months ago
2004
Nowadays, wearable devices, such as mobile phones, PDAs, etc. gain widespread popularity for communication and data exchange. Consequently, several approaches investigate the prob...