3481 search results - page 61 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
ATAL
2007
Springer
14 years 26 days ago
2007
Springer
This paper studies a logical framework for automated negotiation between two agents. We suppose an agent who has a knowledge base represented by a logic program. Then, we introduc...
FOSSACS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new inte...
IDC
2009
Springer
14 years 3 months ago
2009
Springer
In the last fifteen years many work in logic programming has focussed on parallel implementations both in shared memory and in distributed memory multiprocessor systems. In both c...
ICALP
2007
Springer
14 years 22 days ago
2007
Springer
We study the definability of constraint satisfaction problems (CSP) in various fixed-point and infinitary logics. We show that testing the solvability of systems of equations over...
CORR
2004
Springer
13 years 8 months ago
2004
Springer
We present role logic, a notation for describing properties of relational structures in shape analysis, databases, and knowledge bases. We construct role logic using the ideas of ...