1027 search results - page 93 / 206 » Representing and Reasoning with Operational Semantics |
129
Voted
FROCOS
2009
Springer
15 years 5 months ago
2009
Springer
We discuss a new concept of agent programs that combines logic programming with reasoning about actions. These agent logic programs are characterized by a clear separation between ...
107
Voted
TIME
1997
IEEE
15 years 5 months ago
1997
IEEE
Kowalski and Sergot’s Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, allows the derivation of the maximal validity intervals (MVIs) o...
DLOG
1997
15 years 2 months ago
1997
This paper proposes a novel interactive tool designed to support the graphical inspection of large semantic models. The idea is to view the iterative inspection process as a serie...
EUROGP
2010
Springer
2010
Springer
Improving the Generalisation Ability of Genetic Programming with Semantic Similarity based Crossover
15 years 1 months ago
This paper examines the impact of semantic control on the ability of Genetic Programming (GP) to generalise via a semantic based crossover operator (Semantic Similarity based Cross...
103
Voted
SEMWEB
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. The Rule Interchange Format Production Rule Dialect (RIFPRD) is a W3C Recommendation to define production rules for the Semantic Web, whose semantics is defined operation...