551 search results - page 1 / 111 » {log}: A Logic Programming Language with Finite Sets |
ICLP
1991
Springer
13 years 8 months ago
1991
Springer
An extended logic programming language embodying sets is developed in successive stages, introducing at each stage simple set dictions and operations, and discussing their operati...
ELP
1992
13 years 9 months ago
1992
LPNMR
2007
Springer
13 years 11 months ago
2007
Springer
Recent research in answer-set programming (ASP) is concerned with the problem of finding faithful transformations of logic programs under the stable semantics. This is in particul...
SAC
2000
ACM
13 years 9 months ago
2000
ACM
We describe a language providing concepts for modeling autonomous entities (agents) and cooperating entities (groups). Agents are the execution units of a GroupLog program. Each a...
ICLP
1994
Springer
13 years 9 months ago
1994
Springer
Constructive negation has been proved to be a valid alternative to negation as failure, especially when negation is required to have, in a sense, an `active' role. In this pa...