150 search results - page 17 / 30 » A Functorial Framework for Constraint Normal Logic Programmi... |
ECAI
2004
Springer
14 years 28 days ago
2004
Springer
Knowledge-based programs (KBPs) are a powerful notion for expressing action policies in which branching conditions refer to implicit knowledge and call for a deliberation task at e...
INAP
2001
Springer
13 years 12 months ago
2001
Springer
Universidade de ´Evora’s Integrated Information System (SIIUE) aims at representing the entire universe of concepts useful for the management and day-to-day operation of the Or...
ATAL
2007
Springer
13 years 11 months 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...
VMCAI
2004
Springer
14 years 26 days ago
2004
Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...
COMSWARE
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— Wireless sensor networks consist of small, inexpensive devices which interact with the environment, communicate with each other, and perform distributed computations in...