3738 search results - page 456 / 748 » Parametrized Logic Programming |
129
Voted
CADE
1990
Springer
15 years 5 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...
108
Voted
EACL
2003
ACL Anthology
15 years 2 months ago
2003
ACL Anthology
This paper provides a method for generating compact and efficient code to implement the enforcement of a description in typed feature logic. It does so by viewing information abo...
101
Voted
CORR
2008
Springer
15 years 1 months ago
2008
Springer
We describe Haskell implementations of interesting combinatorial generation algorithms with focus on boolean functions and logic circuit representations. First, a complete exact c...
124
Voted
ENTCS
2008
15 years 1 months ago
2008
Most implementations of functional and functional logic languages treat numbers and the basic numeric operations as external entities. The main reason for this is efficiency. Howe...
103
Voted
ECRA
2002
15 years 28 days ago
2002
This paper presents a formal and executable approach to capture the behaviour of parties involved in a negotiation. A party is modeled as a negotiating agent composed of a communi...