4266 search results - page 185 / 854 » A Framework for Defining Logics |
170
click to vote
PPDP
2004
Springer
15 years 12 months ago
2004
Springer
The new generic scheme CFLP(D) has been recently proposed in [24] as a logical and semantic framework for lazy constraint functional logic programming over a parametrically given ...
149
Voted
DEXA
2000
Springer
15 years 11 months ago
2000
Springer
The event calculus is a logic programming formalism for representing events and their effects especially in database applications. This paper presents the use of the event calculus...
188
click to vote
AGP
1997
IEEE
15 years 10 months ago
1997
IEEE
We propose an algorithm for learning abductive logic programs from examples. We consider the Abductive Concept Learning framework, an extension of the Inductive Logic Programming ...
170
click to vote
ACL
1997
15 years 8 months ago
1997
Recent work has seen the emergence of a common framework for parsing categorial grammar (CG) formalisms that fall within the 'type-logical' tradition (such as the Lambek...
179
click to vote
IPSN
2004
Springer
15 years 12 months ago
2004
Springer
This paper describes a modeling and simulation framework called VisualSense for wireless sensor networks that builds on and leverages Ptolemy II. This framework supports actor-ori...