3535 search results - page 146 / 707 » Logic Program Specialisation |
102
Voted
EACL
1989
ACL Anthology
15 years 5 months ago
1989
ACL Anthology
In this paper, we present a logic-based computational model for movement theory in Government and Binding Theory. For that purpose, we have designed a language called DISLOG. DISL...
127
Voted
CORR
2004
Springer
15 years 3 months ago
2004
Springer
FLUX is a programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledge. The core of FLUX is...
128
Voted
IFIP12
2009
15 years 1 months ago
2009
In this paper the tool TELIOS is presented, for the automatic generation of a hardware machine, corresponding to a given logic program. The machine is implemented using an FPGA, wh...
233
Voted
ICLP
2009
Springer
16 years 4 months ago
2009
Springer
Multiagent planning deals with the problem of generating plans for multiple agents. It requires formalizing ways for the agents to interact and cooperate, in order to achieve their...
148
Voted
RR
2009
Springer
15 years 10 months ago
2009
Springer
Open Answer Set Programming (OASP) can be seen as a framework to represent tightly integrated combined knowledge bases of ontologies and rules that are not necessarily DL-safe. The...