2500 search results - page 84 / 500 » Logical Semantics of Modularisation |
106
click to vote
IAT
2009
IEEE
15 years 3 months ago
2009
IEEE
Recently, multi-attribute negotiation has been extensively studied from a game-theoretic viewpoint. Since normal and extensive form games have the drawback of requiring an explicit...
108
click to vote
FOIKS
2008
Springer
15 years 20 days ago
2008
Springer
Logic programs under answer-set semantics constitute an important tool for declarative problem solving. In recent years, two research issues received growing attention. On the one ...
MFCS
1997
Springer
15 years 3 months ago
1997
Springer
The aim of this paper is an integration of graph grammars with different kinds of behavioural constraints, in particular with temporal logic constraints. Since the usual algebraic ...
91
Voted
DLOG
2003
15 years 15 days ago
2003
The Semantic Web initiative defines important challenges for knowledge representation and database systems. Recently, several standards for representation languages have been pro...
IDC
2009
Springer
15 years 5 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...