1269 search results - page 114 / 254 » Pi-Calculus in Logical Form |
80
Voted
CORR
2010
Springer
15 years 24 days ago
2010
Springer
The Lambek calculus L provides a foundation for categorial grammar in the form of a logic of concatenation. But natural language is characterized by dependencies which may also be...
102
Voted
FAC
2007
15 years 20 days ago
2007
In object-oriented programming, reentrant method invocations and shared references make it difficult to achieve adequate encapsulation for sound modular reasoning. This tutorial p...
134
click to vote
PKDD
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Problem solving with experiences that are recorded in text form requires a mapping from text to structured cases, so that case comparison can provide informed feedback fo...
108
Voted
KR
2004
Springer
15 years 6 months ago
2004
Springer
Temporal reasoning has always been a major test case for knowledge representation formalisms. In this paper, we develop an inductive variant of the situation calculus using the Lo...
114
Voted
EVOW
1994
Springer
15 years 4 months ago
1994
Springer
The genetic programming (GP) paradigm is a new approach to inductively forming programs that describe a particular problem. The use of natural selection based on a fitness ]unction...