2540 search results - page 65 / 508 » Abstract Logics as Dialgebras |
157
click to vote
ESWS
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. We propose a general method and novel algorithmic techniques to facilitate the integration of independently developed ontologies using mappings. Our method and techniques...
158
click to vote
TGC
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. Ghost variables are assignable variables that appear in program annotations but do not correspond to physical entities. They are used to facilitate specification and ver...
149
click to vote
LPNMR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a declarative language, PP, for the specification of preferences between possible solutions (or trajectories) of a planning problem. This novel language allow...
195
click to vote
AGENTCL
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. An agent communication protocol specifies the rules of interaction governing a dialogue between agents in a multiagent system. In non-cooperative interactions (such as n...
143
click to vote
ICES
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We present a systematic procedure for the synthesis and minimisation of digital circuits using propositional satisfiability. We encode the truth table into a canonical s...