4370 search results - page 29 / 874 » Algebra of Logic Programming |
RSCTC
2004
Springer
14 years 2 months ago
2004
Springer
CAGD
2010
13 years 6 months ago
2010
DEON
2010
Springer
13 years 9 months ago
2010
Springer
The aim of the present paper is to provide a metalogical systematisation in the area of deontic action logic based on Boolean algebra. Differences among the systems in question lie...
ICLP
2003
Springer
14 years 2 months ago
2003
Springer
Concurrent constraint programming (ccp) is a model of concurrency for systems in which agents (also called processes) interact with one another by telling and asking information in...
ISSAC
1994
Springer
14 years 28 days ago
1994
Springer
After four years of experience with the nonassociative algebra program Albert, we highlight its successes and drawbacks. Among its successes are the discovery of several new resul...