4370 search results - page 304 / 874 » Algebra of Logic Programming |
110
click to vote
JLP
2000
15 years 16 days ago
2000
The independent choice logic (ICL) is part of a project to combine logic and decision/game theory into a coherent framework. The ICL has a simple possible-worlds semantics charact...
105
Voted
JSYML
2010
14 years 11 months ago
2010
Continuous first-order logic has found interest among model theorists who wish to extend the classical analysis of “algebraic” structures (such as fields, group, and graphs) ...
104
click to vote
PEPM
2010
ACM
15 years 9 months ago
2010
ACM
We present two tools which together allow reasoning about (a substantial subset of) Haskell programs. One is the code generator of the proof assistant Isabelle, which turns speci...
106
click to vote
ATAL
2000
Springer
15 years 5 months ago
2000
Springer
This paper presents a programmable logic-based agent control system that interleaves planning, plan execution and perception. In this system, a program is a collection of logical f...
113
Voted
ICSM
2002
IEEE
15 years 5 months ago
2002
IEEE
Component recovery and remodularization is a means to get back control on large and complex legacy systems suffering from ad-hoc changes by recovering logical components and restr...