1027 search results - page 54 / 206 » Representing and Reasoning with Operational Semantics |
97
Voted
TAPSOFT
1997
Springer
15 years 4 months ago
1997
Springer
Abstract. Reasoning on programs and automated deduction often require the manipulation of in nite sets of objects. Many formalisms have been proposed to handle such sets. Here we d...
115
Voted
FUIN
2008
15 years 20 days ago
2008
Abstract. Software systems evolve over time. From a component-based software engineering perspective, this means that either the components of the system need to change, or, if com...
116
click to vote
TIME
1994
IEEE
15 years 4 months ago
1994
IEEE
We formulate an algebra of binary temporal relations between events the number of occurrences of which is unknown, but which are known to recur in time. Ontologically, we view the...
142
click to vote
SEMWEB
2009
Springer
15 years 5 months ago
2009
Springer
Abstract—For many tasks, such as the integration of knowledge bases in the semantic web, one must not only handle the knowledge itself, but also characterizations of this knowled...
135
Voted
AAMAS
2011
Springer
14 years 7 months ago
2011
Springer
We present a family of sound and complete logics for reasoning about deliberation strategies for SimpleAPL programs. SimpleAPL is a fragment of the agent programming language 3APL...