4192 search results - page 502 / 839 » Probabilistic Logic Programming |
103
click to vote
TABLEAUX
2005
Springer
15 years 10 months ago
2005
Springer
We extend classical first-order logic with subtyping by type predicates and type coercion. Type predicates assert that the value of a term belongs to a more special type than the ...
123
click to vote
RULEML
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper describes the design and implementation of SweetProlog, a system for translating Web rules into Prolog. It enables the integration of ontologies and rules on t...
156
click to vote
CA
2003
IEEE
15 years 9 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...
143
click to vote
DOOD
1993
Springer
15 years 8 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...
113
click to vote
ICCAD
1991
IEEE
15 years 8 months ago
1991
IEEE
The program TRANALYZE generates a gate-level representation of an MOS transistor circuit. The resulting model contains only four-valued unit and zero delay logic primitives, suita...