2500 search results - page 302 / 500 » Logical Semantics of Modularisation |
194
click to vote
CA
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper we propose an XML-based markup language, called XSTEP, for embodied agents, based on the scripting language STEP. XSTEP is the XML-based successor of STEP. The scrip...
151
click to vote
ECAI
2000
Springer
15 years 10 months ago
2000
Springer
In this paper, we study unsatisfiable queries posed to a mediator in an information integration system and expressed in the logical formalism of the information integration system...
179
click to vote
DOOD
1993
Springer
15 years 10 months ago
1993
Springer
In this paper we introduce a logical query language extended with object-oriented typing facilities. This language, called DTL (from DataTypeLog), can be seen as an extension of Da...
179
click to vote
MICAI
2000
Springer
15 years 10 months ago
2000
Springer
We introduce the new paradigm of High-Level Non-Monotonic reasoning (HLNM). This paradigm is the consolidation of our recent results on disjunctions, sets, explicit and implicit ne...
159
click to vote
IJCAI
2007
15 years 8 months ago
2007
We introduce ProbLog, a probabilistic extension of Prolog. A ProbLog program defines a distribution over logic programs by specifying for each clause the probability that it belo...