3693 search results - page 685 / 739 » Splitting a Logic Program |
ATAL
2009
Springer
14 years 18 days ago
2009
Springer
The Goal Decomposition Tree model has been introduced in 2005 by Mermet et al. [9] to specify and verify the behaviour of an agent evolving in a dynamic environment. This model pr...
AGENTS
2001
Springer
14 years 14 days ago
2001
Springer
We present and implement an infrastructure for automating the negotiation of business contracts. Underlying our system is a declarative language for both (1) fully-specified, exe...
ICSE
2001
IEEE-ACM
14 years 12 days ago
2001
IEEE-ACM
The design of ad hoc mobile applications often requires the availability of a consistent view of the application state among the participating hosts. Such views are important beca...
EH
2000
IEEE
14 years 11 days ago
2000
IEEE
Reconfigurable chips are integrated circuits whose internal connections can be programmed by the user to attend a specific application. Field Programmable Gate Arrays (FPGAs) and ...
SIGSOFT
2000
ACM
14 years 9 days ago
2000
ACM
Constraint-based languages can express in a concise way the complex logic of a new generation of interactive services for applications such as banking or stock trading, that must ...