3470 search results - page 363 / 694 » Head-Elementary-Set-Free Logic Programs |
166
click to vote
LFCS
2007
Springer
16 years 25 days ago
2007
Springer
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...
169
Voted
SEMWEB
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. An important open question in the semantic Web is the precise relationship between the RDF(S) semantics and the semantics of standard knowledge representation formalisms ...
183
click to vote
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
Programs written in managed languages are compiled to a platform-independent intermediate representation, such as Java bytecode. The relative high level of Java bytecode has engen...
171
click to vote
IFIP
2009
Springer
16 years 1 months ago
2009
Springer
Application or business logic, used in the development of services, has to do with the operations that define the application functionalities and not with the platform ones. Often...
171
click to vote
TACS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We present two modal typing systems with the approximation modality, which has been proposed by the author to capture selfreferences involved in computer programs and the...