4370 search results - page 557 / 874 » Algebra of Logic Programming |
120
click to vote
EJC
2003
15 years 6 months ago
2003
We present a logic programming based dialogue system that enables the access in natural language to the heterogeneous external relational databases of the Évora University. The p...
141
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The basic aim of our study is to give a possible model for handling uncertain information. This model is worked out in the framework of DATALOG. At first the concept of f...
126
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. This paper presents an implementation of (a simplified version of) the cognitive agent programming language 3APL in the Maude term rewriting language. Maude is based on t...
271
Voted
POPL
2007
ACM
16 years 4 months ago
2007
ACM
Constraint Handling Rules (CHR) is a concurrent committedchoice constraint logic programming language to describe transformations (rewritings) among multi-sets of constraints (ato...
121
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
We describe a monadic interface to low-level hardware features that is a suitable basis for building operating systems in Haskell. The interface includes primitives for controllin...