530 search results - page 46 / 106 » The Valid Model Semantics for Logic Programs |
162
click to vote
TASE
2009
IEEE
16 years 21 days ago
2009
IEEE
A modelling language can be defined by a metamodel in UML class diagram. This paper defines the semantics of such metamodels through two mappings: a signature mapping from metamod...
154
click to vote
ENTCS
2002
15 years 5 months ago
2002
PLAN is a language designed for programming active networks, and can more generally be regarded as a model of mobile computation. PLAN generalizes the paradigm of imperative funct...
187
click to vote
SUM
2007
Springer
16 years 2 days ago
2007
Springer
Abstract. We present the Consistency Extractor System (ConsEx) that uses answer set programming to compute consistent answers to first-order queries posed to relational databases ...
162
click to vote
CLIMA
2007
15 years 7 months ago
2007
Abstract. In this paper we are concerned with proposing, analyzing and implementing simple, yet flexible, constructs for multi-agent programming. In particular, we wish to extend ...
220
click to vote
COLT
1994
Springer
15 years 10 months ago
1994
Springer
Inductive Logic Programming (ILP) involves the construction of first-order definite clause theories from examples and background knowledge. Unlike both traditional Machine Learnin...