5506 search results - page 248 / 1102 » Minimal Logic Programs |
123
click to vote
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
The term grammar-based software describes software whose input can be specified by a context-free grammar. This grammar may occur explicitly in the software, in the form of an in...
138
click to vote
ECSQARU
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing con...
145
click to vote
PEPM
2010
ACM
16 years 1 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...
141
click to vote
ATAL
2000
Springer
15 years 8 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...
154
click to vote
ICSM
2002
IEEE
15 years 9 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...