Sciweavers

8766 search results - page 157 / 1754
» Functional logic programming
Sort
View
EPIA
2001
Springer
15 years 2 months ago
On the Use of Multi-dimensional Dynamic Logic Programming to Represent Societal Agents' Viewpoints
This paper explores the applicability of the new paradigm of Multi-dimensional Dynamic Logic Programming to represent an agent’s view of the combination of societal knowledge dyn...
João Alexandre Leite, José Jú...
CL
2000
Springer
15 years 2 months ago
Logic Program Synthesis in a Higher-Order Setting
We describe a system for the synthesis of logic programs from specifications based on higher-order logical descriptions of appropriate refinement operations. The system has been ...
David Lacey, Julian Richardson, Alan Smaill
CL
2000
Springer
15 years 2 months ago
Multi-dimensional Dynamic Logic Programming
This paper explores the applicability of the new paradigm of Multi-dimensional Dynamic Logic Programming to represent an agent’s view of the combination of societal knowledge dyn...
João Alexandre Leite, José Jú...
FSS
2007
89views more  FSS 2007»
14 years 10 months ago
Fuzzy logic programming via multilattices
We investigate the use of multilattices as the set of truth-values underlying a general fuzzy logic programming framework. On the one hand, some theoretical results about ideals o...
Jesús Medina, Manuel Ojeda-Aciego, Jorge Ru...
COMPSAC
1996
IEEE
15 years 2 months ago
A Logic Database System with Extended Functionality
We present the architecture and design details of a logic database system that extends functionality in a number of ways. The system supports indefinite (non-Horn) facts in extens...
Sang-goo Lee, Dong-Hoon Choi, Sang-Ho Lee