3572 search results - page 425 / 715 » Nominal Logic Programming |
127
click to vote
RULEML
2004
Springer
15 years 10 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...
162
click to vote
CA
2003
IEEE
15 years 10 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...
153
click to vote
DOOD
1993
Springer
15 years 9 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...
122
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...
152
click to vote
AAAI
2007
15 years 7 months ago
2007
Forgetting irrelevant/problematic actions in a domain description can be useful in solving reasoning problems, such as query answering, planning, conflict resolution, prediction,...