4074 search results - page 446 / 815 » Abstract Graph Transformation |
198
click to vote
AIML
1998
15 years 9 months ago
1998
Abstract. This paper presents a resolution decision procedure for transitive propositional modal logics. The procedure combines the relational translation method with an ordered ch...
208
click to vote
ECAI
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. This paper puts forward a view on conditional commitments as causal rules, using action language K as the specification framework. The proposal builds upon an operational...
167
click to vote
COGSCI
2008
15 years 7 months ago
2008
Examples from Archimedes, Galileo, Newton, Einstein, and others suggest that fundamental laws of physics were--or, at least, could have been--discovered by experiments performed n...
154
click to vote
IANDC
2008
15 years 7 months ago
2008
Abstract. Boolean grammars are an extension of context-free grammars, in which all propositional connectives are allowed. In this paper, the notion of ambiguity in Boolean grammars...
167
click to vote
DSS
2007
15 years 7 months ago
2007
Abstract. In this paper, the optimization of the Berth Allocation Problem (BAP) is transformed into a multiple stage decision making procedure and a new stochastic beam search algo...