926 search results - page 28 / 186 » Prolog as the First Programming Language |
116
Voted
ISMIS
1994
Springer
15 years 5 months ago
1994
Springer
We assume that safety of information stored in a database depends on the reliability of the agents who have performed the insertions in the database. We present a logic S to repres...
163
Voted
AGP
2010
IEEE
14 years 11 months ago
2010
IEEE
The Italian Logic Programming community has given several contributions to the theory of Concurrent Constraint Programming. In particular, in the topics of semantics, verification,...
128
Voted
ICLP
1999
Springer
15 years 5 months ago
1999
Springer
A declarative programming language has two kinds of semantics. The tract helps in reasoning about speci cations and correctness, while an operational semantics determines the mann...
84
Voted
EJC
2003
15 years 2 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...
106
Voted
AMC
2006
15 years 1 months ago
2006
This paper presents a new functional computation model for developing a class of two-variable Lambda-Boolean functions, and describes the properties of the duality principle on th...