3572 search results - page 107 / 715 » Nominal Logic Programming |
125
click to vote
AMAI
2004
Springer
15 years 16 days ago
2004
Springer
We present systems of logic programming agents (LPAS) to model the interactions between decision-makers while evolving to a conclusion. Such a system consists of a number of agents...
116
Voted
JUCS
2010
14 years 7 months ago
2010
: This paper formalizes UML class diagrams and structural patterns as mathematical objects and provides a precise notion of conformance of a structural model specified as a class d...
107
Voted
CORR
2006
Springer
15 years 20 days ago
2006
Springer
In this paper, we present our proposal to Constraint Functional Logic Programming over Finite Domains (CFLP(FD) ) with a lazy functional logic programming language which seamlessl...
149
Voted
CORR
2004
Springer
15 years 14 days ago
2004
Springer
Many functional logic languages are based on narrowing, a unification-based goal-solving mechanism which subsumes the reduction mechanism of functional languages and the resolutio...
IAT
2008
IEEE
15 years 7 months ago
2008
IEEE
Logic Programming Update Languages were proposed as an extension of logic programming, which allow for modelling the dynamics of knowledge bases where both extensional knowledge (...