1083 search results - page 110 / 217 » Using Contextual Logic Programming for Temporal Reasoning |
233
Voted
ICFP
2009
ACM
16 years 3 months ago
2009
ACM
We define logical relations between the denotational semantics of a simply typed functional language with recursion and the operational behaviour of low-level programs in a varian...
109
Voted
ESWS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Description Logic Programs (DL-programs) have been introduced to combine ontological and rule-based reasoning in the context of the Semantic Web. A DL-program loosely com...
129
Voted
CISIS
2009
IEEE
15 years 9 months ago
2009
IEEE
—This paper describes a new logic-based approach for representing and reasoning about metabolic networks. First it shows how biological pathways can be elegantly represented in a...
135
Voted
FUIN
2010
15 years 10 hour ago
2010
In this paper we present the IDUM system, a successful application of logic programming to e-tourism. IDUM exploits two technologies that are based on the state-of-the-art ASP syst...
99
Voted
TPHOL
2007
IEEE
15 years 9 months ago
2007
IEEE
Cminor is a mid-level imperative programming language; there are proved-correct optimizing compilers from C to Cminor and from Cminor to machine language. We have redesigned Cminor...