1083 search results - page 108 / 217 » Using Contextual Logic Programming for Temporal Reasoning |
153
click to vote
AMAI
2006
Springer
15 years 6 months ago
2006
Springer
The aim of this paper is to demonstrate that A-Prolog is a powerful language for the construction of reasoning systems. In fact, A-Prolog allows to specify the initial situation, t...
198
click to vote
AUSAI
2005
Springer
15 years 11 months ago
2005
Springer
In this paper, I will show how a controlled natural language can be used to describe knowledge for the Semantic Web and discuss the formal properties of this language. At the firs...
258
click to vote
ICLP
2009
Springer
16 years 6 months ago
2009
Springer
The paper describes a novel methodology to compute stable models in Answer Set Programming. The proposed approach relies on a bottom-up computation that does not require a prelimin...
156
click to vote
SEFM
2005
IEEE
15 years 11 months ago
2005
IEEE
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...
165
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
Church's Higher Order Logic is a basis for proof assistants -- HOL and PVS. Church's logic has a simple set-theoretic semantics, making it trustworthy and extensible. We ...