1083 search results - page 94 / 217 » Using Contextual Logic Programming for Temporal Reasoning |
134
Voted
ICTAC
2010
Springer
15 years 15 days ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
122
click to vote
ICLP
2005
Springer
15 years 8 months ago
2005
Springer
We present HYPROLOG, a novel integration of Prolog with assumptions and abduction which is implemented in and partly borrows syntax from Constraint Handling Rules (CHR) for integri...
159
click to vote
ILP
2004
Springer
15 years 8 months ago
2004
Springer
One challenge faced by many Inductive Logic Programming (ILP) systems is poor scalability to problems with large search spaces and many examples. Randomized search methods such as ...
124
Voted
EXPERT
2006
15 years 2 months ago
2006
on abstract principles that you can't easily apply in a formal, deductive fashion. So, the favorite tools of logicians and mathematicians, such as firstorder logic, aren'...
225
Voted
POPL
2005
ACM
16 years 2 months ago
2005
ACM
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a Hoare style to reason about dynamic updates of heap-like structures (Separatio...