5506 search results - page 128 / 1102 » Minimal Logic Programs |
147
click to vote
WFLP
2000
Springer
15 years 6 months ago
2000
Springer
We describe the current status of the development of CFLP, a system which aims at the integration of the best features of functional logic programming (FLP), cooperative constrain...
122
Voted
AAAI
2004
15 years 4 months ago
2004
We propose and study extensions of logic programming with constraints represented as generalized atoms of the form C(X), where X is a finite set of atoms and C is act constraint (...
139
click to vote
JISBD
2003
15 years 4 months ago
2003
The importance of temporal representation and reasoning is well known to the database community. Examples of such significance are the languages TSQL2 and its follow up, SQL/Tempo...
138
click to vote
IJCAI
1989
15 years 4 months ago
1989
The foundations of a class of logic programming systems with the expressive power of full first-order logic and a non-monotonic component is addressed. The underlying refutation m...
151
click to vote
AMAI
2004
Springer
15 years 3 months 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...