4370 search results - page 338 / 874 » Algebra of Logic Programming |
ICALP
2009
Springer
16 years 3 months ago
2009
Springer
117
click to vote
ICSE
2007
IEEE-ACM
16 years 3 months ago
2007
IEEE-ACM
We present Trio2Promela, a tool for model checking metric temporal logic specifications written in the TRIO language. Our approach is based on the translation of formulae into Pro...
133
click to vote
ICLP
1995
Springer
15 years 6 months ago
1995
Springer
Abstract. The Event Calculus is a narrative based formalism for reasoning about actions and change originally proposed in logic programming form by Kowalski and Sergot. In this pap...
134
click to vote
LOPSTR
1995
Springer
15 years 6 months ago
1995
Springer
We present an automated proof method for constructive logic based on Wallen’s matrix characterization for intuitionistic validity. The proof search strategy extends Bibel’s con...
108
click to vote
WSC
2007
15 years 5 months ago
2007
There has long been a competition between simulation and optimization in the modeling of problems in transportation and logistics, machine scheduling and similar highdimensional p...