1588 search results - page 233 / 318 » On the Logic of Constitutive Rules |
GECCO
2005
Springer
15 years 7 months ago
2005
Springer
Designing technical plants is a complex and demanding process. It has been shown that the optimization of the simple facility placement problem is already NP-hard. Optimization of...
126
click to vote
JELIA
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Often, decision making involves autonomous agents that are structured in a complex hierarchy, representing e.g. authority. Typically the agents share the same body of kno...
121
click to vote
TYPES
1998
Springer
15 years 5 months ago
1998
Springer
We define a generic notion of cut that applies to many first-order theories. We prove a generic cut elimination theorem showing that the cut elimination property holds for all theo...
113
click to vote
CCS
2006
ACM
15 years 5 months ago
2006
ACM
The ability to automatically compose security policies created by multiple organizations is fundamental to the development of scalable security systems. The diversity of policies ...
164
click to vote
CICLING
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Semantic inference is an important component in many natural language understanding applications. Classical approaches to semantic inference rely on logical representatio...